runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733506-1338743555/watcher-3733506-1338743555 -o /tmp/evaluation-result-3733506-1338743555/solver-3733506-1338743555 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733506-1338743555.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.45 0.52 1.10 4/197 26639
/proc/meminfo: memFree=26649308/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (runsolver) D 26637 26639 25443 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 340481243 12095488 52 33554432000 4194304 5436572 140733809624176 140733809620472 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/26639/statm: 2953 52 31 304 0 2645 0
[startup+0.0975969 s]
/proc/loadavg: 1.45 0.52 1.10 4/197 26639
/proc/meminfo: memFree=26649308/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 4770 0 1 0 9 1 0 0 20 0 18 0 340481243 2764726272 6460 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 674982 6460 2118 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.100205 s]
/proc/loadavg: 1.45 0.52 1.10 4/197 26639
/proc/meminfo: memFree=26649308/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2699928 CPUtime=0.1 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 4797 0 1 0 9 1 0 0 20 0 18 0 340481243 2764726272 6487 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 674982 6487 2124 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300174 s]
/proc/loadavg: 1.45 0.52 1.10 4/197 26639
/proc/meminfo: memFree=26649308/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2966184 CPUtime=0.8 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 8063 0 1 0 78 2 0 0 20 0 22 0 340481243 3037372416 14312 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 741546 14312 2215 9 0 732240 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 2966184
[startup+0.700186 s]
/proc/loadavg: 1.45 0.52 1.10 4/197 26639
/proc/meminfo: memFree=26649308/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2966184 CPUtime=2.33 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 21373 0 1 0 228 5 0 0 20 0 22 0 340481243 3037372416 48032 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 741546 48032 2266 9 0 732240 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 2966184
[startup+1.50074 s]
/proc/loadavg: 1.45 0.52 1.10 5/219 26661
/proc/meminfo: memFree=26433792/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2966184 CPUtime=4.14 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 21504 0 1 0 408 6 0 0 20 0 22 0 340481243 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 741546 60508 2266 9 0 732240 0
[pid=26639/tid=26641] ppid=26637 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/26639/task/26641/stat : 26641 (java) S 26637 26639 25443 0 -1 4202560 2785 0 1 0 9 0 0 0 20 0 22 0 340481244 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139867104167064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26642] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26642/stat : 26642 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139867088447656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26643] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26643/stat : 26643 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866968942888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26644] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26644/stat : 26644 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866967890344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26645] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26645/stat : 26645 (java) S 26637 26639 25443 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866966837800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26646] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26646/stat : 26646 (java) S 26637 26639 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866965785256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26647] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26647/stat : 26647 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866964732712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26648] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26648/stat : 26648 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866963680168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26649] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26649/stat : 26649 (java) S 26637 26639 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866962627624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26650] ppid=26637 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/26639/task/26650/stat : 26650 (java) S 26637 26639 25443 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 340481246 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866480298088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26651] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26651/stat : 26651 (java) S 26637 26639 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340481247 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866479244408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26652] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26652/stat : 26652 (java) S 26637 26639 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340481247 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866478191752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26653] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26653/stat : 26653 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866477140496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26654] ppid=26637 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/26639/task/26654/stat : 26654 (java) S 26637 26639 25443 0 -1 4202560 11157 0 0 0 70 2 0 0 20 0 22 0 340481249 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866476087864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26655] ppid=26637 vsize=2966184 CPUtime=0.55 cores=0,2,4,6
/proc/26639/task/26655/stat : 26655 (java) S 26637 26639 25443 0 -1 4202560 6083 0 0 0 55 0 0 0 20 0 22 0 340481249 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866475035320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26656] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26656/stat : 26656 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866473982968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26657] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26657/stat : 26657 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866472930632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26658] ppid=26637 vsize=2966184 CPUtime=1.32 cores=0,2,4,6
/proc/26639/task/26658/stat : 26658 (java) R 26637 26639 25443 0 -1 4202560 47 0 0 0 132 0 0 0 20 0 22 0 340481255 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866471874640 139866969216899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26659] ppid=26637 vsize=2966184 CPUtime=1.32 cores=0,2,4,6
/proc/26639/task/26659/stat : 26659 (java) R 26637 26639 25443 0 -1 4202560 159 0 0 0 130 2 0 0 20 0 22 0 340481255 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866470820304 139866969365475 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26660] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26660/stat : 26660 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340481256 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866469770280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26661] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26661/stat : 26661 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340481256 3037372416 60508 33554432000 1073741824 1073778376 140734253068944 139866468717736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 2966184
[startup+3.10073 s]
/proc/loadavg: 1.45 0.52 1.10 5/219 26661
/proc/meminfo: memFree=26394756/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2966184 CPUtime=7.39 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 21767 0 1 0 730 9 0 0 20 0 22 0 340481243 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 741546 95348 2273 9 0 732240 0
[pid=26639/tid=26641] ppid=26637 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/26639/task/26641/stat : 26641 (java) S 26637 26639 25443 0 -1 4202560 2785 0 1 0 9 0 0 0 20 0 22 0 340481244 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139867104167064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26642] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26642/stat : 26642 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139867088447656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26643] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26643/stat : 26643 (java) S 26637 26639 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866968942888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26644] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26644/stat : 26644 (java) S 26637 26639 25443 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866967890344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26645] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26645/stat : 26645 (java) S 26637 26639 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866966837800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26646] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26646/stat : 26646 (java) S 26637 26639 25443 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866965785256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26647] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26647/stat : 26647 (java) S 26637 26639 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866964732712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26648] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26648/stat : 26648 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866963680168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26649] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26649/stat : 26649 (java) S 26637 26639 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866962627624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26650] ppid=26637 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/26639/task/26650/stat : 26650 (java) S 26637 26639 25443 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 22 0 340481246 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866480298088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26651] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26651/stat : 26651 (java) S 26637 26639 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340481247 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866479244408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26652] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26652/stat : 26652 (java) S 26637 26639 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340481247 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866478191752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26653] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26653/stat : 26653 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866477140496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26654] ppid=26637 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/26639/task/26654/stat : 26654 (java) S 26637 26639 25443 0 -1 4202560 11157 0 0 0 70 2 0 0 20 0 22 0 340481249 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866476087864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26655] ppid=26637 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/26639/task/26655/stat : 26655 (java) S 26637 26639 25443 0 -1 4202560 6258 0 0 0 63 0 0 0 20 0 22 0 340481249 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866475035320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26656] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26656/stat : 26656 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866473982968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26657] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26657/stat : 26657 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866472930632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26658] ppid=26637 vsize=2966184 CPUtime=2.86 cores=0,2,4,6
/proc/26639/task/26658/stat : 26658 (java) R 26637 26639 25443 0 -1 4202560 53 0 0 0 286 0 0 0 20 0 22 0 340481255 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866471874640 139866969984078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26659] ppid=26637 vsize=2966184 CPUtime=2.86 cores=0,2,4,6
/proc/26639/task/26659/stat : 26659 (java) R 26637 26639 25443 0 -1 4202560 219 0 0 0 282 4 0 0 20 0 22 0 340481255 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866470820424 139866969365757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26660] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26660/stat : 26660 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340481256 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866469770280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26661] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26661/stat : 26661 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340481256 3037372416 95348 33554432000 1073741824 1073778376 140734253068944 139866468717736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+4.70072 s]
/proc/loadavg: 1.65 0.57 1.12 5/219 26661
/proc/meminfo: memFree=26238248/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2966184 CPUtime=10.58 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 21801 0 1 0 1048 10 0 0 20 0 22 0 340481243 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 741546 104063 2273 9 0 732240 0
[pid=26639/tid=26641] ppid=26637 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/26639/task/26641/stat : 26641 (java) S 26637 26639 25443 0 -1 4202560 2785 0 1 0 9 0 0 0 20 0 22 0 340481244 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139867104167064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26642] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26642/stat : 26642 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139867088447656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26643] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26643/stat : 26643 (java) S 26637 26639 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866968942888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26644] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26644/stat : 26644 (java) S 26637 26639 25443 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866967890344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26645] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26645/stat : 26645 (java) S 26637 26639 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866966837800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26646] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26646/stat : 26646 (java) S 26637 26639 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866965785256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26647] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26647/stat : 26647 (java) S 26637 26639 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866964732712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26648] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26648/stat : 26648 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866963680168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26649] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26649/stat : 26649 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340481245 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866962627624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26650] ppid=26637 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/26639/task/26650/stat : 26650 (java) S 26637 26639 25443 0 -1 4202560 37 0 0 0 9 0 0 0 20 0 22 0 340481246 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866480298088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26651] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26651/stat : 26651 (java) S 26637 26639 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340481247 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866479244408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26652] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26652/stat : 26652 (java) S 26637 26639 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340481247 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866478191752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26653] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26653/stat : 26653 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866477140496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26654] ppid=26637 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/26639/task/26654/stat : 26654 (java) S 26637 26639 25443 0 -1 4202560 11157 0 0 0 70 2 0 0 20 0 22 0 340481249 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866476087864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26655] ppid=26637 vsize=2966184 CPUtime=0.64 cores=0,2,4,6
/proc/26639/task/26655/stat : 26655 (java) S 26637 26639 25443 0 -1 4202560 6259 0 0 0 64 0 0 0 20 0 22 0 340481249 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866475035320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26656] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26656/stat : 26656 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866473982968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26657] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26657/stat : 26657 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340481249 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866472930632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26658] ppid=26637 vsize=2966184 CPUtime=4.41 cores=0,2,4,6
/proc/26639/task/26658/stat : 26658 (java) R 26637 26639 25443 0 -1 4202560 54 0 0 0 441 0 0 0 20 0 22 0 340481255 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866471873064 139866969436651 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26659] ppid=26637 vsize=2966184 CPUtime=4.41 cores=0,2,4,6
/proc/26639/task/26659/stat : 26659 (java) R 26637 26639 25443 0 -1 4202560 234 0 0 0 437 4 0 0 20 0 22 0 340481255 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866470820080 139866969365692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26660] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26660/stat : 26660 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340481256 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866469770280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26661] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26661/stat : 26661 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340481256 3037372416 104063 33554432000 1073741824 1073778376 140734253068944 139866468717736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 2966184
[startup+5.50697 s]
/proc/loadavg: 1.65 0.57 1.12 3/217 26661
/proc/meminfo: memFree=26237760/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2966184 CPUtime=11.89 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 21907 0 1 0 1178 11 0 0 20 0 20 0 340481243 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 741546 104003 2274 9 0 732240 0
[pid=26639/tid=26641] ppid=26637 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/26639/task/26641/stat : 26641 (java) S 26637 26639 25443 0 -1 4202560 2785 0 1 0 9 0 0 0 20 0 20 0 340481244 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139867104167064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26642] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26642/stat : 26642 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139867088447656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26643] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26643/stat : 26643 (java) S 26637 26639 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866968942888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26644] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26644/stat : 26644 (java) S 26637 26639 25443 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866967890344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26645] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26645/stat : 26645 (java) S 26637 26639 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866966837800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26646] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26646/stat : 26646 (java) S 26637 26639 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866965785256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26647] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26647/stat : 26647 (java) S 26637 26639 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866964732712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26648] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26648/stat : 26648 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866963680168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26649] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26649/stat : 26649 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866962627624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26650] ppid=26637 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/26639/task/26650/stat : 26650 (java) S 26637 26639 25443 0 -1 4202560 37 0 0 0 10 0 0 0 20 0 20 0 340481246 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866480298088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26651] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26651/stat : 26651 (java) S 26637 26639 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340481247 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866479244408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26652] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26652/stat : 26652 (java) S 26637 26639 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340481247 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866478191752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26653] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26653/stat : 26653 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866477140496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26654] ppid=26637 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/26639/task/26654/stat : 26654 (java) S 26637 26639 25443 0 -1 4202560 11157 0 0 0 70 2 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866476087864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26655] ppid=26637 vsize=2966184 CPUtime=0.65 cores=0,2,4,6
/proc/26639/task/26655/stat : 26655 (java) S 26637 26639 25443 0 -1 4202560 6363 0 0 0 65 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866475035320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26656] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26656/stat : 26656 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866473982968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26657] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26657/stat : 26657 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866472930632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26660] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26660/stat : 26660 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340481256 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866469770280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26661] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26661/stat : 26661 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340481256 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866468717736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 2966184
[startup+5.90059 s]
/proc/loadavg: 1.65 0.57 1.12 3/217 26661
/proc/meminfo: memFree=26237760/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2966184 CPUtime=11.89 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 21907 0 1 0 1178 11 0 0 20 0 20 0 340481243 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 741546 104003 2274 9 0 732240 0
[pid=26639/tid=26641] ppid=26637 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/26639/task/26641/stat : 26641 (java) S 26637 26639 25443 0 -1 4202560 2785 0 1 0 9 0 0 0 20 0 20 0 340481244 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139867104167064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26642] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26642/stat : 26642 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139867088447656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26643] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26643/stat : 26643 (java) S 26637 26639 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866968942888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26644] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26644/stat : 26644 (java) S 26637 26639 25443 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866967890344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26645] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26645/stat : 26645 (java) S 26637 26639 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866966837800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26646] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26646/stat : 26646 (java) S 26637 26639 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866965785256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26647] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26647/stat : 26647 (java) S 26637 26639 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866964732712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26648] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26648/stat : 26648 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866963680168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26649] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26649/stat : 26649 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866962627624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26650] ppid=26637 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/26639/task/26650/stat : 26650 (java) S 26637 26639 25443 0 -1 4202560 37 0 0 0 10 0 0 0 20 0 20 0 340481246 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866480298088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26651] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26651/stat : 26651 (java) S 26637 26639 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340481247 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866479244408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26652] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26652/stat : 26652 (java) S 26637 26639 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340481247 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866478191752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26653] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26653/stat : 26653 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866477140496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26654] ppid=26637 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/26639/task/26654/stat : 26654 (java) S 26637 26639 25443 0 -1 4202560 11157 0 0 0 70 2 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866476087864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26655] ppid=26637 vsize=2966184 CPUtime=0.65 cores=0,2,4,6
/proc/26639/task/26655/stat : 26655 (java) S 26637 26639 25443 0 -1 4202560 6363 0 0 0 65 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866475035320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26656] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26656/stat : 26656 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866473982968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26657] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26657/stat : 26657 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866472930632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26660] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26660/stat : 26660 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340481256 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866469770280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26661] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26661/stat : 26661 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340481256 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866468717736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 2966184
[startup+6.10059 s]
/proc/loadavg: 1.65 0.57 1.12 3/217 26661
/proc/meminfo: memFree=26237760/32873660 swapFree=7120/7120
[pid=26639] ppid=26637 vsize=2966184 CPUtime=11.89 cores=0,2,4,6
/proc/26639/stat : 26639 (java) S 26637 26639 25443 0 -1 4202496 21907 0 1 0 1178 11 0 0 20 0 20 0 340481243 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 140734253060080 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26639/statm: 741546 104003 2274 9 0 732240 0
[pid=26639/tid=26641] ppid=26637 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/26639/task/26641/stat : 26641 (java) S 26637 26639 25443 0 -1 4202560 2785 0 1 0 9 0 0 0 20 0 20 0 340481244 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139867104167064 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26642] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26642/stat : 26642 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139867088447656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26643] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26643/stat : 26643 (java) S 26637 26639 25443 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866968942888 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26644] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26644/stat : 26644 (java) S 26637 26639 25443 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866967890344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26645] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26645/stat : 26645 (java) S 26637 26639 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866966837800 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26646] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26646/stat : 26646 (java) S 26637 26639 25443 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866965785256 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26639/tid=26647] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26647/stat : 26647 (java) S 26637 26639 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866964732712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26648] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26648/stat : 26648 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866963680168 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26649] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26649/stat : 26649 (java) S 26637 26639 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 340481245 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866962627624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26650] ppid=26637 vsize=2966184 CPUtime=0.1 cores=0,2,4,6
/proc/26639/task/26650/stat : 26650 (java) S 26637 26639 25443 0 -1 4202560 37 0 0 0 10 0 0 0 20 0 20 0 340481246 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866480298088 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26651] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26651/stat : 26651 (java) S 26637 26639 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340481247 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866479244408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26652] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26652/stat : 26652 (java) S 26637 26639 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340481247 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866478191752 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26653] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26653/stat : 26653 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866477140496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26654] ppid=26637 vsize=2966184 CPUtime=0.72 cores=0,2,4,6
/proc/26639/task/26654/stat : 26654 (java) S 26637 26639 25443 0 -1 4202560 11157 0 0 0 70 2 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866476087864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26639/tid=26655] ppid=26637 vsize=2966184 CPUtime=0.65 cores=0,2,4,6
/proc/26639/task/26655/stat : 26655 (java) S 26637 26639 25443 0 -1 4202560 6363 0 0 0 65 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866475035320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26639/tid=26656] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26656/stat : 26656 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866473982968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26657] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26657/stat : 26657 (java) S 26637 26639 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340481249 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866472930632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26660] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26660/stat : 26660 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340481256 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866469770280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26639/tid=26661] ppid=26637 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/26639/task/26661/stat : 26661 (java) S 26637 26639 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340481256 3037372416 104003 33554432000 1073741824 1073778376 140734253068944 139866468717736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 2966184
Child status: 10
Real time (s): 6.14188
CPU time (s): 11.9722
CPU user time (s): 11.7812
CPU system time (s): 0.19097
CPU usage (%): 194.927
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7812
system time used= 0.19097
maximum resident set size= 416468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21926
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 619
involuntary context switches= 218
runsolver used 0.024996 second user time and 0.06399 second system time
The end