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-3736477-1338760686/watcher-3736477-1338760686 -o /tmp/evaluation-result-3736477-1338760686/solver-3736477-1338760686 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736477-1338760686.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.00 2.02 2.00 3/192 24567
/proc/meminfo: memFree=25589504/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/24567/stat : 24567 (java) R 24565 24567 21377 0 -1 4202496 1030 0 0 0 0 0 0 0 20 0 1 0 342194096 23793664 756 33554432000 1073741824 1073778376 140735601937088 140735601926152 139755635716400 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 5809 774 571 9 0 128 0
[startup+0.0142701 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 24567
/proc/meminfo: memFree=25589504/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=1572420 CPUtime=0 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 2645 0 1 0 0 0 0 0 20 0 2 0 342194096 1610158080 2324 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 393105 2326 949 9 0 384214 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1572420
[startup+0.100275 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 24567
/proc/meminfo: memFree=25589504/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 4742 0 1 0 9 1 0 0 20 0 18 0 342194096 2712133632 5945 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 662142 5945 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300194 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 24567
/proc/meminfo: memFree=25589504/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 8771 0 1 0 57 2 0 0 20 0 19 0 342194096 2780295168 9245 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 678783 9245 2226 9 0 669476 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2715132
[startup+0.700312 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 24567
/proc/meminfo: memFree=25589504/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2715132 CPUtime=1.13 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 9101 0 1 0 110 3 0 0 20 0 19 0 342194096 2780295168 19545 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 678783 19545 2232 9 0 669476 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2715132
[startup+1.50086 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24586
/proc/meminfo: memFree=25494628/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2715132 CPUtime=1.98 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 9144 0 1 0 194 4 0 0 20 0 19 0 342194096 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 678783 36450 2234 9 0 669476 0
[pid=24567/tid=24569] ppid=24565 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/24567/task/24569/stat : 24569 (java) R 24565 24567 21377 0 -1 4202560 2862 0 1 0 145 2 0 0 20 0 19 0 342194097 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755628204648 139755500431636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24570] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24570/stat : 24570 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755495209128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24571] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24571/stat : 24571 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755494156584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24572] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24572/stat : 24572 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755493104040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24573] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24573/stat : 24573 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755492051496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24574] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24574/stat : 24574 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755490998952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24575] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24575/stat : 24575 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755489946408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24576] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24576/stat : 24576 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755488893864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24577] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24577/stat : 24577 (java) S 24565 24567 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755487841320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24578] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24578/stat : 24578 (java) S 24565 24567 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342194099 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755005106280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24579] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24579/stat : 24579 (java) S 24565 24567 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755004052600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24580] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24580/stat : 24580 (java) S 24565 24567 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755002999944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24581] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24581/stat : 24581 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755001948688 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24582] ppid=24565 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/24567/task/24582/stat : 24582 (java) S 24565 24567 21377 0 -1 4202560 2142 0 0 0 28 0 0 0 20 0 19 0 342194102 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139755000896056 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24583] ppid=24565 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/24567/task/24583/stat : 24583 (java) S 24565 24567 21377 0 -1 4202560 2944 0 0 0 18 0 0 0 20 0 19 0 342194102 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139754999843512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24584] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24584/stat : 24584 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139754998791160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24585] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24585/stat : 24585 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139754997738824 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24586] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24586/stat : 24586 (java) S 24565 24567 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342194113 2780295168 36450 33554432000 1073741824 1073778376 140735601937088 139754996683560 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2715132
[startup+3.10086 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24586
/proc/meminfo: memFree=25404392/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2715132 CPUtime=3.62 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 9430 0 1 0 356 6 0 0 20 0 19 0 342194096 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 678783 65128 2234 9 0 669476 0
[pid=24567/tid=24569] ppid=24565 vsize=2715132 CPUtime=3.07 cores=1,3,5,7
/proc/24567/task/24569/stat : 24569 (java) R 24565 24567 21377 0 -1 4202560 2920 0 1 0 303 4 0 0 20 0 19 0 342194097 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755628202568 139755500439050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24570] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24570/stat : 24570 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755495209128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24571] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24571/stat : 24571 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755494156584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24572] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24572/stat : 24572 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755493104040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24573] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24573/stat : 24573 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755492051496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24574] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24574/stat : 24574 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755490998952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24575] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24575/stat : 24575 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755489946408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24576] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24576/stat : 24576 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755488893864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24577] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24577/stat : 24577 (java) S 24565 24567 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755487841320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24578] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24578/stat : 24578 (java) S 24565 24567 21377 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342194099 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755005106280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24579] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24579/stat : 24579 (java) S 24565 24567 21377 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755004052600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24580] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24580/stat : 24580 (java) S 24565 24567 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755002999944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24581] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24581/stat : 24581 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755001948688 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24582] ppid=24565 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/24567/task/24582/stat : 24582 (java) S 24565 24567 21377 0 -1 4202560 2370 0 0 0 32 0 0 0 20 0 19 0 342194102 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139755000896056 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24583] ppid=24565 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24567/task/24583/stat : 24583 (java) S 24565 24567 21377 0 -1 4202560 2944 0 0 0 19 0 0 0 20 0 19 0 342194102 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139754999843512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24584] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24584/stat : 24584 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139754998791160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24585] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24585/stat : 24585 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139754997738824 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24586] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24586/stat : 24586 (java) S 24565 24567 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342194113 2780295168 65128 33554432000 1073741824 1073778376 140735601937088 139754996683560 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 2715132
[startup+6.30085 s]
/proc/loadavg: 2.00 2.02 2.00 4/211 24586
/proc/meminfo: memFree=25217544/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2715132 CPUtime=6.87 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 9525 0 1 0 678 9 0 0 20 0 19 0 342194096 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 678783 94221 2248 9 0 669476 0
[pid=24567/tid=24569] ppid=24565 vsize=2715132 CPUtime=6.24 cores=1,3,5,7
/proc/24567/task/24569/stat : 24569 (java) R 24565 24567 21377 0 -1 4202560 2976 0 1 0 618 6 0 0 20 0 19 0 342194097 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755628202608 139755500489088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24570] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24570/stat : 24570 (java) S 24565 24567 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755495209128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24571] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24571/stat : 24571 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755494156584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24572] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24572/stat : 24572 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755493104040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24573] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24573/stat : 24573 (java) S 24565 24567 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755492051496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24574] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24574/stat : 24574 (java) S 24565 24567 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755490998952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24575] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24575/stat : 24575 (java) S 24565 24567 21377 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755489946408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24576] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24576/stat : 24576 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755488893864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24577] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24577/stat : 24577 (java) S 24565 24567 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755487841320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24578] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24578/stat : 24578 (java) S 24565 24567 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342194099 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755005106280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24579] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24579/stat : 24579 (java) S 24565 24567 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755004052600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24580] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24580/stat : 24580 (java) S 24565 24567 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755002999944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24581] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24581/stat : 24581 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755001948688 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24582] ppid=24565 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/24567/task/24582/stat : 24582 (java) S 24565 24567 21377 0 -1 4202560 2371 0 0 0 33 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755000896056 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24583] ppid=24565 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24567/task/24583/stat : 24583 (java) S 24565 24567 21377 0 -1 4202560 2944 0 0 0 19 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139754999843512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24584] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24584/stat : 24584 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139754998791160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24585] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24585/stat : 24585 (java) S 24565 24567 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139754997738824 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24586] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24586/stat : 24586 (java) S 24565 24567 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342194113 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139754996683560 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24586
/proc/meminfo: memFree=25215304/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2715132 CPUtime=13.28 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 9527 0 1 0 1319 9 0 0 20 0 19 0 342194096 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 678783 94221 2248 9 0 669476 0
[pid=24567/tid=24569] ppid=24565 vsize=2715132 CPUtime=12.63 cores=1,3,5,7
/proc/24567/task/24569/stat : 24569 (java) R 24565 24567 21377 0 -1 4202560 2978 0 1 0 1257 6 0 0 20 0 19 0 342194097 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755628202608 139755500573146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24570] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24570/stat : 24570 (java) S 24565 24567 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755495209128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24571] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24571/stat : 24571 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755494156584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24572] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24572/stat : 24572 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755493104040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24573] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24573/stat : 24573 (java) S 24565 24567 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755492051496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24574] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24574/stat : 24574 (java) S 24565 24567 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755490998952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24575] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24575/stat : 24575 (java) S 24565 24567 21377 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755489946408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24576] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24576/stat : 24576 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755488893864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24577] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24577/stat : 24577 (java) S 24565 24567 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755487841320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24578] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24578/stat : 24578 (java) S 24565 24567 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342194099 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755005106280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24579] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24579/stat : 24579 (java) S 24565 24567 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755004052600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24580] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24580/stat : 24580 (java) S 24565 24567 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755002999944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24581] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24581/stat : 24581 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755001948688 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24582] ppid=24565 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/24567/task/24582/stat : 24582 (java) S 24565 24567 21377 0 -1 4202560 2371 0 0 0 34 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139755000896056 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24583] ppid=24565 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24567/task/24583/stat : 24583 (java) S 24565 24567 21377 0 -1 4202560 2944 0 0 0 19 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139754999843512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24584] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24584/stat : 24584 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139754998791160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24585] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24585/stat : 24585 (java) S 24565 24567 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139754997738824 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24586] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24586/stat : 24586 (java) S 24565 24567 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342194113 2780295168 94221 33554432000 1073741824 1073778376 140735601937088 139754996683560 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 13.28
Current children cumulated vsize (KiB) 2715132
Solver just ended. Dumping a history of the last processes samples
[startup+13.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24586
/proc/meminfo: memFree=25215436/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2715132 CPUtime=14.1 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 9531 0 1 0 1401 9 0 0 20 0 19 0 342194096 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 678783 94225 2248 9 0 669476 0
[pid=24567/tid=24569] ppid=24565 vsize=2715132 CPUtime=13.42 cores=1,3,5,7
/proc/24567/task/24569/stat : 24569 (java) R 24565 24567 21377 0 -1 4202560 2978 0 1 0 1336 6 0 0 20 0 19 0 342194097 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755628202608 139755500683280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24570] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24570/stat : 24570 (java) S 24565 24567 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755495209128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24571] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24571/stat : 24571 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755494156584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24572] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24572/stat : 24572 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755493104040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24573] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24573/stat : 24573 (java) S 24565 24567 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755492051496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24574] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24574/stat : 24574 (java) S 24565 24567 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755490998952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24575] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24575/stat : 24575 (java) S 24565 24567 21377 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755489946408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24576] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24576/stat : 24576 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755488893864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24577] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24577/stat : 24577 (java) S 24565 24567 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755487841320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24578] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24578/stat : 24578 (java) S 24565 24567 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342194099 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755005106280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24579] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24579/stat : 24579 (java) S 24565 24567 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755004052600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24580] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24580/stat : 24580 (java) S 24565 24567 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755002999944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24581] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24581/stat : 24581 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755001948688 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24582] ppid=24565 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/24567/task/24582/stat : 24582 (java) S 24565 24567 21377 0 -1 4202560 2375 0 0 0 35 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755000896056 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24583] ppid=24565 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24567/task/24583/stat : 24583 (java) S 24565 24567 21377 0 -1 4202560 2944 0 0 0 19 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139754999843512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24584] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24584/stat : 24584 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139754998791160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24585] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24585/stat : 24585 (java) S 24565 24567 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139754997738824 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24586] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24586/stat : 24586 (java) S 24565 24567 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342194113 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139754996683560 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.1
Current children cumulated vsize (KiB) 2715132
[startup+13.9007 s]
/proc/loadavg: 2.00 2.02 2.00 3/211 24586
/proc/meminfo: memFree=25215436/32873852 swapFree=6856/6856
[pid=24567] ppid=24565 vsize=2715132 CPUtime=14.5 cores=1,3,5,7
/proc/24567/stat : 24567 (java) S 24565 24567 21377 0 -1 4202496 9531 0 1 0 1441 9 0 0 20 0 19 0 342194096 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 140735601928224 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24567/statm: 678783 94225 2248 9 0 669476 0
[pid=24567/tid=24569] ppid=24565 vsize=2715132 CPUtime=13.82 cores=1,3,5,7
/proc/24567/task/24569/stat : 24569 (java) R 24565 24567 21377 0 -1 4202560 2978 0 1 0 1376 6 0 0 20 0 19 0 342194097 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755628202848 139755500683295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24567/tid=24570] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24570/stat : 24570 (java) S 24565 24567 21377 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755495209128 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24571] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24571/stat : 24571 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755494156584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24572] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24572/stat : 24572 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755493104040 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24573] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24573/stat : 24573 (java) S 24565 24567 21377 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755492051496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24574] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24574/stat : 24574 (java) S 24565 24567 21377 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755490998952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24575] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24575/stat : 24575 (java) S 24565 24567 21377 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755489946408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24576] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24576/stat : 24576 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755488893864 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24577] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24577/stat : 24577 (java) S 24565 24567 21377 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342194098 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755487841320 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24578] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24578/stat : 24578 (java) S 24565 24567 21377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 342194099 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755005106280 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24579] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24579/stat : 24579 (java) S 24565 24567 21377 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755004052600 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24580] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24580/stat : 24580 (java) S 24565 24567 21377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342194100 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755002999944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24581] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24581/stat : 24581 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755001948688 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24582] ppid=24565 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/24567/task/24582/stat : 24582 (java) S 24565 24567 21377 0 -1 4202560 2375 0 0 0 35 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139755000896056 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24567/tid=24583] ppid=24565 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/24567/task/24583/stat : 24583 (java) S 24565 24567 21377 0 -1 4202560 2944 0 0 0 19 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139754999843512 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24584] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24584/stat : 24584 (java) S 24565 24567 21377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139754998791160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24567/tid=24585] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24585/stat : 24585 (java) S 24565 24567 21377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342194102 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139754997738824 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24567/tid=24586] ppid=24565 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/24567/task/24586/stat : 24586 (java) S 24565 24567 21377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342194113 2780295168 94225 33554432000 1073741824 1073778376 140735601937088 139754996683560 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 14.5
Current children cumulated vsize (KiB) 2715132
Child status: 30
Real time (s): 13.9815
CPU time (s): 14.5628
CPU user time (s): 14.4398
CPU system time (s): 0.122981
CPU usage (%): 104.158
Max. virtual memory (cumulated for all children) (KiB): 2715504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4398
system time used= 0.122981
maximum resident set size= 377332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9545
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= 554
involuntary context switches= 42
runsolver used 0.036994 second user time and 0.168974 second system time
The end