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-3730135-1338679248/watcher-3730135-1338679248 -o /tmp/evaluation-result-3730135-1338679248/solver-3730135-1338679248 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730135-1338679248.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.09 1.74 1.03 3/195 16662
/proc/meminfo: memFree=28031376/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/16662/stat : 16662 (java) R 16660 16662 15565 0 -1 4202496 1136 0 0 0 0 0 0 0 20 0 1 0 334049711 23793664 864 33554432000 1073741824 1073778376 140735287687344 140735287676408 140116349810394 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 5793 858 647 9 0 128 0
[pid=16662/tid=16663] ppid=16660 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 334049711 24780800 867 33554432000 1073741824 1073778376 140735287687344 140735287676408 233221003441 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.038874 s]
/proc/loadavg: 2.09 1.74 1.03 3/195 16662
/proc/meminfo: memFree=28031376/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=2623916 CPUtime=0.02 cores=1,3,5,7
/proc/16662/stat : 16662 (java) S 16660 16662 15565 0 -1 4202496 3911 0 1 0 1 1 0 0 20 0 13 0 334049711 2686889984 5119 33554432000 1073741824 1073778376 140735287687344 140735287678480 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 655979 5119 1684 9 0 646680 0
[pid=16662/tid=16663] ppid=16660 vsize=2623916 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 2729 0 1 0 0 1 0 0 20 0 13 0 334049711 2686889984 5119 33554432000 1073741824 1073778376 140735287687344 140116347969776 233224332557 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100364 s]
/proc/loadavg: 2.09 1.74 1.03 3/195 16662
/proc/meminfo: memFree=28031376/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/16662/stat : 16662 (java) S 16660 16662 15565 0 -1 4202496 4916 0 1 0 8 1 0 0 20 0 18 0 334049711 3028844544 6620 33554432000 1073741824 1073778376 140735287687344 140735287678480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 739464 6620 2127 9 0 729885 0
[pid=16662/tid=16663] ppid=16660 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 3008 0 1 0 6 1 0 0 20 0 18 0 334049711 3028844544 6620 33554432000 1073741824 1073778376 140735287687344 140116347962544 140116211393692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300222 s]
/proc/loadavg: 2.09 1.74 1.03 3/195 16662
/proc/meminfo: memFree=28031376/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/16662/stat : 16662 (java) S 16660 16662 15565 0 -1 4202496 5758 0 1 0 42 2 0 0 20 0 18 0 334049711 3028844544 9356 33554432000 1073741824 1073778376 140735287687344 140735287678480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 739464 9356 2237 9 0 729885 0
[pid=16662/tid=16663] ppid=16660 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 3027 0 1 0 25 2 0 0 20 0 18 0 334049711 3028844544 9356 33554432000 1073741824 1073778376 140735287687344 140116347962544 140116211381376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700355 s]
/proc/loadavg: 2.09 1.74 1.03 3/195 16662
/proc/meminfo: memFree=28031376/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=2957856 CPUtime=1.11 cores=1,3,5,7
/proc/16662/stat : 16662 (java) S 16660 16662 15565 0 -1 4202496 8003 0 1 0 106 5 0 0 20 0 18 0 334049711 3028844544 50587 33554432000 1073741824 1073778376 140735287687344 140735287678480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 739464 50587 2251 9 0 729885 0
[pid=16662/tid=16663] ppid=16660 vsize=2957856 CPUtime=0.67 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 3105 0 1 0 62 5 0 0 20 0 18 0 334049711 3028844544 50587 33554432000 1073741824 1073778376 140735287687344 140116347965680 140116211707955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2957856
[startup+1.50078 s]
/proc/loadavg: 2.09 1.74 1.03 3/213 16680
/proc/meminfo: memFree=27664944/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=2957856 CPUtime=1.99 cores=1,3,5,7
/proc/16662/stat : 16662 (java) S 16660 16662 15565 0 -1 4202496 8168 0 1 0 188 11 0 0 20 0 18 0 334049711 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140735287678480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 739464 114096 2267 9 0 729885 0
[pid=16662/tid=16663] ppid=16660 vsize=2957856 CPUtime=1.44 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 3228 0 1 0 135 9 0 0 20 0 18 0 334049711 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116347972952 140116211723239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16665] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16665/stat : 16665 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334049712 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116331399464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16666] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16666/stat : 16666 (java) S 16660 16662 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334049712 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116330346664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16667] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16667/stat : 16667 (java) S 16660 16662 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334049712 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116211264040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16668] ppid=16660 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16668/stat : 16668 (java) S 16660 16662 15565 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 334049712 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116210211240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16669] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16669/stat : 16669 (java) S 16660 16662 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334049712 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116209158952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16670] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16670/stat : 16670 (java) S 16660 16662 15565 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334049712 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116208106152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16671] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16671/stat : 16671 (java) S 16660 16662 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334049712 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116207053864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16672] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16672/stat : 16672 (java) S 16660 16662 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334049712 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140116206001064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16673] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16673/stat : 16673 (java) S 16660 16662 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334049714 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140115723671784 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16674] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16674/stat : 16674 (java) S 16660 16662 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334049714 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140115722617848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16675] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16675/stat : 16675 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334049714 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140115721565448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16676] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16676/stat : 16676 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334049717 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140115720513936 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16677] ppid=16660 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/16662/task/16677/stat : 16677 (java) S 16660 16662 15565 0 -1 4202560 2134 0 0 0 21 0 0 0 20 0 18 0 334049717 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140115719461560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16678] ppid=16660 vsize=2957856 CPUtime=0.19 cores=1,3,5,7
/proc/16662/task/16678/stat : 16678 (java) S 16660 16662 15565 0 -1 4202560 1579 0 0 0 19 0 0 0 20 0 18 0 334049717 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140115718408760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16679] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16679/stat : 16679 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334049717 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140115717356664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16680] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16680/stat : 16680 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334049717 3028844544 114096 33554432000 1073741824 1073778376 140735287687344 140115716304072 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 2957856
Solver just ended. Dumping a history of the last processes samples
[startup+1.90079 s]
/proc/loadavg: 2.09 1.74 1.03 3/213 16680
/proc/meminfo: memFree=27664944/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=2957856 CPUtime=2.51 cores=1,3,5,7
/proc/16662/stat : 16662 (java) S 16660 16662 15565 0 -1 4202496 8214 0 1 0 237 14 0 0 20 0 18 0 334049711 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140735287678480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 739464 120240 2267 9 0 729885 0
[pid=16662/tid=16663] ppid=16660 vsize=2957856 CPUtime=1.8 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 3229 0 1 0 170 10 0 0 20 0 18 0 334049711 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116347972952 233224332557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16665] ppid=16660 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/16662/task/16665/stat : 16665 (java) S 16660 16662 15565 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 18 0 334049712 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116331399464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16666] ppid=16660 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16666/stat : 16666 (java) S 16660 16662 15565 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 334049712 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116330346664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16667] ppid=16660 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16667/stat : 16667 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 334049712 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116211264040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16668] ppid=16660 vsize=2957856 CPUtime=0.03 cores=1,3,5,7
/proc/16662/task/16668/stat : 16668 (java) S 16660 16662 15565 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 18 0 334049712 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116210211240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16669] ppid=16660 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/16662/task/16669/stat : 16669 (java) S 16660 16662 15565 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 334049712 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116209158952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16670] ppid=16660 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/16662/task/16670/stat : 16670 (java) S 16660 16662 15565 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 334049712 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116208106152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16671] ppid=16660 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16671/stat : 16671 (java) S 16660 16662 15565 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 334049712 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116207053864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16672] ppid=16660 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16672/stat : 16672 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 334049712 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140116206001064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16673] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16673/stat : 16673 (java) S 16660 16662 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334049714 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140115723671784 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16674] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16674/stat : 16674 (java) S 16660 16662 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334049714 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140115722617848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16675] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16675/stat : 16675 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334049714 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140115721565448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16676] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16676/stat : 16676 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334049717 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140115720513936 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16677] ppid=16660 vsize=2957856 CPUtime=0.21 cores=1,3,5,7
/proc/16662/task/16677/stat : 16677 (java) S 16660 16662 15565 0 -1 4202560 2134 0 0 0 21 0 0 0 20 0 18 0 334049717 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140115719461560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16678] ppid=16660 vsize=2957856 CPUtime=0.19 cores=1,3,5,7
/proc/16662/task/16678/stat : 16678 (java) S 16660 16662 15565 0 -1 4202560 1579 0 0 0 19 0 0 0 20 0 18 0 334049717 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140115718408760 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16679] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16679/stat : 16679 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334049717 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140115717356664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16680] ppid=16660 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16680/stat : 16680 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334049717 3028844544 120240 33554432000 1073741824 1073778376 140735287687344 140115716304072 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 2957856
[startup+2.3008 s]
/proc/loadavg: 2.09 1.74 1.03 5/213 16680
/proc/meminfo: memFree=27556588/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=3024420 CPUtime=3.31 cores=1,3,5,7
/proc/16662/stat : 16662 (java) S 16660 16662 15565 0 -1 4202496 14904 0 1 0 316 15 0 0 20 0 19 0 334049711 3097006080 123986 33554432000 1073741824 1073778376 140735287687344 140735287678480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 756105 123988 2285 9 0 746526 0
[pid=16662/tid=16663] ppid=16660 vsize=3024420 CPUtime=2.2 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 3258 0 1 0 210 10 0 0 20 0 19 0 334049711 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116347965760 140116211354883 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16665] ppid=16660 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/16662/task/16665/stat : 16665 (java) S 16660 16662 15565 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 334049712 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116331399464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16666] ppid=16660 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16666/stat : 16666 (java) S 16660 16662 15565 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 334049712 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116330346664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16667] ppid=16660 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16667/stat : 16667 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 334049712 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116211264040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16668] ppid=16660 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/16662/task/16668/stat : 16668 (java) S 16660 16662 15565 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 334049712 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116210211240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16669] ppid=16660 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/16662/task/16669/stat : 16669 (java) S 16660 16662 15565 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 334049712 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116209158952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16670] ppid=16660 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/16662/task/16670/stat : 16670 (java) S 16660 16662 15565 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 334049712 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116208106152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16671] ppid=16660 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16671/stat : 16671 (java) S 16660 16662 15565 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 334049712 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116207053864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16672] ppid=16660 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16672/stat : 16672 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 334049712 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140116206001064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16673] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16673/stat : 16673 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334049714 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140115723671784 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16674] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16674/stat : 16674 (java) S 16660 16662 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334049714 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140115722617848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16675] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16675/stat : 16675 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334049714 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140115721565448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16676] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16676/stat : 16676 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334049717 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140115720513936 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16677] ppid=16660 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/16662/task/16677/stat : 16677 (java) R 16660 16662 15565 0 -1 4202560 4104 0 0 0 36 0 0 0 20 0 19 0 334049717 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140115719461560 140116350503295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16678] ppid=16660 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/16662/task/16678/stat : 16678 (java) R 16660 16662 15565 0 -1 4202560 6266 0 0 0 44 0 0 0 20 0 19 0 334049717 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140115718396000 140116352088228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16679] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16679/stat : 16679 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334049717 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140115717356664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16680] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16680/stat : 16680 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334049717 3097006080 123990 33554432000 1073741824 1073778376 140735287687344 140115716304072 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 3024420
[startup+2.40079 s]
/proc/loadavg: 2.09 1.74 1.03 5/213 16680
/proc/meminfo: memFree=27556588/32873844 swapFree=7120/7120
[pid=16662] ppid=16660 vsize=3024420 CPUtime=3.6 cores=1,3,5,7
/proc/16662/stat : 16662 (java) S 16660 16662 15565 0 -1 4202496 16535 0 1 0 345 15 0 0 20 0 19 0 334049711 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140735287678480 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16662/statm: 756105 123466 2288 9 0 746526 0
[pid=16662/tid=16663] ppid=16660 vsize=3024420 CPUtime=2.3 cores=1,3,5,7
/proc/16662/task/16663/stat : 16663 (java) R 16660 16662 15565 0 -1 4202560 3258 0 1 0 220 10 0 0 20 0 19 0 334049711 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116347973912 140116211393359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16665] ppid=16660 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/16662/task/16665/stat : 16665 (java) S 16660 16662 15565 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 334049712 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116331399464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16666] ppid=16660 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16666/stat : 16666 (java) S 16660 16662 15565 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 334049712 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116330346664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16667] ppid=16660 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16667/stat : 16667 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 334049712 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116211264040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16668] ppid=16660 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/16662/task/16668/stat : 16668 (java) S 16660 16662 15565 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 334049712 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116210211240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16669] ppid=16660 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/16662/task/16669/stat : 16669 (java) S 16660 16662 15565 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 334049712 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116209158952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16670] ppid=16660 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/16662/task/16670/stat : 16670 (java) S 16660 16662 15565 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 334049712 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116208106152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16671] ppid=16660 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16671/stat : 16671 (java) S 16660 16662 15565 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 334049712 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116207053864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16672] ppid=16660 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/16662/task/16672/stat : 16672 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 334049712 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140116206001064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16673] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16673/stat : 16673 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334049714 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140115723671784 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16662/tid=16674] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16674/stat : 16674 (java) S 16660 16662 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334049714 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140115722617848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16675] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16675/stat : 16675 (java) S 16660 16662 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334049714 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140115721565448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16676] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16676/stat : 16676 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334049717 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140115720513936 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16677] ppid=16660 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/16662/task/16677/stat : 16677 (java) R 16660 16662 15565 0 -1 4202560 5718 0 0 0 46 0 0 0 20 0 19 0 334049717 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140115719461560 140116354120772 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16662/tid=16678] ppid=16660 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/16662/task/16678/stat : 16678 (java) R 16660 16662 15565 0 -1 4202560 6279 0 0 0 53 0 0 0 20 0 19 0 334049717 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140115718408760 233224331701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16662/tid=16679] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16679/stat : 16679 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334049717 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140115717356664 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16662/tid=16680] ppid=16660 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/16662/task/16680/stat : 16680 (java) S 16660 16662 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334049717 3097006080 123466 33554432000 1073741824 1073778376 140735287687344 140115716304072 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 3024420
Child status: 10
Real time (s): 2.41492
CPU time (s): 3.68244
CPU user time (s): 3.47047
CPU system time (s): 0.211967
CPU usage (%): 152.487
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.47047
system time used= 0.211967
maximum resident set size= 497136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16547
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= 336
involuntary context switches= 342
runsolver used 0.001999 second user time and 0.024996 second system time
The end