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-4246594-1500687682/watcher-4246594-1500687682 -o /tmp/evaluation-result-4246594-1500687682/solver-4246594-1500687682 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1610427888 HOME/instance-4246594-1500687682.xml
pid=31379
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: 7.98 12.09 13.56 10/263 31382
/proc/meminfo: memFree=22478980/32770624 swapFree=5736/257448
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 7.98 12.09 13.56 10/263 31382
/proc/meminfo: memFree=22478980/32770624 swapFree=5736/257448
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200205 s]
/proc/loadavg: 7.98 12.09 13.56 10/263 31382
/proc/meminfo: memFree=22478980/32770624 swapFree=5736/257448
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30023 s]
/proc/loadavg: 7.98 12.09 13.56 10/263 31382
/proc/meminfo: memFree=22478980/32770624 swapFree=5736/257448
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.7002 s]
/proc/loadavg: 7.98 12.09 13.56 10/263 31382
/proc/meminfo: memFree=22478980/32770624 swapFree=5736/257448
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50088 s]
/proc/loadavg: 7.98 12.09 13.56 10/284 31403
/proc/meminfo: memFree=22165648/32770624 swapFree=5736/257920
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
[pid=31383] ppid=31382 vsize=13267208 CPUtime=3.99 cores=0,2,4,6,8,10,12,14
/proc/31383/stat : 31383 (java) S 31382 31382 16473 0 -1 1077944320 13376 0 0 0 308 91 0 0 20 0 20 0 4037350 13585620992 112728 33554432000 4194304 4196468 140725853446176 140725853428720 139845552471799 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
/proc/31383/statm: 3316802 112728 3225 1 0 3304035 0
[pid=31383/tid=31384] ppid=31382 vsize=13267208 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31384/stat : 31384 (java) R 31382 31382 16473 0 -1 4202560 6492 0 0 0 123 7 0 0 20 0 20 0 4037350 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845556709048 139845534934376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31386] ppid=31382 vsize=13267208 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31386/stat : 31386 (java) S 31382 31382 16473 0 -1 1077944384 85 0 0 0 6 10 0 0 20 0 20 0 4037351 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845484607760 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31387] ppid=31382 vsize=13267208 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31387/stat : 31387 (java) S 31382 31382 16473 0 -1 1077944384 97 0 0 0 5 10 0 0 20 0 20 0 4037351 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845483555216 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31388] ppid=31382 vsize=13267208 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31388/stat : 31388 (java) S 31382 31382 16473 0 -1 1077944384 67 0 0 0 3 10 0 0 20 0 20 0 4037351 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845482502672 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31389] ppid=31382 vsize=13267208 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31389/stat : 31389 (java) S 31382 31382 16473 0 -1 1077944384 79 0 0 0 7 8 0 0 20 0 20 0 4037351 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845481450128 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31390] ppid=31382 vsize=13267208 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31390/stat : 31390 (java) S 31382 31382 16473 0 -1 1077944384 79 0 0 0 6 10 0 0 20 0 20 0 4037351 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845480397584 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31391] ppid=31382 vsize=13267208 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31391/stat : 31391 (java) S 31382 31382 16473 0 -1 1077944384 60 0 0 0 3 9 0 0 20 0 20 0 4037351 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845479345040 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31392] ppid=31382 vsize=13267208 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31392/stat : 31392 (java) S 31382 31382 16473 0 -1 1077944384 87 0 0 0 4 12 0 0 20 0 20 0 4037351 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845144906768 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31393] ppid=31382 vsize=13267208 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31393/stat : 31393 (java) S 31382 31382 16473 0 -1 1077944384 70 0 0 0 3 9 0 0 20 0 20 0 4037351 13585620992 112728 33554432000 4194304 4196468 140725853446176 139845143854224 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31394] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31394/stat : 31394 (java) S 31382 31382 16473 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4037353 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844880418800 139845552482946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31395] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31395/stat : 31395 (java) S 31382 31382 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4037353 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844879365088 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31396] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31396/stat : 31396 (java) S 31382 31382 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4037354 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844878312448 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31397] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31397/stat : 31397 (java) S 31382 31382 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4037357 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844877261008 139845552490395 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31398] ppid=31382 vsize=13267208 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31398/stat : 31398 (java) S 31382 31382 16473 0 -1 1077944384 1296 0 0 0 42 0 0 0 20 0 20 0 4037357 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844876208624 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31399] ppid=31382 vsize=13267208 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31399/stat : 31399 (java) S 31382 31382 16473 0 -1 1077944384 1284 0 0 0 35 0 0 0 20 0 20 0 4037357 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844875156080 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31400] ppid=31382 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31400/stat : 31400 (java) S 31382 31382 16473 0 -1 1077944384 942 0 0 0 38 0 0 0 20 0 20 0 4037357 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844806241008 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31401] ppid=31382 vsize=13267208 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31401/stat : 31401 (java) S 31382 31382 16473 0 -1 1077944384 1232 0 0 0 26 0 0 0 20 0 20 0 4037357 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844805188464 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31402] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31402/stat : 31402 (java) S 31382 31382 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4037357 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844804135136 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31403] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31403/stat : 31403 (java) S 31382 31382 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4037357 13585620992 112728 33554432000 4194304 4196468 140725853446176 139844803082672 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 13276720
[startup+3.10111 s]
/proc/loadavg: 7.98 12.09 13.56 10/284 31403
/proc/meminfo: memFree=21779820/32770624 swapFree=5736/257920
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
[pid=31383] ppid=31382 vsize=13267208 CPUtime=6.2 cores=0,2,4,6,8,10,12,14
/proc/31383/stat : 31383 (java) S 31382 31382 16473 0 -1 1077944320 14725 0 0 0 480 140 0 0 20 0 20 0 4037350 13585620992 221719 33554432000 4194304 4196468 140725853446176 140725853428720 139845552471799 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
/proc/31383/statm: 3316802 221719 3226 1 0 3304035 0
[pid=31383/tid=31384] ppid=31382 vsize=13267208 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31384/stat : 31384 (java) R 31382 31382 16473 0 -1 4202560 6809 0 0 0 265 16 0 0 20 0 20 0 4037350 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845556709400 139845161763486 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31386] ppid=31382 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31386/stat : 31386 (java) S 31382 31382 16473 0 -1 1077944384 393 0 0 0 9 15 0 0 20 0 20 0 4037351 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845484607760 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31387] ppid=31382 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31387/stat : 31387 (java) S 31382 31382 16473 0 -1 1077944384 158 0 0 0 8 16 0 0 20 0 20 0 4037351 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845483555216 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31388] ppid=31382 vsize=13267208 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31388/stat : 31388 (java) S 31382 31382 16473 0 -1 1077944384 109 0 0 0 7 14 0 0 20 0 20 0 4037351 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845482502672 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31389] ppid=31382 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31389/stat : 31389 (java) S 31382 31382 16473 0 -1 1077944384 119 0 0 0 9 14 0 0 20 0 20 0 4037351 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845481450128 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31390] ppid=31382 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31390/stat : 31390 (java) S 31382 31382 16473 0 -1 1077944384 143 0 0 0 10 14 0 0 20 0 20 0 4037351 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845480397584 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31391] ppid=31382 vsize=13267208 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31391/stat : 31391 (java) S 31382 31382 16473 0 -1 1077944384 102 0 0 0 6 14 0 0 20 0 20 0 4037351 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845479345040 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31392] ppid=31382 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31392/stat : 31392 (java) S 31382 31382 16473 0 -1 1077944384 154 0 0 0 7 17 0 0 20 0 20 0 4037351 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845144906768 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31393] ppid=31382 vsize=13267208 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31393/stat : 31393 (java) S 31382 31382 16473 0 -1 1077944384 131 0 0 0 6 14 0 0 20 0 20 0 4037351 13585620992 221719 33554432000 4194304 4196468 140725853446176 139845143854224 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31394] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31394/stat : 31394 (java) S 31382 31382 16473 0 -1 1077944384 510 0 0 0 0 0 0 0 20 0 20 0 4037353 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844880418800 139845552482946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31395] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31395/stat : 31395 (java) S 31382 31382 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4037353 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844879365088 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31396] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31396/stat : 31396 (java) S 31382 31382 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4037354 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844878312448 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31397] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31397/stat : 31397 (java) S 31382 31382 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4037357 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844877261008 139845552490395 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31398] ppid=31382 vsize=13267208 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31398/stat : 31398 (java) S 31382 31382 16473 0 -1 1077944384 1296 0 0 0 43 0 0 0 20 0 20 0 4037357 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844876208624 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31399] ppid=31382 vsize=13267208 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31399/stat : 31399 (java) S 31382 31382 16473 0 -1 1077944384 1284 0 0 0 36 0 0 0 20 0 20 0 4037357 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844875156080 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31400] ppid=31382 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31400/stat : 31400 (java) S 31382 31382 16473 0 -1 1077944384 946 0 0 0 39 0 0 0 20 0 20 0 4037357 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844806241008 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31401] ppid=31382 vsize=13267208 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31401/stat : 31401 (java) S 31382 31382 16473 0 -1 1077944384 1274 0 0 0 29 0 0 0 20 0 20 0 4037357 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844805188464 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31402] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31402/stat : 31402 (java) S 31382 31382 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4037357 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844804135136 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31403] ppid=31382 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31403/stat : 31403 (java) S 31382 31382 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4037357 13585620992 221719 33554432000 4194304 4196468 140725853446176 139844803082672 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 13276720
[startup+6.30078 s]
/proc/loadavg: 7.98 12.02 13.53 19/284 31403
/proc/meminfo: memFree=21021316/32770624 swapFree=5736/257920
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
[pid=31383] ppid=31382 vsize=13269256 CPUtime=12.31 cores=0,2,4,6,8,10,12,14
/proc/31383/stat : 31383 (java) S 31382 31382 16473 0 -1 1077944320 23536 0 0 0 950 281 0 0 20 0 20 0 4037350 13587718144 381169 33554432000 4194304 4196468 140725853446176 140725853428720 139845552471799 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
/proc/31383/statm: 3317314 381169 3233 1 0 3304547 0
[pid=31383/tid=31384] ppid=31382 vsize=13269256 CPUtime=5.67 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31384/stat : 31384 (java) R 31382 31382 16473 0 -1 4202560 9540 0 0 0 546 21 0 0 20 0 20 0 4037350 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845556708728 139845158904624 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31386] ppid=31382 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31386/stat : 31386 (java) S 31382 31382 16473 0 -1 1077944384 642 0 0 0 25 30 0 0 20 0 20 0 4037351 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845484607760 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31387] ppid=31382 vsize=13269256 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31387/stat : 31387 (java) S 31382 31382 16473 0 -1 1077944384 324 0 0 0 24 32 0 0 20 0 20 0 4037351 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845483555216 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31388] ppid=31382 vsize=13269256 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31388/stat : 31388 (java) S 31382 31382 16473 0 -1 1077944384 271 0 0 0 20 30 0 0 20 0 20 0 4037351 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845482502672 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31389] ppid=31382 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31389/stat : 31389 (java) S 31382 31382 16473 0 -1 1077944384 310 0 0 0 24 29 0 0 20 0 20 0 4037351 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845481450128 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31390] ppid=31382 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31390/stat : 31390 (java) S 31382 31382 16473 0 -1 1077944384 543 0 0 0 25 32 0 0 20 0 20 0 4037351 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845480397584 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31391] ppid=31382 vsize=13269256 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31391/stat : 31391 (java) S 31382 31382 16473 0 -1 1077944384 367 0 0 0 21 31 0 0 20 0 20 0 4037351 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845479345040 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31392] ppid=31382 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31392/stat : 31392 (java) S 31382 31382 16473 0 -1 1077944384 389 0 0 0 22 35 0 0 20 0 20 0 4037351 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845144906768 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31393] ppid=31382 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31393/stat : 31393 (java) S 31382 31382 16473 0 -1 1077944384 375 0 0 0 21 32 0 0 20 0 20 0 4037351 13587718144 381169 33554432000 4194304 4196468 140725853446176 139845143854224 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31394] ppid=31382 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31394/stat : 31394 (java) S 31382 31382 16473 0 -1 1077944384 1437 0 0 0 1 0 0 0 20 0 20 0 4037353 13587718144 381169 33554432000 4194304 4196468 140725853446176 139844880418800 139845552482946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31395] ppid=31382 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31395/stat : 31395 (java) S 31382 31382 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4037353 13587718144 381169 33554432000 4194304 4196468 140725853446176 139844879365088 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31396] ppid=31382 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31396/stat : 31396 (java) S 31382 31382 16473 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4037354 13587718144 381169 33554432000 4194304 4196468 140725853446176 139844878312448 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31397] ppid=31382 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31397/stat : 31397 (java) S 31382 31382 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4037357 13587718144 381169 33554432000 4194304 4196468 140725853446176 139844877261008 139845552490395 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
################
# More data... #
################
/proc/31383/task/31395/stat : 31395 (java) S 31382 31382 16473 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4037353 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844879365088 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31396] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31396/stat : 31396 (java) S 31382 31382 16473 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 4037354 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844878312448 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31397] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31397/stat : 31397 (java) S 31382 31382 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844877261008 139845552490395 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31398] ppid=31382 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31398/stat : 31398 (java) S 31382 31382 16473 0 -1 1077944384 12859 0 0 0 261 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844876208624 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31399] ppid=31382 vsize=13801768 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31399/stat : 31399 (java) S 31382 31382 16473 0 -1 1077944384 13579 0 0 0 297 3 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844875156080 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31400] ppid=31382 vsize=13801768 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31400/stat : 31400 (java) S 31382 31382 16473 0 -1 1077944384 8815 0 0 0 244 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844806241008 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31401] ppid=31382 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31401/stat : 31401 (java) S 31382 31382 16473 0 -1 1077944384 8890 0 0 0 80 3 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844805188464 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31402] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31402/stat : 31402 (java) S 31382 31382 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844804135136 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31403] ppid=31382 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31403/stat : 31403 (java) S 31382 31382 16473 0 -1 1077944384 2348 0 0 0 4 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844803082672 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31711] ppid=31382 vsize=13801768 CPUtime=67.62 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31711/stat : 31711 (java) R 31382 31382 16473 0 -1 4202560 1838 0 0 0 6762 0 0 0 20 0 28 0 4041732 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844795566728 139845161165708 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31712] ppid=31382 vsize=13801768 CPUtime=67.54 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31712/stat : 31712 (java) R 31382 31382 16473 0 -1 4202560 1070 0 0 0 6754 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844794515192 139845161165570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31713] ppid=31382 vsize=13801768 CPUtime=66.67 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31713/stat : 31713 (java) R 31382 31382 16473 0 -1 4202560 1578 0 0 0 6667 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844793462640 139845161165728 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31714] ppid=31382 vsize=13801768 CPUtime=67.54 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31714/stat : 31714 (java) R 31382 31382 16473 0 -1 4202560 1343 0 0 0 6754 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844792410104 139845161221225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31715] ppid=31382 vsize=13801768 CPUtime=67.68 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31715/stat : 31715 (java) R 31382 31382 16473 0 -1 4202560 931 0 0 0 6768 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844791357560 139845164269884 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31716] ppid=31382 vsize=13801768 CPUtime=66.82 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31716/stat : 31716 (java) R 31382 31382 16473 0 -1 4202560 846 0 0 0 6682 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844790305016 139845161165570 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31717] ppid=31382 vsize=13801768 CPUtime=67.51 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31717/stat : 31717 (java) R 31382 31382 16473 0 -1 4202560 1242 0 0 0 6751 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844789251688 139845164268354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31718] ppid=31382 vsize=13801768 CPUtime=67.96 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31718/stat : 31718 (java) R 31382 31382 16473 0 -1 4202560 1140 0 0 0 6796 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844788198904 139845161165608 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
Current children cumulated CPU time (s) 636.72
Current children cumulated vsize (KiB) 13811280
[startup+112.601 s]
/proc/loadavg: 13.27 12.28 13.43 17/300 31743
/proc/meminfo: memFree=26547296/32770624 swapFree=5736/258120
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
[pid=31383] ppid=31382 vsize=13801768 CPUtime=638.32 cores=0,2,4,6,8,10,12,14
/proc/31383/stat : 31383 (java) S 31382 31382 16473 0 -1 1077944320 112523 0 0 0 62864 968 0 0 20 0 28 0 4037350 14133010432 1278184 33554432000 4194304 4196468 140725853446176 140725853428720 139845552471799 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
/proc/31383/statm: 3450442 1278184 3278 1 0 3437675 0
[pid=31383/tid=31384] ppid=31382 vsize=13801768 CPUtime=35.44 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31384/stat : 31384 (java) S 31382 31382 16473 0 -1 1077944384 19783 0 0 0 3495 49 0 0 20 0 28 0 4037350 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845556712576 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31386] ppid=31382 vsize=13801768 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31386/stat : 31386 (java) S 31382 31382 16473 0 -1 1077944384 3591 0 0 0 543 100 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845484607760 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31387] ppid=31382 vsize=13801768 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31387/stat : 31387 (java) S 31382 31382 16473 0 -1 1077944384 3412 0 0 0 521 111 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845483555216 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31388] ppid=31382 vsize=13801768 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31388/stat : 31388 (java) S 31382 31382 16473 0 -1 1077944384 2778 0 0 0 507 114 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845482502672 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31389] ppid=31382 vsize=13801768 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31389/stat : 31389 (java) S 31382 31382 16473 0 -1 1077944384 2613 0 0 0 525 113 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845481450128 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31390] ppid=31382 vsize=13801768 CPUtime=6.42 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31390/stat : 31390 (java) S 31382 31382 16473 0 -1 1077944384 3452 0 0 0 542 100 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845480397584 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31391] ppid=31382 vsize=13801768 CPUtime=6.41 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31391/stat : 31391 (java) S 31382 31382 16473 0 -1 1077944384 3827 0 0 0 528 113 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845479345040 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31392] ppid=31382 vsize=13801768 CPUtime=6.34 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31392/stat : 31392 (java) S 31382 31382 16473 0 -1 1077944384 2913 0 0 0 508 126 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845144906768 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31393] ppid=31382 vsize=13801768 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31393/stat : 31393 (java) S 31382 31382 16473 0 -1 1077944384 3979 0 0 0 518 120 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845143854224 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31394] ppid=31382 vsize=13801768 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31394/stat : 31394 (java) S 31382 31382 16473 0 -1 1077944384 8268 0 0 0 184 2 0 0 20 0 28 0 4037353 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844880418800 139845552482946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31395] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31395/stat : 31395 (java) S 31382 31382 16473 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4037353 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844879365088 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31396] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31396/stat : 31396 (java) S 31382 31382 16473 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 4037354 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844878312448 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31397] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31397/stat : 31397 (java) S 31382 31382 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844877261008 139845552490395 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31398] ppid=31382 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31398/stat : 31398 (java) S 31382 31382 16473 0 -1 1077944384 12859 0 0 0 261 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844876208624 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31399] ppid=31382 vsize=13801768 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31399/stat : 31399 (java) S 31382 31382 16473 0 -1 1077944384 13579 0 0 0 297 3 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844875156080 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31400] ppid=31382 vsize=13801768 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31400/stat : 31400 (java) S 31382 31382 16473 0 -1 1077944384 8815 0 0 0 244 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844806241008 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31401] ppid=31382 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31401/stat : 31401 (java) S 31382 31382 16473 0 -1 1077944384 8890 0 0 0 80 3 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844805188464 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31402] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31402/stat : 31402 (java) S 31382 31382 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844804135136 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31403] ppid=31382 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31403/stat : 31403 (java) S 31382 31382 16473 0 -1 1077944384 2348 0 0 0 4 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844803082672 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31711] ppid=31382 vsize=13801768 CPUtime=67.82 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31711/stat : 31711 (java) R 31382 31382 16473 0 -1 4202560 1838 0 0 0 6782 0 0 0 20 0 28 0 4041732 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844795566728 139845164268289 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31712] ppid=31382 vsize=13801768 CPUtime=67.74 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31712/stat : 31712 (java) R 31382 31382 16473 0 -1 4202560 1070 0 0 0 6774 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844794515192 139845161166480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31713] ppid=31382 vsize=13801768 CPUtime=66.87 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31713/stat : 31713 (java) R 31382 31382 16473 0 -1 4202560 1578 0 0 0 6687 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844793462640 139845164268393 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31714] ppid=31382 vsize=13801768 CPUtime=67.74 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31714/stat : 31714 (java) R 31382 31382 16473 0 -1 4202560 1343 0 0 0 6774 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844792410104 139845160654149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31715] ppid=31382 vsize=13801768 CPUtime=67.88 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31715/stat : 31715 (java) R 31382 31382 16473 0 -1 4202560 933 0 0 0 6788 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844791357560 139845161166467 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31716] ppid=31382 vsize=13801768 CPUtime=67.02 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31716/stat : 31716 (java) R 31382 31382 16473 0 -1 4202560 846 0 0 0 6702 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844790305016 139845164268331 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31717] ppid=31382 vsize=13801768 CPUtime=67.71 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31717/stat : 31717 (java) R 31382 31382 16473 0 -1 4202560 1244 0 0 0 6771 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844789251688 139845164266593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31718] ppid=31382 vsize=13801768 CPUtime=68.16 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31718/stat : 31718 (java) R 31382 31382 16473 0 -1 4202560 1140 0 0 0 6816 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844788198904 139845164269841 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
Current children cumulated CPU time (s) 638.32
Current children cumulated vsize (KiB) 13811280
[startup+112.702 s]
/proc/loadavg: 13.27 12.28 13.43 17/300 31743
/proc/meminfo: memFree=26547296/32770624 swapFree=5736/258120
[pid=31382] ppid=31379 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31382/stat : 31382 (xcsp3-exec) S 31379 31382 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4037349 9740288 346 33554432000 4194304 5098028 140722199144848 140722199142952 140063154721404 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16285696 140722199151758 140722199151968 140722199151968 140722199154667 0
/proc/31382/statm: 2378 346 289 221 0 87 0
[pid=31383] ppid=31382 vsize=13801768 CPUtime=639.12 cores=0,2,4,6,8,10,12,14
/proc/31383/stat : 31383 (java) S 31382 31382 16473 0 -1 1077944320 112525 0 0 0 62944 968 0 0 20 0 28 0 4037350 14133010432 1278184 33554432000 4194304 4196468 140725853446176 140725853428720 139845552471799 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
/proc/31383/statm: 3450442 1278184 3278 1 0 3437675 0
[pid=31383/tid=31384] ppid=31382 vsize=13801768 CPUtime=35.44 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31384/stat : 31384 (java) S 31382 31382 16473 0 -1 1077944384 19783 0 0 0 3495 49 0 0 20 0 28 0 4037350 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845556712576 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31386] ppid=31382 vsize=13801768 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31386/stat : 31386 (java) S 31382 31382 16473 0 -1 1077944384 3591 0 0 0 543 100 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845484607760 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31387] ppid=31382 vsize=13801768 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31387/stat : 31387 (java) S 31382 31382 16473 0 -1 1077944384 3412 0 0 0 521 111 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845483555216 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31388] ppid=31382 vsize=13801768 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31388/stat : 31388 (java) S 31382 31382 16473 0 -1 1077944384 2778 0 0 0 507 114 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845482502672 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31389] ppid=31382 vsize=13801768 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31389/stat : 31389 (java) S 31382 31382 16473 0 -1 1077944384 2613 0 0 0 525 113 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845481450128 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31390] ppid=31382 vsize=13801768 CPUtime=6.42 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31390/stat : 31390 (java) S 31382 31382 16473 0 -1 1077944384 3452 0 0 0 542 100 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845480397584 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31391] ppid=31382 vsize=13801768 CPUtime=6.41 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31391/stat : 31391 (java) S 31382 31382 16473 0 -1 1077944384 3827 0 0 0 528 113 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845479345040 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31392] ppid=31382 vsize=13801768 CPUtime=6.34 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31392/stat : 31392 (java) S 31382 31382 16473 0 -1 1077944384 2913 0 0 0 508 126 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845144906768 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31393] ppid=31382 vsize=13801768 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31393/stat : 31393 (java) S 31382 31382 16473 0 -1 1077944384 3979 0 0 0 518 120 0 0 20 0 28 0 4037351 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139845143854224 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31394] ppid=31382 vsize=13801768 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31394/stat : 31394 (java) S 31382 31382 16473 0 -1 1077944384 8268 0 0 0 184 2 0 0 20 0 28 0 4037353 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844880418800 139845552482946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31395] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31395/stat : 31395 (java) S 31382 31382 16473 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 4037353 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844879365088 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31396] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31396/stat : 31396 (java) S 31382 31382 16473 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 4037354 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844878312448 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31397] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31397/stat : 31397 (java) S 31382 31382 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844877261008 139845552490395 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31398] ppid=31382 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31398/stat : 31398 (java) S 31382 31382 16473 0 -1 1077944384 12859 0 0 0 261 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844876208624 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31399] ppid=31382 vsize=13801768 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31399/stat : 31399 (java) S 31382 31382 16473 0 -1 1077944384 13579 0 0 0 297 3 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844875156080 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31400] ppid=31382 vsize=13801768 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31400/stat : 31400 (java) S 31382 31382 16473 0 -1 1077944384 8815 0 0 0 244 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844806241008 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31401] ppid=31382 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31401/stat : 31401 (java) S 31382 31382 16473 0 -1 1077944384 8890 0 0 0 80 3 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844805188464 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31402] ppid=31382 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31402/stat : 31402 (java) S 31382 31382 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844804135136 139845552482005 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31403] ppid=31382 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31403/stat : 31403 (java) S 31382 31382 16473 0 -1 1077944384 2348 0 0 0 4 2 0 0 20 0 28 0 4037357 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844803082672 139845552482946 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31711] ppid=31382 vsize=13801768 CPUtime=67.92 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31711/stat : 31711 (java) R 31382 31382 16473 0 -1 4202560 1838 0 0 0 6792 0 0 0 20 0 28 0 4041732 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844795566728 139845160654154 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31712] ppid=31382 vsize=13801768 CPUtime=67.84 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31712/stat : 31712 (java) R 31382 31382 16473 0 -1 4202560 1070 0 0 0 6784 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844794515192 139845164268627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31713] ppid=31382 vsize=13801768 CPUtime=66.97 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31713/stat : 31713 (java) R 31382 31382 16473 0 -1 4202560 1580 0 0 0 6697 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844793462640 139845160654115 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31714] ppid=31382 vsize=13801768 CPUtime=67.84 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31714/stat : 31714 (java) R 31382 31382 16473 0 -1 4202560 1343 0 0 0 6784 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844792410104 139845165305497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31715] ppid=31382 vsize=13801768 CPUtime=67.98 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31715/stat : 31715 (java) R 31382 31382 16473 0 -1 4202560 933 0 0 0 6798 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844791357560 139845164268445 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31716] ppid=31382 vsize=13801768 CPUtime=67.12 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31716/stat : 31716 (java) R 31382 31382 16473 0 -1 4202560 846 0 0 0 6712 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844790305016 139845164269540 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31717] ppid=31382 vsize=13801768 CPUtime=67.81 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31717/stat : 31717 (java) R 31382 31382 16473 0 -1 4202560 1244 0 0 0 6781 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844789251688 139845164268349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
[pid=31383/tid=31718] ppid=31382 vsize=13801768 CPUtime=68.26 cores=0,2,4,6,8,10,12,14
/proc/31383/task/31718/stat : 31718 (java) R 31382 31382 16473 0 -1 4202560 1140 0 0 0 6826 0 0 0 20 0 28 0 4041733 14133010432 1278184 33554432000 4194304 4196468 140725853446176 139844788198904 139845164266361 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 23318528 140725853451452 140725853451628 140725853451628 140725853454287 0
Current children cumulated CPU time (s) 639.12
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 112.796
CPU time (s): 639.666
CPU user time (s): 629.951
CPU system time (s): 9.71514
CPU usage (%): 567.098
Max. virtual memory (cumulated for all children) (KiB): 13815916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 629.951
system time used= 9.71514
maximum resident set size= 5127128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115013
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= 9022
involuntary context switches= 49105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07204 second user time and 1.54564 second system time
The end