runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4245474-1500685768/watcher-4245474-1500685768 -o /tmp/evaluation-result-4245474-1500685768/solver-4245474-1500685768 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 242453435 HOME/instance-4245474-1500685768.xml
pid=2064
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.31 14.83 14.78 10/276 2067
/proc/meminfo: memFree=31540156/32770624 swapFree=5900/227176
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
[startup+0.100101 s]
/proc/loadavg: 14.31 14.83 14.78 10/276 2067
/proc/meminfo: memFree=31540156/32770624 swapFree=5900/227176
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200342 s]
/proc/loadavg: 14.31 14.83 14.78 10/276 2067
/proc/meminfo: memFree=31540156/32770624 swapFree=5900/227176
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300311 s]
/proc/loadavg: 14.31 14.83 14.78 10/276 2067
/proc/meminfo: memFree=31540156/32770624 swapFree=5900/227176
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700267 s]
/proc/loadavg: 14.31 14.83 14.78 10/276 2067
/proc/meminfo: memFree=31540156/32770624 swapFree=5900/227176
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50154 s]
/proc/loadavg: 14.21 14.79 14.77 20/305 2096
/proc/meminfo: memFree=31361324/32770624 swapFree=5900/227236
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
[pid=2068] ppid=2067 vsize=13801768 CPUtime=7.9 cores=0,2,4,6,8,10,12,14
/proc/2068/stat : 2068 (java) S 2067 2067 16913 0 -1 1077944320 19175 0 0 0 780 10 0 0 20 0 28 0 3843716 14133010432 39418 33554432000 4194304 4196468 140722935610672 140722935593216 140426928881399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
/proc/2068/statm: 3450442 39418 3221 1 0 3437675 0
[pid=2068/tid=2069] ppid=2067 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2069/stat : 2069 (java) S 2067 2067 16913 0 -1 1077944384 6807 0 0 0 71 4 0 0 20 0 28 0 3843717 14133010432 39418 33554432000 4194304 4196468 140722935610672 140426933122176 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2071] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2071/stat : 2071 (java) S 2067 2067 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 39418 33554432000 4194304 4196468 140722935610672 140426847361680 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2072] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2072/stat : 2072 (java) S 2067 2067 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 39484 33554432000 4194304 4196468 140722935610672 140426846308880 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2073] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2073/stat : 2073 (java) S 2067 2067 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 39484 33554432000 4194304 4196468 140722935610672 140426845256080 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2074] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2074/stat : 2074 (java) S 2067 2067 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 39484 33554432000 4194304 4196468 140722935610672 140426844203280 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2075] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2075/stat : 2075 (java) S 2067 2067 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 39550 33554432000 4194304 4196468 140722935610672 140426843151504 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2076] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2076/stat : 2076 (java) S 2067 2067 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 39550 33554432000 4194304 4196468 140722935610672 140426522651664 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2077] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2077/stat : 2077 (java) S 2067 2067 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 39550 33554432000 4194304 4196468 140722935610672 140426521598864 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2078] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2078/stat : 2078 (java) S 2067 2067 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426520546064 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2079] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2079/stat : 2079 (java) S 2067 2067 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3843720 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426391157104 140426928892546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2080] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2080/stat : 2080 (java) S 2067 2067 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426390103072 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2081] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2081/stat : 2081 (java) S 2067 2067 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426389050224 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2082] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2082/stat : 2082 (java) S 2067 2067 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426387998544 140426928899995 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2083] ppid=2067 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2083/stat : 2083 (java) R 2067 2067 16913 0 -1 4202560 3733 0 0 0 97 1 0 0 20 0 28 0 3843725 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426386931480 140426913996645 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2084] ppid=2067 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2084/stat : 2084 (java) R 2067 2067 16913 0 -1 4202560 1844 0 0 0 75 0 0 0 20 0 28 0 3843725 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426385880264 140426908148867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2085] ppid=2067 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2085/stat : 2085 (java) R 2067 2067 16913 0 -1 4202560 2217 0 0 0 95 0 0 0 20 0 28 0 3843725 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426384822344 140426913170291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2086] ppid=2067 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2086/stat : 2086 (java) S 2067 2067 16913 0 -1 1077944384 3010 0 0 0 71 1 0 0 20 0 28 0 3843725 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426383788528 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2087] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2087/stat : 2087 (java) S 2067 2067 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426382735968 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2088] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2088/stat : 2088 (java) S 2067 2067 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3843726 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426381683248 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2089] ppid=2067 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2089/stat : 2089 (java) R 2067 2067 16913 0 -1 4202560 61 0 0 0 63 0 0 0 20 0 28 0 3843794 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426373667408 140426529077591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2090] ppid=2067 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2090/stat : 2090 (java) R 2067 2067 16913 0 -1 4202560 49 0 0 0 35 0 0 0 20 0 28 0 3843794 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426103213960 140426528074592 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2091] ppid=2067 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2091/stat : 2091 (java) R 2067 2067 16913 0 -1 4202560 50 0 0 0 50 0 0 0 20 0 28 0 3843794 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426102159176 140426528880646 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2092] ppid=2067 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2092/stat : 2092 (java) R 2067 2067 16913 0 -1 4202560 73 0 0 0 49 0 0 0 20 0 28 0 3843794 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426101108928 140426528775444 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2093] ppid=2067 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2093/stat : 2093 (java) R 2067 2067 16913 0 -1 4202560 35 0 0 0 50 0 0 0 20 0 28 0 3843794 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426100056424 140426529076689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2094] ppid=2067 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2094/stat : 2094 (java) R 2067 2067 16913 0 -1 4202560 39 0 0 0 45 0 0 0 20 0 28 0 3843794 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426099004232 140426528880833 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2095] ppid=2067 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2095/stat : 2095 (java) R 2067 2067 16913 0 -1 4202560 50 0 0 0 39 0 0 0 20 0 28 0 3843794 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426097951112 140426527592222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2096] ppid=2067 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2096/stat : 2096 (java) R 2067 2067 16913 0 -1 4202560 43 0 0 0 35 0 0 0 20 0 28 0 3843795 14133010432 39616 33554432000 4194304 4196468 140722935610672 140426096901384 140426528880833 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 13811280
[startup+3.10158 s]
/proc/loadavg: 14.21 14.79 14.77 20/305 2096
/proc/meminfo: memFree=31239528/32770624 swapFree=5900/227236
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
[pid=2068] ppid=2067 vsize=13801768 CPUtime=20.37 cores=0,2,4,6,8,10,12,14
/proc/2068/stat : 2068 (java) S 2067 2067 16913 0 -1 1077944320 35122 0 0 0 2021 16 0 0 20 0 28 0 3843716 14133010432 57679 33554432000 4194304 4196468 140722935610672 140722935593216 140426928881399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
/proc/2068/statm: 3450442 57679 3235 1 0 3437675 0
[pid=2068/tid=2069] ppid=2067 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2069/stat : 2069 (java) S 2067 2067 16913 0 -1 1077944384 6807 0 0 0 71 4 0 0 20 0 28 0 3843717 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426933122176 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2071] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2071/stat : 2071 (java) S 2067 2067 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426847361680 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2072] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2072/stat : 2072 (java) S 2067 2067 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426846308880 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2073] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2073/stat : 2073 (java) S 2067 2067 16913 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426845256080 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2074] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2074/stat : 2074 (java) S 2067 2067 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426844203280 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2075] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2075/stat : 2075 (java) S 2067 2067 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426843151504 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2076] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2076/stat : 2076 (java) S 2067 2067 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426522651664 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2077] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2077/stat : 2077 (java) S 2067 2067 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426521598864 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2078] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2078/stat : 2078 (java) S 2067 2067 16913 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426520546064 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2079] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2079/stat : 2079 (java) S 2067 2067 16913 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 3843720 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426391157104 140426928892546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2080] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2080/stat : 2080 (java) S 2067 2067 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426390103072 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2081] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2081/stat : 2081 (java) S 2067 2067 16913 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426389050224 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2082] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2082/stat : 2082 (java) S 2067 2067 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426387998544 140426928899995 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2083] ppid=2067 vsize=13801768 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2083/stat : 2083 (java) S 2067 2067 16913 0 -1 1077944384 10462 0 0 0 219 2 0 0 20 0 28 0 3843725 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426386946928 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2084] ppid=2067 vsize=13801768 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2084/stat : 2084 (java) R 2067 2067 16913 0 -1 4202560 4958 0 0 0 163 1 0 0 20 0 28 0 3843725 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426385875328 140426912380197 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2085] ppid=2067 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2085/stat : 2085 (java) R 2067 2067 16913 0 -1 4202560 6201 0 0 0 195 0 0 0 20 0 28 0 3843725 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426384830016 140426912378183 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2086] ppid=2067 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2086/stat : 2086 (java) S 2067 2067 16913 0 -1 1077944384 3401 0 0 0 74 1 0 0 20 0 28 0 3843725 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426383788528 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2087] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2087/stat : 2087 (java) S 2067 2067 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426382735968 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2088] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2088/stat : 2088 (java) S 2067 2067 16913 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3843726 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426381683248 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2089] ppid=2067 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2089/stat : 2089 (java) R 2067 2067 16913 0 -1 4202560 189 0 0 0 199 0 0 0 20 0 28 0 3843794 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426373669064 140426528111596 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2090] ppid=2067 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2090/stat : 2090 (java) R 2067 2067 16913 0 -1 4202560 152 0 0 0 140 0 0 0 20 0 28 0 3843794 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426103216896 140426529888736 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2091] ppid=2067 vsize=13801768 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2091/stat : 2091 (java) R 2067 2067 16913 0 -1 4202560 240 0 0 0 170 0 0 0 20 0 28 0 3843794 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426102162496 140426527982458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2092] ppid=2067 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2092/stat : 2092 (java) R 2067 2067 16913 0 -1 4202560 168 0 0 0 150 0 0 0 20 0 28 0 3843794 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426101109816 140426529220678 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2093] ppid=2067 vsize=13801768 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2093/stat : 2093 (java) R 2067 2067 16913 0 -1 4202560 163 0 0 0 165 0 0 0 20 0 28 0 3843794 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426100056744 140426913258519 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2094] ppid=2067 vsize=13801768 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2094/stat : 2094 (java) R 2067 2067 16913 0 -1 4202560 108 0 0 0 162 0 0 0 20 0 28 0 3843794 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426099004200 140426528881352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2095] ppid=2067 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2095/stat : 2095 (java) R 2067 2067 16913 0 -1 4202560 147 0 0 0 153 0 0 0 20 0 28 0 3843794 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426097951608 140426528879333 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2096] ppid=2067 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2096/stat : 2096 (java) R 2067 2067 16913 0 -1 4202560 202 0 0 0 148 0 0 0 20 0 28 0 3843795 14133010432 57679 33554432000 4194304 4196468 140722935610672 140426096898536 140426528880833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
Current children cumulated CPU time (s) 20.37
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
################
# More data... #
################
/proc/2068/task/2080/stat : 2080 (java) S 2067 2067 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426390103072 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2081] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2081/stat : 2081 (java) S 2067 2067 16913 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426389050224 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2082] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2082/stat : 2082 (java) S 2067 2067 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426387998544 140426928899995 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2083] ppid=2067 vsize=13801768 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2083/stat : 2083 (java) R 2067 2067 16913 0 -1 1077944384 10468 0 0 0 222 2 0 0 20 0 28 0 3843725 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426386946928 140426928892546 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2084] ppid=2067 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2084/stat : 2084 (java) S 2067 2067 16913 0 -1 1077944384 4973 0 0 0 166 1 0 0 20 0 28 0 3843725 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426385894128 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2085] ppid=2067 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2085/stat : 2085 (java) R 2067 2067 16913 0 -1 4202560 6212 0 0 0 199 0 0 0 20 0 28 0 3843725 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426384841328 140426914252717 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2086] ppid=2067 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2086/stat : 2086 (java) S 2067 2067 16913 0 -1 1077944384 3419 0 0 0 75 1 0 0 20 0 28 0 3843725 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426383788528 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2087] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2087/stat : 2087 (java) S 2067 2067 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426382735968 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2088] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2088/stat : 2088 (java) S 2067 2067 16913 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3843726 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426381683248 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2089] ppid=2067 vsize=13801768 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2089/stat : 2089 (java) R 2067 2067 16913 0 -1 4202560 189 0 0 0 206 0 0 0 20 0 28 0 3843794 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426373669912 140426528880646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2090] ppid=2067 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2090/stat : 2090 (java) R 2067 2067 16913 0 -1 4202560 153 0 0 0 150 0 0 0 20 0 28 0 3843794 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426103213672 140722935945430 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2091] ppid=2067 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2091/stat : 2091 (java) R 2067 2067 16913 0 -1 4202560 241 0 0 0 180 0 0 0 20 0 28 0 3843794 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426102162560 140426529425028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2092] ppid=2067 vsize=13801768 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2092/stat : 2092 (java) R 2067 2067 16913 0 -1 4202560 173 0 0 0 159 0 0 0 20 0 28 0 3843794 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426101110464 140426528881589 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2093] ppid=2067 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2093/stat : 2093 (java) R 2067 2067 16913 0 -1 4202560 163 0 0 0 174 0 0 0 20 0 28 0 3843794 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426100056216 140426527982740 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2094] ppid=2067 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2094/stat : 2094 (java) R 2067 2067 16913 0 -1 4202560 108 0 0 0 169 0 0 0 20 0 28 0 3843794 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426099004200 140426528880646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2095] ppid=2067 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2095/stat : 2095 (java) R 2067 2067 16913 0 -1 4202560 148 0 0 0 163 0 0 0 20 0 28 0 3843794 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426097950336 140426530117706 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2096] ppid=2067 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2096/stat : 2096 (java) R 2067 2067 16913 0 -1 4202560 202 0 0 0 155 0 0 0 20 0 28 0 3843795 14133010432 57712 33554432000 4194304 4196468 140722935610672 140426096898680 140426529733740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
Current children cumulated CPU time (s) 21.17
Current children cumulated vsize (KiB) 13811280
[startup+4.00148 s]
/proc/loadavg: 14.21 14.79 14.77 17/305 2096
/proc/meminfo: memFree=31148148/32770624 swapFree=5900/227244
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
[pid=2068] ppid=2067 vsize=13801768 CPUtime=27.43 cores=0,2,4,6,8,10,12,14
/proc/2068/stat : 2068 (java) S 2067 2067 16913 0 -1 1077944320 36195 0 0 0 2722 21 0 0 20 0 28 0 3843716 14133010432 59815 33554432000 4194304 4196468 140722935610672 140722935593216 140426928881399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
/proc/2068/statm: 3450442 59815 3256 1 0 3437675 0
[pid=2068/tid=2069] ppid=2067 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2069/stat : 2069 (java) S 2067 2067 16913 0 -1 1077944384 6807 0 0 0 71 4 0 0 20 0 28 0 3843717 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426933122176 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2071] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2071/stat : 2071 (java) S 2067 2067 16913 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 3843718 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426847361680 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2072] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2072/stat : 2072 (java) S 2067 2067 16913 0 -1 1077944384 30 0 0 0 0 1 0 0 20 0 28 0 3843718 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426846308880 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2073] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2073/stat : 2073 (java) S 2067 2067 16913 0 -1 1077944384 114 0 0 0 0 1 0 0 20 0 28 0 3843718 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426845256080 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2074] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2074/stat : 2074 (java) S 2067 2067 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426844203280 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2075] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2075/stat : 2075 (java) S 2067 2067 16913 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426843151504 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2076] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2076/stat : 2076 (java) S 2067 2067 16913 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426522651664 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2077] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2077/stat : 2077 (java) S 2067 2067 16913 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 28 0 3843718 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426521598864 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2078] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2078/stat : 2078 (java) S 2067 2067 16913 0 -1 1077944384 254 0 0 0 0 1 0 0 20 0 28 0 3843718 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426520546064 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2079] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2079/stat : 2079 (java) S 2067 2067 16913 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 28 0 3843720 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426391157104 140426928892546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2080] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2080/stat : 2080 (java) S 2067 2067 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426390103072 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2081] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2081/stat : 2081 (java) S 2067 2067 16913 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426389050224 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2082] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2082/stat : 2082 (java) S 2067 2067 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426387998544 140426928899995 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2083] ppid=2067 vsize=13801768 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2083/stat : 2083 (java) R 2067 2067 16913 0 -1 4202560 10485 0 0 0 228 2 0 0 20 0 28 0 3843725 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426386947224 140426914007443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2084] ppid=2067 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2084/stat : 2084 (java) S 2067 2067 16913 0 -1 1077944384 4980 0 0 0 168 1 0 0 20 0 28 0 3843725 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426385894128 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2085] ppid=2067 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2085/stat : 2085 (java) S 2067 2067 16913 0 -1 1077944384 6219 0 0 0 202 0 0 0 20 0 28 0 3843725 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426384841328 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2086] ppid=2067 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2086/stat : 2086 (java) S 2067 2067 16913 0 -1 1077944384 3501 0 0 0 76 1 0 0 20 0 28 0 3843725 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426383788528 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2087] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2087/stat : 2087 (java) S 2067 2067 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426382735968 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2088] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2088/stat : 2088 (java) S 2067 2067 16913 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3843726 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426381683248 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2089] ppid=2067 vsize=13801768 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2089/stat : 2089 (java) R 2067 2067 16913 0 -1 4202560 195 0 0 0 283 0 0 0 20 0 28 0 3843794 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426373668280 140426529423770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2090] ppid=2067 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2090/stat : 2090 (java) R 2067 2067 16913 0 -1 4202560 157 0 0 0 229 0 0 0 20 0 28 0 3843794 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426103213608 140426527982536 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2091] ppid=2067 vsize=13801768 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2091/stat : 2091 (java) R 2067 2067 16913 0 -1 4202560 263 0 0 0 253 0 0 0 20 0 28 0 3843794 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426102163984 140426529216415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2092] ppid=2067 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2092/stat : 2092 (java) R 2067 2067 16913 0 -1 4202560 183 0 0 0 235 0 0 0 20 0 28 0 3843794 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426101109624 140426528880984 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2093] ppid=2067 vsize=13801768 CPUtime=2.48 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2093/stat : 2093 (java) R 2067 2067 16913 0 -1 4202560 166 0 0 0 248 0 0 0 20 0 28 0 3843794 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426100057128 140426527982229 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2094] ppid=2067 vsize=13801768 CPUtime=2.45 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2094/stat : 2094 (java) R 2067 2067 16913 0 -1 4202560 109 0 0 0 245 0 0 0 20 0 28 0 3843794 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426099003704 140426527982435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2095] ppid=2067 vsize=13801768 CPUtime=2.42 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2095/stat : 2095 (java) R 2067 2067 16913 0 -1 4202560 152 0 0 0 242 0 0 0 20 0 28 0 3843794 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426097951528 140426529733583 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2096] ppid=2067 vsize=13801768 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2096/stat : 2096 (java) R 2067 2067 16913 0 -1 4202560 207 0 0 0 226 0 0 0 20 0 28 0 3843795 14133010432 59815 33554432000 4194304 4196468 140722935610672 140426096898728 140426530046221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
Current children cumulated CPU time (s) 27.43
Current children cumulated vsize (KiB) 13811280
[startup+4.40148 s]
/proc/loadavg: 14.21 14.79 14.77 17/305 2096
/proc/meminfo: memFree=31109736/32770624 swapFree=5900/227248
[pid=2067] ppid=2064 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2067/stat : 2067 (xcsp3-exec) S 2064 2067 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3843716 9740288 346 33554432000 4194304 5098028 140734582184544 140734582182648 140225099588220 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16105472 140734582187151 140734582187360 140734582187360 140734582190059 0
/proc/2067/statm: 2378 346 289 221 0 87 0
[pid=2068] ppid=2067 vsize=13801768 CPUtime=30.7 cores=0,2,4,6,8,10,12,14
/proc/2068/stat : 2068 (java) S 2067 2067 16913 0 -1 1077944320 36220 0 0 0 3049 21 0 0 20 0 28 0 3843716 14133010432 59828 33554432000 4194304 4196468 140722935610672 140722935593216 140426928881399 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
/proc/2068/statm: 3450442 59828 3256 1 0 3437675 0
[pid=2068/tid=2069] ppid=2067 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2069/stat : 2069 (java) S 2067 2067 16913 0 -1 1077944384 6807 0 0 0 71 4 0 0 20 0 28 0 3843717 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426933122176 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2071] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2071/stat : 2071 (java) S 2067 2067 16913 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 3843718 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426847361680 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2072] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2072/stat : 2072 (java) S 2067 2067 16913 0 -1 1077944384 30 0 0 0 0 1 0 0 20 0 28 0 3843718 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426846308880 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2073] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2073/stat : 2073 (java) S 2067 2067 16913 0 -1 1077944384 114 0 0 0 0 1 0 0 20 0 28 0 3843718 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426845256080 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2074] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2074/stat : 2074 (java) S 2067 2067 16913 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426844203280 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2075] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2075/stat : 2075 (java) S 2067 2067 16913 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426843151504 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2076] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2076/stat : 2076 (java) S 2067 2067 16913 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 3843718 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426522651664 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2077] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2077/stat : 2077 (java) S 2067 2067 16913 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 28 0 3843718 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426521598864 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2078] ppid=2067 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2078/stat : 2078 (java) S 2067 2067 16913 0 -1 1077944384 254 0 0 0 0 1 0 0 20 0 28 0 3843718 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426520546064 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2079] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2079/stat : 2079 (java) S 2067 2067 16913 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 28 0 3843720 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426391157104 140426928892546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2080] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2080/stat : 2080 (java) S 2067 2067 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426390103072 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2081] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2081/stat : 2081 (java) S 2067 2067 16913 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3843721 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426389050224 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2082] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2082/stat : 2082 (java) S 2067 2067 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426387998544 140426928899995 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2083] ppid=2067 vsize=13801768 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2083/stat : 2083 (java) S 2067 2067 16913 0 -1 1077944384 10494 0 0 0 231 2 0 0 20 0 28 0 3843725 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426386946928 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2084] ppid=2067 vsize=13801768 CPUtime=1.69 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2084/stat : 2084 (java) S 2067 2067 16913 0 -1 1077944384 4980 0 0 0 168 1 0 0 20 0 28 0 3843725 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426385894128 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2085] ppid=2067 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2085/stat : 2085 (java) S 2067 2067 16913 0 -1 1077944384 6219 0 0 0 202 0 0 0 20 0 28 0 3843725 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426384841328 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2086] ppid=2067 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2086/stat : 2086 (java) S 2067 2067 16913 0 -1 1077944384 3505 0 0 0 77 1 0 0 20 0 28 0 3843725 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426383788528 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2087] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2087/stat : 2087 (java) S 2067 2067 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3843725 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426382735968 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2088] ppid=2067 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2088/stat : 2088 (java) S 2067 2067 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3843726 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426381683248 140426928892546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2089] ppid=2067 vsize=13801768 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2089/stat : 2089 (java) S 2067 2067 16913 0 -1 1077944384 204 0 0 0 324 0 0 0 20 0 28 0 3843794 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426373672368 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2090] ppid=2067 vsize=13801768 CPUtime=2.7 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2090/stat : 2090 (java) S 2067 2067 16913 0 -1 1077944384 164 0 0 0 270 0 0 0 20 0 28 0 3843794 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426103218896 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2091] ppid=2067 vsize=13801768 CPUtime=2.94 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2091/stat : 2091 (java) D 2067 2067 16913 0 -1 4202560 264 0 0 0 294 0 0 0 20 0 28 0 3843794 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426102162120 140426921598551 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2092] ppid=2067 vsize=13801768 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2092/stat : 2092 (java) R 2067 2067 16913 0 -1 4202560 193 0 0 0 274 0 0 0 20 0 28 0 3843794 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426101109928 140426910444951 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2093] ppid=2067 vsize=13801768 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2093/stat : 2093 (java) S 2067 2067 16913 0 -1 1077944384 169 0 0 0 290 0 0 0 20 0 28 0 3843794 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426100061520 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2094] ppid=2067 vsize=13801768 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2094/stat : 2094 (java) S 2067 2067 16913 0 -1 1077944384 132 0 0 0 286 0 0 0 20 0 28 0 3843794 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426099008720 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2095] ppid=2067 vsize=13801768 CPUtime=2.8 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2095/stat : 2095 (java) S 2067 2067 16913 0 -1 1077944384 156 0 0 0 280 0 0 0 20 0 28 0 3843794 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426097955920 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
[pid=2068/tid=2096] ppid=2067 vsize=13801768 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/2068/task/2096/stat : 2096 (java) S 2067 2067 16913 0 -1 1077944384 211 0 0 0 267 0 0 0 20 0 28 0 3843795 14133010432 59828 33554432000 4194304 4196468 140722935610672 140426096903120 140426928891605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9039872 140722935612604 140722935612780 140722935612780 140722935615439 0
Current children cumulated CPU time (s) 30.7
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 4.42886
CPU time (s): 30.7485
CPU user time (s): 30.5234
CPU system time (s): 0.225077
CPU usage (%): 694.275
Max. virtual memory (cumulated for all children) (KiB): 13813156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.5234
system time used= 0.225077
maximum resident set size= 239636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3507
involuntary context switches= 2684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055889 second user time and 0.071706 second system time
The end