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-4245026-1500685221/watcher-4245026-1500685221 -o /tmp/evaluation-result-4245026-1500685221/solver-4245026-1500685221 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1787628273 HOME/instance-4245026-1500685221.xml
pid=13851
running on 8 cores: 1,3,5,7,9,11,13,15
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: 4.20 11.36 13.58 3/263 13854
/proc/meminfo: memFree=31234716/32770624 swapFree=5860/235996
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
[startup+0.100124 s]
/proc/loadavg: 4.20 11.36 13.58 3/263 13854
/proc/meminfo: memFree=31234716/32770624 swapFree=5860/235996
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200323 s]
/proc/loadavg: 4.20 11.36 13.58 3/263 13854
/proc/meminfo: memFree=31234716/32770624 swapFree=5860/235996
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300319 s]
/proc/loadavg: 4.20 11.36 13.58 3/263 13854
/proc/meminfo: memFree=31234716/32770624 swapFree=5860/235996
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700544 s]
/proc/loadavg: 4.20 11.36 13.58 3/263 13854
/proc/meminfo: memFree=31234716/32770624 swapFree=5860/235996
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50451 s]
/proc/loadavg: 4.20 11.36 13.58 3/284 13875
/proc/meminfo: memFree=30781812/32770624 swapFree=5860/235908
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
[pid=13855] ppid=13854 vsize=13267208 CPUtime=3.42 cores=1,3,5,7,9,11,13,15
/proc/13855/stat : 13855 (java) S 13854 13854 7411 0 -1 1077944320 13684 0 0 0 294 48 0 0 20 0 20 0 3789568 13585620992 117352 33554432000 4194304 4196468 140732057799760 140732057782304 139880560643831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
/proc/13855/statm: 3316802 117352 3217 1 0 3304035 0
[pid=13855/tid=13856] ppid=13854 vsize=13267208 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13856/stat : 13856 (java) R 13854 13854 7411 0 -1 4202560 6525 0 0 0 130 6 0 0 20 0 20 0 3789568 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880564881696 139880192830862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13858] ppid=13854 vsize=13267208 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13858/stat : 13858 (java) S 13854 13854 7411 0 -1 1077944384 43 0 0 0 4 3 0 0 20 0 20 0 3789569 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880513263888 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13859] ppid=13854 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13859/stat : 13859 (java) S 13854 13854 7411 0 -1 1077944384 66 0 0 0 5 5 0 0 20 0 20 0 3789569 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880512211344 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13860] ppid=13854 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13860/stat : 13860 (java) S 13854 13854 7411 0 -1 1077944384 41 0 0 0 5 3 0 0 20 0 20 0 3789569 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880511158800 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13861] ppid=13854 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13861/stat : 13861 (java) S 13854 13854 7411 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 20 0 3789569 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880510106256 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13862] ppid=13854 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13862/stat : 13862 (java) S 13854 13854 7411 0 -1 1077944384 55 0 0 0 4 4 0 0 20 0 20 0 3789569 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880155249424 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13863] ppid=13854 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13863/stat : 13863 (java) S 13854 13854 7411 0 -1 1077944384 55 0 0 0 2 6 0 0 20 0 20 0 3789569 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880154196880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13864] ppid=13854 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13864/stat : 13864 (java) S 13854 13854 7411 0 -1 1077944384 66 0 0 0 3 7 0 0 20 0 20 0 3789569 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880153144336 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13865] ppid=13854 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13865/stat : 13865 (java) S 13854 13854 7411 0 -1 1077944384 38 0 0 0 5 4 0 0 20 0 20 0 3789569 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880152091792 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13866] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13866/stat : 13866 (java) S 13854 13854 7411 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 3789572 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880022980592 139880560654978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13867] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13867/stat : 13867 (java) S 13854 13854 7411 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3789572 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880021926880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13868] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13868/stat : 13868 (java) S 13854 13854 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3789573 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880020874240 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13869] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13869/stat : 13869 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3789577 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880019822800 139880560662427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13870] ppid=13854 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13870/stat : 13870 (java) S 13854 13854 7411 0 -1 1077944384 1331 0 0 0 29 0 0 0 20 0 20 0 3789577 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880018770416 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13871] ppid=13854 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13871/stat : 13871 (java) S 13854 13854 7411 0 -1 1077944384 1157 0 0 0 35 0 0 0 20 0 20 0 3789577 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880017717872 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13872] ppid=13854 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13872/stat : 13872 (java) S 13854 13854 7411 0 -1 1077944384 1457 0 0 0 35 0 0 0 20 0 20 0 3789577 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880016665328 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13873] ppid=13854 vsize=13267208 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13873/stat : 13873 (java) S 13854 13854 7411 0 -1 1077944384 1291 0 0 0 25 0 0 0 20 0 20 0 3789577 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880015612784 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13874] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13874/stat : 13874 (java) S 13854 13854 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3789577 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880014559456 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13875] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13875/stat : 13875 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3789577 13585620992 117352 33554432000 4194304 4196468 140732057799760 139880013506992 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 13276720
[startup+3.10092 s]
/proc/loadavg: 4.11 11.22 13.52 3/284 13875
/proc/meminfo: memFree=30471668/32770624 swapFree=5860/235908
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
[pid=13855] ppid=13854 vsize=13267208 CPUtime=5.54 cores=1,3,5,7,9,11,13,15
/proc/13855/stat : 13855 (java) S 13854 13854 7411 0 -1 1077944320 14978 0 0 0 493 61 0 0 20 0 20 0 3789568 13585620992 183576 33554432000 4194304 4196468 140732057799760 140732057782304 139880560643831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
/proc/13855/statm: 3316802 183576 3224 1 0 3304035 0
[pid=13855/tid=13856] ppid=13854 vsize=13267208 CPUtime=2.93 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13856/stat : 13856 (java) R 13854 13854 7411 0 -1 4202560 7098 0 0 0 283 10 0 0 20 0 20 0 3789568 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880564882552 139880543106505 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13858] ppid=13854 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13858/stat : 13858 (java) S 13854 13854 7411 0 -1 1077944384 62 0 0 0 6 5 0 0 20 0 20 0 3789569 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880513263888 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13859] ppid=13854 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13859/stat : 13859 (java) S 13854 13854 7411 0 -1 1077944384 82 0 0 0 6 6 0 0 20 0 20 0 3789569 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880512211344 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13860] ppid=13854 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13860/stat : 13860 (java) S 13854 13854 7411 0 -1 1077944384 57 0 0 0 7 4 0 0 20 0 20 0 3789569 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880511158800 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13861] ppid=13854 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13861/stat : 13861 (java) S 13854 13854 7411 0 -1 1077944384 71 0 0 0 6 5 0 0 20 0 20 0 3789569 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880510106256 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13862] ppid=13854 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13862/stat : 13862 (java) S 13854 13854 7411 0 -1 1077944384 73 0 0 0 6 5 0 0 20 0 20 0 3789569 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880155249424 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13863] ppid=13854 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13863/stat : 13863 (java) S 13854 13854 7411 0 -1 1077944384 74 0 0 0 4 7 0 0 20 0 20 0 3789569 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880154196880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13864] ppid=13854 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13864/stat : 13864 (java) S 13854 13854 7411 0 -1 1077944384 85 0 0 0 5 8 0 0 20 0 20 0 3789569 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880153144336 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13865] ppid=13854 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13865/stat : 13865 (java) S 13854 13854 7411 0 -1 1077944384 54 0 0 0 6 5 0 0 20 0 20 0 3789569 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880152091792 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13866] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13866/stat : 13866 (java) S 13854 13854 7411 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 20 0 3789572 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880022980592 139880560654978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13867] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13867/stat : 13867 (java) S 13854 13854 7411 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3789572 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880021926880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13868] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13868/stat : 13868 (java) S 13854 13854 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3789573 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880020874240 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13869] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13869/stat : 13869 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3789577 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880019822800 139880560662427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13870] ppid=13854 vsize=13267208 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13870/stat : 13870 (java) S 13854 13854 7411 0 -1 1077944384 1455 0 0 0 40 0 0 0 20 0 20 0 3789577 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880018770416 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13871] ppid=13854 vsize=13267208 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13871/stat : 13871 (java) S 13854 13854 7411 0 -1 1077944384 1164 0 0 0 43 0 0 0 20 0 20 0 3789577 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880017717872 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13872] ppid=13854 vsize=13267208 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13872/stat : 13872 (java) S 13854 13854 7411 0 -1 1077944384 1572 0 0 0 47 0 0 0 20 0 20 0 3789577 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880016665328 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13873] ppid=13854 vsize=13267208 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13873/stat : 13873 (java) S 13854 13854 7411 0 -1 1077944384 1314 0 0 0 27 0 0 0 20 0 20 0 3789577 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880015612784 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13874] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13874/stat : 13874 (java) S 13854 13854 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3789577 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880014559456 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13875] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13875/stat : 13875 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3789577 13585620992 183576 33554432000 4194304 4196468 140732057799760 139880013506992 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 13276720
[startup+6.301 s]
/proc/loadavg: 4.11 11.22 13.52 3/284 13875
/proc/meminfo: memFree=30432860/32770624 swapFree=5860/235916
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
[pid=13855] ppid=13854 vsize=13267208 CPUtime=9.32 cores=1,3,5,7,9,11,13,15
/proc/13855/stat : 13855 (java) S 13854 13854 7411 0 -1 1077944320 19687 0 0 0 851 81 0 0 20 0 20 0 3789568 13585620992 193179 33554432000 4194304 4196468 140732057799760 140732057782304 139880560643831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
/proc/13855/statm: 3316802 193179 3230 1 0 3304035 0
[pid=13855/tid=13856] ppid=13854 vsize=13267208 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13856/stat : 13856 (java) R 13854 13854 7411 0 -1 4202560 8271 0 0 0 598 10 0 0 20 0 20 0 3789568 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880564880664 139880193475759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13858] ppid=13854 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13858/stat : 13858 (java) S 13854 13854 7411 0 -1 1077944384 137 0 0 0 8 7 0 0 20 0 20 0 3789569 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880513263888 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13859] ppid=13854 vsize=13267208 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13859/stat : 13859 (java) S 13854 13854 7411 0 -1 1077944384 243 0 0 0 9 8 0 0 20 0 20 0 3789569 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880512211344 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13860] ppid=13854 vsize=13267208 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13860/stat : 13860 (java) S 13854 13854 7411 0 -1 1077944384 255 0 0 0 8 6 0 0 20 0 20 0 3789569 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880511158800 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13861] ppid=13854 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13861/stat : 13861 (java) S 13854 13854 7411 0 -1 1077944384 108 0 0 0 8 8 0 0 20 0 20 0 3789569 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880510106256 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13862] ppid=13854 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13862/stat : 13862 (java) S 13854 13854 7411 0 -1 1077944384 115 0 0 0 8 8 0 0 20 0 20 0 3789569 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880155249424 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13863] ppid=13854 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13863/stat : 13863 (java) S 13854 13854 7411 0 -1 1077944384 135 0 0 0 6 10 0 0 20 0 20 0 3789569 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880154196880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13864] ppid=13854 vsize=13267208 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13864/stat : 13864 (java) S 13854 13854 7411 0 -1 1077944384 158 0 0 0 7 10 0 0 20 0 20 0 3789569 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880153144336 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13865] ppid=13854 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13865/stat : 13865 (java) S 13854 13854 7411 0 -1 1077944384 280 0 0 0 8 7 0 0 20 0 20 0 3789569 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880152091792 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13866] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13866/stat : 13866 (java) S 13854 13854 7411 0 -1 1077944384 716 0 0 0 0 0 0 0 20 0 20 0 3789572 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880022980592 139880560654978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13867] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13867/stat : 13867 (java) S 13854 13854 7411 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 3789572 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880021926880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13868] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13868/stat : 13868 (java) S 13854 13854 7411 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 3789573 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880020874240 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13869] ppid=13854 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13869/stat : 13869 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3789577 13585620992 193179 33554432000 4194304 4196468 140732057799760 139880019822800 139880560662427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
################
# More data... #
################
/proc/13855/task/13868/stat : 13868 (java) S 13854 13854 7411 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 3789573 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880020874240 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13869] ppid=13854 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13869/stat : 13869 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880019822800 139880560662427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13870] ppid=13854 vsize=13269256 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13870/stat : 13870 (java) S 13854 13854 7411 0 -1 1077944384 5433 0 0 0 82 1 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880018770416 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13871] ppid=13854 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13871/stat : 13871 (java) S 13854 13854 7411 0 -1 1077944384 4367 0 0 0 75 0 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880017717872 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 24 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13872] ppid=13854 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13872/stat : 13872 (java) S 13854 13854 7411 0 -1 1077944384 3550 0 0 0 70 1 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880016665328 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13873] ppid=13854 vsize=13269256 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13873/stat : 13873 (java) S 13854 13854 7411 0 -1 1077944384 4984 0 0 0 47 1 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880015612784 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13874] ppid=13854 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13874/stat : 13874 (java) S 13854 13854 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880014559456 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13875] ppid=13854 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13875/stat : 13875 (java) S 13854 13854 7411 0 -1 1077944384 347 0 0 0 3 4 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880013506992 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
Current children cumulated CPU time (s) 147.6
Current children cumulated vsize (KiB) 13278768
[startup+113.601 s]
/proc/loadavg: 2.87 8.51 12.27 3/283 13940
/proc/meminfo: memFree=26367828/32770624 swapFree=5860/236028
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
[pid=13855] ppid=13854 vsize=13269256 CPUtime=149.2 cores=1,3,5,7,9,11,13,15
/proc/13855/stat : 13855 (java) S 13854 13854 7411 0 -1 1077944320 95666 0 0 0 14129 791 0 0 20 0 20 0 3789568 13587718144 1242434 33554432000 4194304 4196468 140732057799760 140732057782304 139880560643831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
/proc/13855/statm: 3317314 1242434 3256 1 0 3304547 0
[pid=13855/tid=13856] ppid=13854 vsize=13269256 CPUtime=102.64 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13856/stat : 13856 (java) R 13854 13854 7411 0 -1 4202560 21616 0 0 0 10233 31 0 0 20 0 20 0 3789568 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880564878904 139880193475729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13858] ppid=13854 vsize=13269256 CPUtime=4.71 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13858/stat : 13858 (java) S 13854 13854 7411 0 -1 1077944384 4386 0 0 0 366 105 0 0 20 0 20 0 3789569 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880513263888 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13859] ppid=13854 vsize=13269256 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13859/stat : 13859 (java) S 13854 13854 7411 0 -1 1077944384 6136 0 0 0 384 86 0 0 20 0 20 0 3789569 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880512211344 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13860] ppid=13854 vsize=13269256 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13860/stat : 13860 (java) S 13854 13854 7411 0 -1 1077944384 4926 0 0 0 375 93 0 0 20 0 20 0 3789569 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880511158800 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13861] ppid=13854 vsize=13269256 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13861/stat : 13861 (java) S 13854 13854 7411 0 -1 1077944384 4225 0 0 0 357 95 0 0 20 0 20 0 3789569 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880510106256 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13862] ppid=13854 vsize=13269256 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13862/stat : 13862 (java) S 13854 13854 7411 0 -1 1077944384 8585 0 0 0 390 82 0 0 20 0 20 0 3789569 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880155249424 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13863] ppid=13854 vsize=13269256 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13863/stat : 13863 (java) S 13854 13854 7411 0 -1 1077944384 4317 0 0 0 364 108 0 0 20 0 20 0 3789569 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880154196880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13864] ppid=13854 vsize=13269256 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13864/stat : 13864 (java) S 13854 13854 7411 0 -1 1077944384 5195 0 0 0 389 86 0 0 20 0 20 0 3789569 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880153144336 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13865] ppid=13854 vsize=13269256 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13865/stat : 13865 (java) S 13854 13854 7411 0 -1 1077944384 7658 0 0 0 378 88 0 0 20 0 20 0 3789569 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880152091792 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13866] ppid=13854 vsize=13269256 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13866/stat : 13866 (java) S 13854 13854 7411 0 -1 1077944384 8511 0 0 0 608 4 0 0 20 0 20 0 3789572 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880022980592 139880560654978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13867] ppid=13854 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13867/stat : 13867 (java) S 13854 13854 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3789572 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880021926880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13868] ppid=13854 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13868/stat : 13868 (java) S 13854 13854 7411 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 3789573 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880020874240 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13869] ppid=13854 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13869/stat : 13869 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880019822800 139880560662427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13870] ppid=13854 vsize=13269256 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13870/stat : 13870 (java) S 13854 13854 7411 0 -1 1077944384 5433 0 0 0 82 1 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880018770416 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13871] ppid=13854 vsize=13269256 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13871/stat : 13871 (java) S 13854 13854 7411 0 -1 1077944384 4369 0 0 0 75 0 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880017717872 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 24 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13872] ppid=13854 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13872/stat : 13872 (java) S 13854 13854 7411 0 -1 1077944384 3550 0 0 0 70 1 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880016665328 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13873] ppid=13854 vsize=13269256 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13873/stat : 13873 (java) S 13854 13854 7411 0 -1 1077944384 4984 0 0 0 47 1 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880015612784 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13874] ppid=13854 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13874/stat : 13874 (java) S 13854 13854 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880014559456 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13875] ppid=13854 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13875/stat : 13875 (java) S 13854 13854 7411 0 -1 1077944384 347 0 0 0 3 4 0 0 20 0 20 0 3789577 13587718144 1242434 33554432000 4194304 4196468 140732057799760 139880013506992 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
Current children cumulated CPU time (s) 149.2
Current children cumulated vsize (KiB) 13278768
[startup+114.001 s]
/proc/loadavg: 2.87 8.51 12.27 3/283 13940
/proc/meminfo: memFree=26367828/32770624 swapFree=5860/236028
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
[pid=13855] ppid=13854 vsize=13801768 CPUtime=151.2 cores=1,3,5,7,9,11,13,15
/proc/13855/stat : 13855 (java) S 13854 13854 7411 0 -1 1077944320 102261 0 0 0 14327 793 0 0 20 0 28 0 3789568 14133010432 1242653 33554432000 4194304 4196468 140732057799760 140732057782304 139880560643831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
/proc/13855/statm: 3450442 1242653 3257 1 0 3437675 0
[pid=13855/tid=13856] ppid=13854 vsize=13801768 CPUtime=102.79 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13856/stat : 13856 (java) S 13854 13854 7411 0 -1 1077944384 22077 0 0 0 10248 31 0 0 20 0 28 0 3789568 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880564884608 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13858] ppid=13854 vsize=13801768 CPUtime=4.71 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13858/stat : 13858 (java) S 13854 13854 7411 0 -1 1077944384 4386 0 0 0 366 105 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880513263888 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13859] ppid=13854 vsize=13801768 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13859/stat : 13859 (java) S 13854 13854 7411 0 -1 1077944384 6136 0 0 0 384 86 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880512211344 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13860] ppid=13854 vsize=13801768 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13860/stat : 13860 (java) S 13854 13854 7411 0 -1 1077944384 4926 0 0 0 375 93 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880511158800 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13861] ppid=13854 vsize=13801768 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13861/stat : 13861 (java) S 13854 13854 7411 0 -1 1077944384 4225 0 0 0 357 95 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880510106256 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13862] ppid=13854 vsize=13801768 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13862/stat : 13862 (java) S 13854 13854 7411 0 -1 1077944384 8585 0 0 0 390 82 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880155249424 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13863] ppid=13854 vsize=13801768 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13863/stat : 13863 (java) S 13854 13854 7411 0 -1 1077944384 4317 0 0 0 364 108 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880154196880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13864] ppid=13854 vsize=13801768 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13864/stat : 13864 (java) S 13854 13854 7411 0 -1 1077944384 5195 0 0 0 389 86 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880153144336 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13865] ppid=13854 vsize=13801768 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13865/stat : 13865 (java) S 13854 13854 7411 0 -1 1077944384 7658 0 0 0 378 88 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880152091792 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13866] ppid=13854 vsize=13801768 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13866/stat : 13866 (java) S 13854 13854 7411 0 -1 1077944384 8519 0 0 0 608 4 0 0 20 0 28 0 3789572 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880022980592 139880560654978 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13867] ppid=13854 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13867/stat : 13867 (java) S 13854 13854 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3789572 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880021926880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13868] ppid=13854 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13868/stat : 13868 (java) S 13854 13854 7411 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 28 0 3789573 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880020874240 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13869] ppid=13854 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13869/stat : 13869 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880019822800 139880560662427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13870] ppid=13854 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13870/stat : 13870 (java) R 13854 13854 7411 0 -1 4202560 5702 0 0 0 89 1 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880018770712 139880552933280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13871] ppid=13854 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13871/stat : 13871 (java) R 13854 13854 7411 0 -1 4202560 4942 0 0 0 80 1 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880017700952 139880545549096 0 4 0 16800975 0 0 0 -1 13 0 0 24 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13872] ppid=13854 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13872/stat : 13872 (java) R 13854 13854 7411 0 -1 1077944384 3966 0 0 0 77 1 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880016665328 139880560654978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13873] ppid=13854 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13873/stat : 13873 (java) S 13854 13854 7411 0 -1 1077944384 5211 0 0 0 53 1 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880015612784 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13874] ppid=13854 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13874/stat : 13874 (java) S 13854 13854 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880014559456 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13875] ppid=13854 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13875/stat : 13875 (java) S 13854 13854 7411 0 -1 1077944384 347 0 0 0 3 4 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880013506992 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
Current children cumulated CPU time (s) 151.2
Current children cumulated vsize (KiB) 13811280
[startup+114.201 s]
/proc/loadavg: 2.87 8.51 12.27 3/283 13940
/proc/meminfo: memFree=26367828/32770624 swapFree=5860/236028
[pid=13854] ppid=13851 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13854/stat : 13854 (xcsp3-exec) S 13851 13854 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3789568 9740288 346 33554432000 4194304 5098028 140735044922992 140735044921096 140443256398460 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 37507072 140735044928654 140735044928864 140735044928864 140735044931563 0
/proc/13854/statm: 2378 346 289 221 0 87 0
[pid=13855] ppid=13854 vsize=13801768 CPUtime=152.58 cores=1,3,5,7,9,11,13,15
/proc/13855/stat : 13855 (java) S 13854 13854 7411 0 -1 1077944320 102686 0 0 0 14464 794 0 0 20 0 28 0 3789568 14133010432 1242653 33554432000 4194304 4196468 140732057799760 140732057782304 139880560643831 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
/proc/13855/statm: 3450442 1242653 3257 1 0 3437675 0
[pid=13855/tid=13856] ppid=13854 vsize=13801768 CPUtime=102.79 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13856/stat : 13856 (java) S 13854 13854 7411 0 -1 1077944384 22077 0 0 0 10248 31 0 0 20 0 28 0 3789568 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880564884608 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13858] ppid=13854 vsize=13801768 CPUtime=4.71 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13858/stat : 13858 (java) S 13854 13854 7411 0 -1 1077944384 4386 0 0 0 366 105 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880513263888 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13859] ppid=13854 vsize=13801768 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13859/stat : 13859 (java) S 13854 13854 7411 0 -1 1077944384 6136 0 0 0 384 86 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880512211344 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13860] ppid=13854 vsize=13801768 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13860/stat : 13860 (java) S 13854 13854 7411 0 -1 1077944384 4926 0 0 0 375 93 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880511158800 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13861] ppid=13854 vsize=13801768 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13861/stat : 13861 (java) S 13854 13854 7411 0 -1 1077944384 4225 0 0 0 357 95 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880510106256 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13862] ppid=13854 vsize=13801768 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13862/stat : 13862 (java) S 13854 13854 7411 0 -1 1077944384 8585 0 0 0 390 82 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880155249424 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13863] ppid=13854 vsize=13801768 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13863/stat : 13863 (java) S 13854 13854 7411 0 -1 1077944384 4317 0 0 0 364 108 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880154196880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13864] ppid=13854 vsize=13801768 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13864/stat : 13864 (java) S 13854 13854 7411 0 -1 1077944384 5195 0 0 0 389 86 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880153144336 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13865] ppid=13854 vsize=13801768 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13865/stat : 13865 (java) S 13854 13854 7411 0 -1 1077944384 7658 0 0 0 378 88 0 0 20 0 28 0 3789569 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880152091792 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13866] ppid=13854 vsize=13801768 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13866/stat : 13866 (java) S 13854 13854 7411 0 -1 1077944384 8519 0 0 0 608 4 0 0 20 0 28 0 3789572 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880022980592 139880560654978 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13867] ppid=13854 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13867/stat : 13867 (java) S 13854 13854 7411 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3789572 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880021926880 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13868] ppid=13854 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13868/stat : 13868 (java) S 13854 13854 7411 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 28 0 3789573 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880020874240 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13869] ppid=13854 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13869/stat : 13869 (java) S 13854 13854 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880019822800 139880560662427 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13870] ppid=13854 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13870/stat : 13870 (java) S 13854 13854 7411 0 -1 1077944384 5721 0 0 0 92 1 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880018770416 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13871] ppid=13854 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13871/stat : 13871 (java) R 13854 13854 7411 0 -1 4202560 5345 0 0 0 94 1 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880017700952 139880544144029 0 4 0 16800975 0 0 0 -1 13 0 0 24 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13872] ppid=13854 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13872/stat : 13872 (java) S 13854 13854 7411 0 -1 1077944384 3966 0 0 0 77 1 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880016665328 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13873] ppid=13854 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13873/stat : 13873 (java) S 13854 13854 7411 0 -1 1077944384 5211 0 0 0 53 1 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880015612784 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13874] ppid=13854 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13874/stat : 13874 (java) S 13854 13854 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880014559456 139880560654037 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
[pid=13855/tid=13875] ppid=13854 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13855/task/13875/stat : 13875 (java) S 13854 13854 7411 0 -1 1077944384 347 0 0 0 3 4 0 0 20 0 28 0 3789577 14133010432 1242653 33554432000 4194304 4196468 140732057799760 139880013506992 139880560654978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 29532160 140732057806012 140732057806188 140732057806188 140732057808847 0
Current children cumulated CPU time (s) 152.58
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 114.254
CPU time (s): 152.649
CPU user time (s): 144.679
CPU system time (s): 7.97011
CPU usage (%): 133.605
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.679
system time used= 7.97011
maximum resident set size= 4971208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10073
involuntary context switches= 8909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.797347 second user time and 1.075 second system time
The end