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-3734259-1338744419/watcher-3734259-1338744419 -o /tmp/evaluation-result-3734259-1338744419/solver-3734259-1338744419 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3734259-1338744419.opb
running on 4 cores: 1,3,5,7
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: 2.90 3.39 2.66 4/198 27706
/proc/meminfo: memFree=26490292/32873660 swapFree=7120/7120
[pid=27706] ppid=27704 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/27706/stat : 27706 (java) R 27704 27706 25443 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 340567674 23793664 710 33554432000 1073741824 1073778376 140736837512832 140736837501896 270320842832 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27706/statm: 5809 711 526 9 0 128 0
[startup+0.104361 s]
/proc/loadavg: 2.90 3.39 2.66 4/198 27706
/proc/meminfo: memFree=26490292/32873660 swapFree=7120/7120
[pid=27706] ppid=27704 vsize=2699928 CPUtime=0.12 cores=1,3,5,7
/proc/27706/stat : 27706 (java) S 27704 27706 25443 0 -1 4202496 4876 0 1 0 11 1 0 0 20 0 18 0 340567674 2764726272 6529 33554432000 1073741824 1073778376 140736837512832 140736837503968 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27706/statm: 674982 6529 2153 9 0 665676 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2699928
[startup+0.200194 s]
/proc/loadavg: 2.90 3.39 2.66 4/198 27706
/proc/meminfo: memFree=26490292/32873660 swapFree=7120/7120
[pid=27706] ppid=27704 vsize=2966184 CPUtime=0.37 cores=1,3,5,7
/proc/27706/stat : 27706 (java) S 27704 27706 25443 0 -1 4202496 6456 0 1 0 35 2 0 0 20 0 22 0 340567674 3037372416 9425 33554432000 1073741824 1073778376 140736837512832 140736837503968 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27706/statm: 741546 9425 2212 9 0 732240 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 2966184
[startup+0.300222 s]
/proc/loadavg: 2.90 3.39 2.66 4/198 27706
/proc/meminfo: memFree=26490292/32873660 swapFree=7120/7120
[pid=27706] ppid=27704 vsize=2966184 CPUtime=0.74 cores=1,3,5,7
/proc/27706/stat : 27706 (java) S 27704 27706 25443 0 -1 4202496 9995 0 1 0 70 4 0 0 20 0 20 0 340567674 3037372416 11991 33554432000 1073741824 1073778376 140736837512832 140736837503968 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27706/statm: 741546 11991 2226 9 0 732240 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 2966184
[startup+0.700205 s]
/proc/loadavg: 2.90 3.39 2.66 4/198 27706
/proc/meminfo: memFree=26490292/32873660 swapFree=7120/7120
[pid=27706] ppid=27704 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/27706/stat : 27706 (java) S 27704 27706 25443 0 -1 4202496 10046 0 1 0 82 4 0 0 20 0 20 0 340567674 3037372416 11714 33554432000 1073741824 1073778376 140736837512832 140736837503968 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27706/statm: 741546 11714 2230 9 0 732240 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 2966184
[startup+1.50065 s]
/proc/loadavg: 2.90 3.39 2.66 3/218 27728
/proc/meminfo: memFree=26449136/32873660 swapFree=7120/7120
[pid=27706] ppid=27704 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/27706/stat : 27706 (java) S 27704 27706 25443 0 -1 4202496 10057 0 1 0 82 4 0 0 20 0 20 0 340567674 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140736837503968 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27706/statm: 741546 13250 2230 9 0 732240 0
[pid=27706/tid=27708] ppid=27704 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27706/task/27708/stat : 27708 (java) S 27704 27706 25443 0 -1 4202560 2783 0 1 0 11 1 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188556657816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27709] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27709/stat : 27709 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188540939048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27710] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27710/stat : 27710 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188539886248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27706/tid=27711] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27711/stat : 27711 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188420402216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27706/tid=27712] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27712/stat : 27712 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188419349416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27713] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27713/stat : 27713 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188418296104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27714] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27714/stat : 27714 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188417243304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27715] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27715/stat : 27715 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188416191016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27716] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27716/stat : 27716 (java) S 27704 27706 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140188415138216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27717] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27717/stat : 27717 (java) S 27704 27706 25443 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340567676 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187932809960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27718] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27718/stat : 27718 (java) S 27704 27706 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340567677 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187931756024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27719] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27719/stat : 27719 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567677 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187930703624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27720] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27720/stat : 27720 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187929652112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27721] ppid=27704 vsize=2966184 CPUtime=0.2 cores=1,3,5,7
/proc/27706/task/27721/stat : 27721 (java) S 27704 27706 25443 0 -1 4202560 3438 0 0 0 20 0 0 0 20 0 20 0 340567679 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187928598712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27722] ppid=27704 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27706/task/27722/stat : 27722 (java) S 27704 27706 25443 0 -1 4202560 2522 0 0 0 22 0 0 0 20 0 20 0 340567679 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187927545912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27723] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27723/stat : 27723 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187926493816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27706/tid=27724] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27724/stat : 27724 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187925441224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27727] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27727/stat : 27727 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567689 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187922282152 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27728] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27728/stat : 27728 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567689 3037372416 13250 33554432000 1073741824 1073778376 140736837512832 140187921229352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 2966184
[startup+3.10067 s]
/proc/loadavg: 2.90 3.39 2.66 3/218 27732
/proc/meminfo: memFree=26438904/32873660 swapFree=7120/7120
[pid=27706] ppid=27704 vsize=2966184 CPUtime=0.87 cores=1,3,5,7
/proc/27706/stat : 27706 (java) S 27704 27706 25443 0 -1 4202496 10071 0 1 0 83 4 0 0 20 0 20 0 340567674 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140736837503968 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27706/statm: 741546 14278 2233 9 0 732240 0
[pid=27706/tid=27708] ppid=27704 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27706/task/27708/stat : 27708 (java) S 27704 27706 25443 0 -1 4202560 2784 0 1 0 11 1 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188556657816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27709] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27709/stat : 27709 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188540939048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27710] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27710/stat : 27710 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188539886248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27706/tid=27711] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27711/stat : 27711 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188420402216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27706/tid=27712] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27712/stat : 27712 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188419349416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27713] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27713/stat : 27713 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188418296104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27714] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27714/stat : 27714 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188417243304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27715] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27715/stat : 27715 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188416191016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27716] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27716/stat : 27716 (java) S 27704 27706 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188415138216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27717] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27717/stat : 27717 (java) S 27704 27706 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340567676 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187932809960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27718] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27718/stat : 27718 (java) S 27704 27706 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340567677 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187931756024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27719] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27719/stat : 27719 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567677 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187930703624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27720] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27720/stat : 27720 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187929652112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27721] ppid=27704 vsize=2966184 CPUtime=0.2 cores=1,3,5,7
/proc/27706/task/27721/stat : 27721 (java) S 27704 27706 25443 0 -1 4202560 3438 0 0 0 20 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187928598712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27722] ppid=27704 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27706/task/27722/stat : 27722 (java) S 27704 27706 25443 0 -1 4202560 2522 0 0 0 22 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187927545912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27723] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27723/stat : 27723 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187926493816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27706/tid=27724] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27724/stat : 27724 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187925441224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27727] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27727/stat : 27727 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567689 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187922282152 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27728] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27728/stat : 27728 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567689 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187921229352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.10067 s]
/proc/loadavg: 2.90 3.39 2.66 3/218 27732
/proc/meminfo: memFree=26438716/32873660 swapFree=7120/7120
[pid=27706] ppid=27704 vsize=2966184 CPUtime=0.87 cores=1,3,5,7
/proc/27706/stat : 27706 (java) S 27704 27706 25443 0 -1 4202496 10071 0 1 0 83 4 0 0 20 0 20 0 340567674 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140736837503968 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27706/statm: 741546 14278 2233 9 0 732240 0
[pid=27706/tid=27708] ppid=27704 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/27706/task/27708/stat : 27708 (java) S 27704 27706 25443 0 -1 4202560 2784 0 1 0 11 1 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188556657816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27709] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27709/stat : 27709 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188540939048 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27710] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27710/stat : 27710 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188539886248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27706/tid=27711] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27711/stat : 27711 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188420402216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27706/tid=27712] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27712/stat : 27712 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188419349416 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27713] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27713/stat : 27713 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188418296104 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27714] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27714/stat : 27714 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188417243304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27715] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27715/stat : 27715 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188416191016 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27716] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27716/stat : 27716 (java) S 27704 27706 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340567675 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140188415138216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27717] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27717/stat : 27717 (java) S 27704 27706 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340567676 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187932809960 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27718] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27718/stat : 27718 (java) S 27704 27706 25443 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340567677 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187931756024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27719] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27719/stat : 27719 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567677 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187930703624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27720] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27720/stat : 27720 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187929652112 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27721] ppid=27704 vsize=2966184 CPUtime=0.2 cores=1,3,5,7
/proc/27706/task/27721/stat : 27721 (java) S 27704 27706 25443 0 -1 4202560 3438 0 0 0 20 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187928598712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27722] ppid=27704 vsize=2966184 CPUtime=0.22 cores=1,3,5,7
/proc/27706/task/27722/stat : 27722 (java) S 27704 27706 25443 0 -1 4202560 2522 0 0 0 22 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187927545912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27706/tid=27723] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27723/stat : 27723 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187926493816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27706/tid=27724] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27724/stat : 27724 (java) S 27704 27706 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340567679 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187925441224 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27727] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27727/stat : 27727 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567689 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187922282152 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27706/tid=27728] ppid=27704 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/27706/task/27728/stat : 27728 (java) S 27704 27706 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340567689 3037372416 14278 33554432000 1073741824 1073778376 140736837512832 140187921229352 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 2966184
Child status: 30
Real time (s): 3.15726
CPU time (s): 0.902862
CPU user time (s): 0.831873
CPU system time (s): 0.070989
CPU usage (%): 28.5964
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.831873
system time used= 0.070989
maximum resident set size= 59184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10082
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= 331
involuntary context switches= 40
runsolver used 0.009998 second user time and 0.034994 second system time
The end