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-3730109-1338679231/watcher-3730109-1338679231 -o /tmp/evaluation-result-3730109-1338679231/solver-3730109-1338679231 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730109-1338679231.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.53 0.48 0.49 3/174 17030
/proc/meminfo: memFree=29043100/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/17030/stat : 17030 (java) R 17028 17030 7849 0 -1 4202496 1020 0 0 0 0 0 0 0 20 0 1 0 334048991 23793664 747 33554432000 1073741824 1073778376 140734883280624 140734883269688 140200247485549 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 5809 762 559 9 0 128 0
[startup+0.0413591 s]
/proc/loadavg: 1.53 0.48 0.49 3/174 17030
/proc/meminfo: memFree=29043100/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 3417 0 1 0 2 1 0 0 20 0 13 0 334048991 2686889984 5136 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 655979 5136 1697 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100333 s]
/proc/loadavg: 1.53 0.48 0.49 3/174 17030
/proc/meminfo: memFree=29043100/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 4405 0 1 0 9 1 0 0 20 0 18 0 334048991 3028844544 6619 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 739464 6619 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300277 s]
/proc/loadavg: 1.53 0.48 0.49 3/174 17030
/proc/meminfo: memFree=29043100/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 5216 0 1 0 42 2 0 0 20 0 18 0 334048991 3028844544 9291 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 739464 9291 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700276 s]
/proc/loadavg: 1.53 0.48 0.49 3/174 17030
/proc/meminfo: memFree=29043100/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2957856 CPUtime=1.12 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 7604 0 1 0 108 4 0 0 20 0 18 0 334048991 3028844544 46979 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 739464 46979 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2957856
[startup+1.50069 s]
/proc/loadavg: 1.53 0.48 0.49 3/192 17048
/proc/meminfo: memFree=28699332/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2957856 CPUtime=1.98 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 7774 0 1 0 189 9 0 0 20 0 18 0 334048991 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 739464 114072 2270 9 0 729885 0
[pid=17030/tid=17032] ppid=17028 vsize=2957856 CPUtime=1.44 cores=0,2,4,6
/proc/17030/task/17032/stat : 17032 (java) R 17028 17030 7849 0 -1 4202560 2732 0 1 0 137 7 0 0 20 0 18 0 334048992 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200239533592 140200097928579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17033] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17033/stat : 17033 (java) S 17028 17030 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 334048993 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200222959912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17034] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17034/stat : 17034 (java) S 17028 17030 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 334048993 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200221907112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17035] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17035/stat : 17035 (java) S 17028 17030 7849 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334048993 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200220854824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17036] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17036/stat : 17036 (java) S 17028 17030 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 334048993 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200219802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17037] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17037/stat : 17037 (java) S 17028 17030 7849 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 334048993 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200218749736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17038] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17038/stat : 17038 (java) S 17028 17030 7849 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 334048993 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200217696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17039] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17039/stat : 17039 (java) S 17028 17030 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 334048993 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200216644648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17040] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17040/stat : 17040 (java) S 17028 17030 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334048993 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200097344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17041] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17041/stat : 17041 (java) S 17028 17030 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334048994 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200085145832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17042] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17042/stat : 17042 (java) S 17028 17030 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200084091896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17043] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17043/stat : 17043 (java) S 17028 17030 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200083039496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17044] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17044/stat : 17044 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140200081987984 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17045] ppid=17028 vsize=2957856 CPUtime=0.19 cores=0,2,4,6
/proc/17030/task/17045/stat : 17045 (java) S 17028 17030 7849 0 -1 4202560 1464 0 0 0 19 0 0 0 20 0 18 0 334048997 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140199342369464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17046] ppid=17028 vsize=2957856 CPUtime=0.21 cores=0,2,4,6
/proc/17030/task/17046/stat : 17046 (java) S 17028 17030 7849 0 -1 4202560 2353 0 0 0 21 0 0 0 20 0 18 0 334048997 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140199341316664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17047] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17047/stat : 17047 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140199340264568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17048] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17048/stat : 17048 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 114072 33554432000 1073741824 1073778376 140734883280624 140199339211976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 2957856
[startup+3.10069 s]
/proc/loadavg: 1.53 0.48 0.49 3/192 17048
/proc/meminfo: memFree=28564292/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2957856 CPUtime=3.8 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 7873 0 1 0 365 15 0 0 20 0 18 0 334048991 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 739464 126874 2270 9 0 729885 0
[pid=17030/tid=17032] ppid=17028 vsize=2957856 CPUtime=2.95 cores=0,2,4,6
/proc/17030/task/17032/stat : 17032 (java) R 17028 17030 7849 0 -1 4202560 2734 0 1 0 287 8 0 0 20 0 18 0 334048992 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200239526000 140200097797472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17033] ppid=17028 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/17030/task/17033/stat : 17033 (java) S 17028 17030 7849 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 18 0 334048993 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200222959912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17034] ppid=17028 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/17030/task/17034/stat : 17034 (java) S 17028 17030 7849 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 18 0 334048993 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200221907112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17035] ppid=17028 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/17030/task/17035/stat : 17035 (java) S 17028 17030 7849 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 334048993 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200220854824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17036] ppid=17028 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/17030/task/17036/stat : 17036 (java) S 17028 17030 7849 0 -1 4202560 24 0 0 0 5 1 0 0 20 0 18 0 334048993 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200219802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17037] ppid=17028 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/17030/task/17037/stat : 17037 (java) S 17028 17030 7849 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 334048993 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200218749736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17038] ppid=17028 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/17030/task/17038/stat : 17038 (java) S 17028 17030 7849 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 18 0 334048993 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200217696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17039] ppid=17028 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/17030/task/17039/stat : 17039 (java) S 17028 17030 7849 0 -1 4202560 19 0 0 0 3 1 0 0 20 0 18 0 334048993 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200216644648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17040] ppid=17028 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/17030/task/17040/stat : 17040 (java) S 17028 17030 7849 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 334048993 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200097344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17041] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17041/stat : 17041 (java) S 17028 17030 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334048994 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200085145832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17042] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17042/stat : 17042 (java) S 17028 17030 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200084091896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17043] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17043/stat : 17043 (java) S 17028 17030 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200083039496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17044] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17044/stat : 17044 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140200081987984 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17045] ppid=17028 vsize=2957856 CPUtime=0.19 cores=0,2,4,6
/proc/17030/task/17045/stat : 17045 (java) S 17028 17030 7849 0 -1 4202560 1464 0 0 0 19 0 0 0 20 0 18 0 334048997 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140199342369464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17046] ppid=17028 vsize=2957856 CPUtime=0.21 cores=0,2,4,6
/proc/17030/task/17046/stat : 17046 (java) S 17028 17030 7849 0 -1 4202560 2353 0 0 0 21 0 0 0 20 0 18 0 334048997 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140199341316664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17047] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17047/stat : 17047 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140199340264568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17048] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17048/stat : 17048 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 126874 33554432000 1073741824 1073778376 140734883280624 140199339211976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 2957856
[startup+6.30074 s]
/proc/loadavg: 1.65 0.52 0.50 3/192 17048
/proc/meminfo: memFree=28457792/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2957856 CPUtime=7.95 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 8125 0 1 0 768 27 0 0 20 0 18 0 334048991 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 739464 155994 2270 9 0 729885 0
[pid=17030/tid=17032] ppid=17028 vsize=2957856 CPUtime=5.81 cores=0,2,4,6
/proc/17030/task/17032/stat : 17032 (java) R 17028 17030 7849 0 -1 4202560 2740 0 1 0 572 9 0 0 20 0 18 0 334048992 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200239533328 214373033229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17033] ppid=17028 vsize=2957856 CPUtime=0.18 cores=0,2,4,6
/proc/17030/task/17033/stat : 17033 (java) S 17028 17030 7849 0 -1 4202560 48 0 0 0 16 2 0 0 20 0 18 0 334048993 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200222959912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17034] ppid=17028 vsize=2957856 CPUtime=0.14 cores=0,2,4,6
/proc/17030/task/17034/stat : 17034 (java) S 17028 17030 7849 0 -1 4202560 32 0 0 0 13 1 0 0 20 0 18 0 334048993 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200221907112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17035] ppid=17028 vsize=2957856 CPUtime=0.2 cores=0,2,4,6
/proc/17030/task/17035/stat : 17035 (java) S 17028 17030 7849 0 -1 4202560 46 0 0 0 18 2 0 0 20 0 18 0 334048993 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200220854824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17036] ppid=17028 vsize=2957856 CPUtime=0.24 cores=0,2,4,6
/proc/17030/task/17036/stat : 17036 (java) S 17028 17030 7849 0 -1 4202560 65 0 0 0 21 3 0 0 20 0 18 0 334048993 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200219802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17037] ppid=17028 vsize=2957856 CPUtime=0.18 cores=0,2,4,6
/proc/17030/task/17037/stat : 17037 (java) S 17028 17030 7849 0 -1 4202560 44 0 0 0 16 2 0 0 20 0 18 0 334048993 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200218749736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17038] ppid=17028 vsize=2957856 CPUtime=0.24 cores=0,2,4,6
/proc/17030/task/17038/stat : 17038 (java) S 17028 17030 7849 0 -1 4202560 61 0 0 0 21 3 0 0 20 0 18 0 334048993 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200217696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17039] ppid=17028 vsize=2957856 CPUtime=0.2 cores=0,2,4,6
/proc/17030/task/17039/stat : 17039 (java) S 17028 17030 7849 0 -1 4202560 42 0 0 0 18 2 0 0 20 0 18 0 334048993 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200216644648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17040] ppid=17028 vsize=2957856 CPUtime=0.17 cores=0,2,4,6
/proc/17030/task/17040/stat : 17040 (java) S 17028 17030 7849 0 -1 4202560 48 0 0 0 14 3 0 0 20 0 18 0 334048993 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200097344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17041] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17041/stat : 17041 (java) S 17028 17030 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334048994 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200085145832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17042] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17042/stat : 17042 (java) S 17028 17030 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200084091896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17043] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17043/stat : 17043 (java) S 17028 17030 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200083039496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17044] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17044/stat : 17044 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140200081987984 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17045] ppid=17028 vsize=2957856 CPUtime=0.2 cores=0,2,4,6
/proc/17030/task/17045/stat : 17045 (java) S 17028 17030 7849 0 -1 4202560 1464 0 0 0 20 0 0 0 20 0 18 0 334048997 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140199342369464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17046] ppid=17028 vsize=2957856 CPUtime=0.21 cores=0,2,4,6
/proc/17030/task/17046/stat : 17046 (java) S 17028 17030 7849 0 -1 4202560 2353 0 0 0 21 0 0 0 20 0 18 0 334048997 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140199341316664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17047] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17047/stat : 17047 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140199340264568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17048] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17048/stat : 17048 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 155994 33554432000 1073741824 1073778376 140734883280624 140199339211976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (KiB) 2957856
[startup+12.7007 s]
/proc/loadavg: 1.67 0.54 0.51 3/192 17048
/proc/meminfo: memFree=28266656/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2957856 CPUtime=16.29 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 14150 0 1 0 1586 43 0 0 20 0 18 0 334048991 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 739464 201406 2288 9 0 729885 0
[pid=17030/tid=17032] ppid=17028 vsize=2957856 CPUtime=11.62 cores=0,2,4,6
/proc/17030/task/17032/stat : 17032 (java) R 17028 17030 7849 0 -1 4202560 2759 0 1 0 1152 10 0 0 20 0 18 0 334048992 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200239526480 140200097473075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17033] ppid=17028 vsize=2957856 CPUtime=0.45 cores=0,2,4,6
/proc/17030/task/17033/stat : 17033 (java) S 17028 17030 7849 0 -1 4202560 95 0 0 0 41 4 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200222959912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17034] ppid=17028 vsize=2957856 CPUtime=0.4 cores=0,2,4,6
/proc/17030/task/17034/stat : 17034 (java) S 17028 17030 7849 0 -1 4202560 86 0 0 0 37 3 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200221907112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17035] ppid=17028 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/17030/task/17035/stat : 17035 (java) S 17028 17030 7849 0 -1 4202560 89 0 0 0 39 4 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200220854824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17036] ppid=17028 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/17030/task/17036/stat : 17036 (java) S 17028 17030 7849 0 -1 4202560 124 0 0 0 46 4 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200219802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17037] ppid=17028 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/17030/task/17037/stat : 17037 (java) S 17028 17030 7849 0 -1 4202560 96 0 0 0 44 3 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200218749736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17038] ppid=17028 vsize=2957856 CPUtime=0.59 cores=0,2,4,6
/proc/17030/task/17038/stat : 17038 (java) S 17028 17030 7849 0 -1 4202560 143 0 0 0 54 5 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200217696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17039] ppid=17028 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/17030/task/17039/stat : 17039 (java) S 17028 17030 7849 0 -1 4202560 116 0 0 0 40 4 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200216644648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17040] ppid=17028 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/17030/task/17040/stat : 17040 (java) S 17028 17030 7849 0 -1 4202560 106 0 0 0 38 5 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200097344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17041] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17041/stat : 17041 (java) S 17028 17030 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334048994 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200085145832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17042] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17042/stat : 17042 (java) S 17028 17030 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200084091896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17043] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17043/stat : 17043 (java) S 17028 17030 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200083039496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17044] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17044/stat : 17044 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200081987984 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17045] ppid=17028 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/17030/task/17045/stat : 17045 (java) S 17028 17030 7849 0 -1 4202560 5817 0 0 0 42 1 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140199342369464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17046] ppid=17028 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/17030/task/17046/stat : 17046 (java) S 17028 17030 7849 0 -1 4202560 3536 0 0 0 32 0 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140199341316664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17047] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17047/stat : 17047 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140199340264568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17048] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17048/stat : 17048 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140199339211976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.29
Current children cumulated vsize (KiB) 2957856
Solver just ended. Dumping a history of the last processes samples
[startup+12.9007 s]
/proc/loadavg: 1.67 0.54 0.51 3/192 17048
/proc/meminfo: memFree=28266656/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=2957856 CPUtime=16.49 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 14150 0 1 0 1606 43 0 0 20 0 18 0 334048991 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 739464 201406 2288 9 0 729885 0
[pid=17030/tid=17032] ppid=17028 vsize=2957856 CPUtime=11.82 cores=0,2,4,6
/proc/17030/task/17032/stat : 17032 (java) R 17028 17030 7849 0 -1 4202560 2759 0 1 0 1172 10 0 0 20 0 18 0 334048992 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200239526480 140200098035842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17033] ppid=17028 vsize=2957856 CPUtime=0.45 cores=0,2,4,6
/proc/17030/task/17033/stat : 17033 (java) S 17028 17030 7849 0 -1 4202560 95 0 0 0 41 4 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200222959912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17034] ppid=17028 vsize=2957856 CPUtime=0.4 cores=0,2,4,6
/proc/17030/task/17034/stat : 17034 (java) S 17028 17030 7849 0 -1 4202560 86 0 0 0 37 3 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200221907112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17035] ppid=17028 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/17030/task/17035/stat : 17035 (java) S 17028 17030 7849 0 -1 4202560 89 0 0 0 39 4 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200220854824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17036] ppid=17028 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/17030/task/17036/stat : 17036 (java) S 17028 17030 7849 0 -1 4202560 124 0 0 0 46 4 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200219802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17037] ppid=17028 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/17030/task/17037/stat : 17037 (java) S 17028 17030 7849 0 -1 4202560 96 0 0 0 44 3 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200218749736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17038] ppid=17028 vsize=2957856 CPUtime=0.59 cores=0,2,4,6
/proc/17030/task/17038/stat : 17038 (java) S 17028 17030 7849 0 -1 4202560 143 0 0 0 54 5 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200217696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17039] ppid=17028 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/17030/task/17039/stat : 17039 (java) S 17028 17030 7849 0 -1 4202560 116 0 0 0 40 4 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200216644648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17040] ppid=17028 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/17030/task/17040/stat : 17040 (java) S 17028 17030 7849 0 -1 4202560 106 0 0 0 38 5 0 0 20 0 18 0 334048993 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200097344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17041] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17041/stat : 17041 (java) S 17028 17030 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334048994 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200085145832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17042] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17042/stat : 17042 (java) S 17028 17030 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200084091896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17043] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17043/stat : 17043 (java) S 17028 17030 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334048995 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200083039496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17044] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17044/stat : 17044 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140200081987984 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17045] ppid=17028 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/17030/task/17045/stat : 17045 (java) S 17028 17030 7849 0 -1 4202560 5817 0 0 0 43 1 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140199342369464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17046] ppid=17028 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/17030/task/17046/stat : 17046 (java) S 17028 17030 7849 0 -1 4202560 3536 0 0 0 32 0 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140199341316664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17047] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17047/stat : 17047 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140199340264568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17048] ppid=17028 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17048/stat : 17048 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334048997 3028844544 201406 33554432000 1073741824 1073778376 140734883280624 140199339211976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.49
Current children cumulated vsize (KiB) 2957856
[startup+13.1007 s]
/proc/loadavg: 1.67 0.54 0.51 3/192 17048
/proc/meminfo: memFree=28266656/32873844 swapFree=7632/7632
[pid=17030] ppid=17028 vsize=3024420 CPUtime=17.04 cores=0,2,4,6
/proc/17030/stat : 17030 (java) S 17028 17030 7849 0 -1 4202496 17026 0 1 0 1660 44 0 0 20 0 19 0 334048991 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140734883271760 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17030/statm: 756105 202534 2297 9 0 746526 0
[pid=17030/tid=17032] ppid=17028 vsize=3024420 CPUtime=12.02 cores=0,2,4,6
/proc/17030/task/17032/stat : 17032 (java) R 17028 17030 7849 0 -1 4202560 2764 0 1 0 1192 10 0 0 20 0 19 0 334048992 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200239534488 140200242819974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17033] ppid=17028 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17030/task/17033/stat : 17033 (java) S 17028 17030 7849 0 -1 4202560 95 0 0 0 41 4 0 0 20 0 19 0 334048993 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200222959912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17034] ppid=17028 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/17030/task/17034/stat : 17034 (java) S 17028 17030 7849 0 -1 4202560 86 0 0 0 37 3 0 0 20 0 19 0 334048993 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200221907112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17035] ppid=17028 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/17030/task/17035/stat : 17035 (java) S 17028 17030 7849 0 -1 4202560 89 0 0 0 39 4 0 0 20 0 19 0 334048993 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200220854824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17036] ppid=17028 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/17030/task/17036/stat : 17036 (java) S 17028 17030 7849 0 -1 4202560 124 0 0 0 46 4 0 0 20 0 19 0 334048993 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200219802024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17037] ppid=17028 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17030/task/17037/stat : 17037 (java) S 17028 17030 7849 0 -1 4202560 96 0 0 0 44 3 0 0 20 0 19 0 334048993 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200218749736 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17038] ppid=17028 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/17030/task/17038/stat : 17038 (java) S 17028 17030 7849 0 -1 4202560 143 0 0 0 54 5 0 0 20 0 19 0 334048993 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200217696936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17030/tid=17039] ppid=17028 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/17030/task/17039/stat : 17039 (java) S 17028 17030 7849 0 -1 4202560 116 0 0 0 40 4 0 0 20 0 19 0 334048993 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200216644648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17030/tid=17040] ppid=17028 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/17030/task/17040/stat : 17040 (java) S 17028 17030 7849 0 -1 4202560 106 0 0 0 38 5 0 0 20 0 19 0 334048993 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200097344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17041] ppid=17028 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17041/stat : 17041 (java) S 17028 17030 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334048994 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200085145832 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17042] ppid=17028 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17042/stat : 17042 (java) S 17028 17030 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334048995 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200084091896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17043] ppid=17028 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17043/stat : 17043 (java) S 17028 17030 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334048995 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200083039496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17044] ppid=17028 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17044/stat : 17044 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334048997 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140200081987984 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17045] ppid=17028 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/17030/task/17045/stat : 17045 (java) R 17028 17030 7849 0 -1 4202560 5994 0 0 0 59 1 0 0 20 0 19 0 334048997 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140199342369464 140200245681110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17030/tid=17046] ppid=17028 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/17030/task/17046/stat : 17046 (java) R 17028 17030 7849 0 -1 4202560 6221 0 0 0 48 1 0 0 20 0 19 0 334048997 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140199341316664 140200246509987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17047] ppid=17028 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17047/stat : 17047 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334048997 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140199340264568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17030/tid=17048] ppid=17028 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17030/task/17048/stat : 17048 (java) S 17028 17030 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334048997 3097006080 202534 33554432000 1073741824 1073778376 140734883280624 140199339211976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 17.04
Current children cumulated vsize (KiB) 3024420
Child status: 10
Real time (s): 13.1408
CPU time (s): 17.1024
CPU user time (s): 16.5285
CPU system time (s): 0.573912
CPU usage (%): 130.148
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.5285
system time used= 0.573912
maximum resident set size= 810404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17040
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= 1221
involuntary context switches= 4078
runsolver used 0.033994 second user time and 0.082987 second system time
The end