runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12024 MiB free)
memory of node 1: 16384 MiB (12130 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284359-1503212806/watcher-4284359-1503212806 -o /tmp/evaluation-result-4284359-1503212806/solver-4284359-1503212806 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503208953-13390 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 74572613 HOME/instance-4284359-1503212806.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15789, runsolver pid=15786
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.98 1.87 1.79 4/218 15805
/proc/meminfo: memFree=24718152/32770624 swapFree=67108860/67108860
[pid=15789] ppid=15786 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15789/stat : 15789 (xcsp3-exec) S 15786 15789 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154368272 9740288 346 33554432000 4194304 5098028 140735422603888 140735422601992 140520630018684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21856256 140735422612598 140735422612800 140735422612800 140735422615531 0
/proc/15789/statm: 2378 346 289 221 0 87 0
[pid=15791] ppid=15789 vsize=13978596 memory=28276 CPUtime=0.12 cores=1,3,5,7
/proc/15791/stat : 15791 (java) S 15789 15789 13358 0 -1 1077944320 5434 0 0 0 11 1 0 0 20 0 15 0 154368272 14314082304 7069 33554432000 4194304 4196468 140725293074144 140725293056688 140251501215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
/proc/15791/statm: 3494649 7069 2861 1 0 3482966 0
[pid=15791/tid=15792] ppid=15789 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/15791/task/15792/stat : 15792 (java) R 15789 15789 13358 0 -1 4202560 3445 0 0 0 9 0 0 0 20 0 15 0 154368273 14314082304 7069 33554432000 4194304 4196468 140725293074144 140251505448752 140251501227414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15793] ppid=15789 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15793/stat : 15793 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14314082304 7069 33554432000 4194304 4196468 140725293074144 140251431303440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15794] ppid=15789 vsize=13978596 memory=140063134111360 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15794/stat : 15794 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14314082304 7069 33554432000 4194304 4196468 140725293074144 140251430250896 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15795] ppid=15789 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15795/stat : 15795 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14314082304 7069 33554432000 4194304 4196468 140725293074144 140251429198352 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15796] ppid=15789 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15796/stat : 15796 (java) S 15789 15789 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154368274 14314082304 7069 33554432000 4194304 4196468 140725293074144 140251428145808 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15797] ppid=15789 vsize=13978596 memory=140063134111360 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15797/stat : 15797 (java) S 15789 15789 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154368275 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250974751216 140251501226626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15798] ppid=15789 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15798/stat : 15798 (java) S 15789 15789 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154368275 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250973697440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15799] ppid=15789 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15799/stat : 15799 (java) S 15789 15789 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154368275 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250972644848 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15800] ppid=15789 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15800/stat : 15800 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250971593424 140251501234075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15801] ppid=15789 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15801/stat : 15801 (java) S 15789 15789 13358 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 154368278 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250970540016 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15802] ppid=15789 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15802/stat : 15802 (java) S 15789 15789 13358 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 154368278 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250969487472 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15803] ppid=15789 vsize=13978596 memory=140063134111360 CPUtime=0.01 cores=1,3,5,7
/proc/15791/task/15803/stat : 15803 (java) R 15789 15789 13358 0 -1 4202560 281 0 0 0 1 0 0 0 20 0 15 0 154368278 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250968434928 140251482453040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15804] ppid=15789 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15804/stat : 15804 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250967382624 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15805] ppid=15789 vsize=13978596 memory=140063134111360 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15805/stat : 15805 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368278 14314082304 7069 33554432000 4194304 4196468 140725293074144 140250966330160 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29660 KiB
[startup+0.210764 s]*
/proc/loadavg: 1.98 1.87 1.79 3/218 15805
/proc/meminfo: memFree=24706972/32770624 swapFree=67108860/67108860
[pid=15789] ppid=15786 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15789/stat : 15789 (xcsp3-exec) S 15786 15789 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154368272 9740288 346 33554432000 4194304 5098028 140735422603888 140735422601992 140520630018684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21856256 140735422612598 140735422612800 140735422612800 140735422615531 0
/proc/15789/statm: 2378 346 289 221 0 87 0
[pid=15791] ppid=15789 vsize=13982884 memory=40712 CPUtime=0.33 cores=1,3,5,7
/proc/15791/stat : 15791 (java) S 15789 15789 13358 0 -1 1077944320 8198 0 0 0 31 2 0 0 20 0 15 0 154368272 14318473216 10178 33554432000 4194304 4196468 140725293074144 140725293056688 140251501215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
/proc/15791/statm: 3495721 10178 3085 1 0 3482974 0
[pid=15791/tid=15792] ppid=15789 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/15791/task/15792/stat : 15792 (java) D 15789 15789 13358 0 -1 1077944384 5352 0 0 0 18 1 0 0 20 0 15 0 154368273 14318440448 10178 33554432000 4194304 4196468 140725293074144 140251505426272 140251493894701 0 4 0 16800975 18446744072101625380 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15793] ppid=15789 vsize=13982852 memory=2898 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15793/stat : 15793 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14318440448 10178 33554432000 4194304 4196468 140725293074144 140251431303440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15794] ppid=15789 vsize=13982884 memory=288370439285823104 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15794/stat : 15794 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14318473216 10178 33554432000 4194304 4196468 140725293074144 140251430250896 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15795] ppid=15789 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15795/stat : 15795 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14318473216 10178 33554432000 4194304 4196468 140725293074144 140251429198352 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15796] ppid=15789 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15796/stat : 15796 (java) S 15789 15789 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154368274 14318440448 10178 33554432000 4194304 4196468 140725293074144 140251428145808 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15797] ppid=15789 vsize=13982852 memory=140063134111360 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15797/stat : 15797 (java) S 15789 15789 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154368275 14318440448 10178 33554432000 4194304 4196468 140725293074144 140250974751216 140251501226626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15798] ppid=15789 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15798/stat : 15798 (java) S 15789 15789 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154368275 14318440448 10178 33554432000 4194304 4196468 140725293074144 140250973697440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15799] ppid=15789 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15799/stat : 15799 (java) S 15789 15789 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154368275 14318440448 10178 33554432000 4194304 4196468 140725293074144 140250972644848 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15800] ppid=15789 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15800/stat : 15800 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14318440448 10178 33554432000 4194304 4196468 140725293074144 140250971593424 140251501234075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15801] ppid=15789 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15791/task/15801/stat : 15801 (java) S 15789 15789 13358 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 154368278 14318440448 10178 33554432000 4194304 4196468 140725293074144 140250970540016 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15802] ppid=15789 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15791/task/15802/stat : 15802 (java) S 15789 15789 13358 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 154368278 14318440448 10178 33554432000 4194304 4196468 140725293074144 140250969487472 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15803] ppid=15789 vsize=13982884 memory=140063134111360 CPUtime=0.08 cores=1,3,5,7
/proc/15791/task/15803/stat : 15803 (java) S 15789 15789 13358 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 15 0 154368278 14318473216 10178 33554432000 4194304 4196468 140725293074144 140250968434928 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15804] ppid=15789 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15804/stat : 15804 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14318473216 10178 33554432000 4194304 4196468 140725293074144 140250967382624 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15805] ppid=15789 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15805/stat : 15805 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368278 14318440448 10178 33554432000 4194304 4196468 140725293074144 140250966330160 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 42096 KiB
[startup+0.320525 s]*
/proc/loadavg: 1.98 1.87 1.79 6/218 15805
/proc/meminfo: memFree=24700148/32770624 swapFree=67108860/67108860
[pid=15789] ppid=15786 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15789/stat : 15789 (xcsp3-exec) S 15786 15789 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154368272 9740288 346 33554432000 4194304 5098028 140735422603888 140735422601992 140520630018684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21856256 140735422612598 140735422612800 140735422612800 140735422615531 0
/proc/15789/statm: 2378 346 289 221 0 87 0
[pid=15791] ppid=15789 vsize=13982852 memory=47592 CPUtime=0.54 cores=1,3,5,7
/proc/15791/stat : 15791 (java) S 15789 15789 13358 0 -1 1077944320 9015 0 0 0 51 3 0 0 20 0 15 0 154368272 14318440448 11898 33554432000 4194304 4196468 140725293074144 140725293056688 140251501215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
/proc/15791/statm: 3495713 11898 3116 1 0 3482966 0
[pid=15791/tid=15792] ppid=15789 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/15791/task/15792/stat : 15792 (java) R 15789 15789 13358 0 -1 4202560 5941 0 0 0 29 1 0 0 20 0 15 0 154368273 14318440448 11898 33554432000 4194304 4196468 140725293074144 140251505453504 140251501237405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15793] ppid=15789 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15793/stat : 15793 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14318440448 11898 33554432000 4194304 4196468 140725293074144 140251431303440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15794] ppid=15789 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15794/stat : 15794 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14318440448 11898 33554432000 4194304 4196468 140725293074144 140251430250896 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15795] ppid=15789 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15795/stat : 15795 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14318440448 11898 33554432000 4194304 4196468 140725293074144 140251429198352 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15796] ppid=15789 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15796/stat : 15796 (java) S 15789 15789 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154368274 14318440448 11898 33554432000 4194304 4196468 140725293074144 140251428145808 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15797] ppid=15789 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15797/stat : 15797 (java) S 15789 15789 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154368275 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250974751216 140251501226626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15798] ppid=15789 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15798/stat : 15798 (java) S 15789 15789 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154368275 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250973697440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15799] ppid=15789 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15799/stat : 15799 (java) S 15789 15789 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154368275 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250972644848 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15800] ppid=15789 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15800/stat : 15800 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250971593424 140251501234075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15801] ppid=15789 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/15791/task/15801/stat : 15801 (java) R 15789 15789 13358 0 -1 4202560 551 0 0 0 4 0 0 0 20 0 15 0 154368278 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250970529808 140251479662779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15802] ppid=15789 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15791/task/15802/stat : 15802 (java) R 15789 15789 13358 0 -1 1077944384 349 0 0 0 4 0 0 0 20 0 15 0 154368278 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250969487568 140251501225685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15803] ppid=15789 vsize=13982852 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/15791/task/15803/stat : 15803 (java) R 15789 15789 13358 0 -1 4202560 886 0 0 0 14 0 0 0 20 0 15 0 154368278 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250968430688 140251501227414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15804] ppid=15789 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15804/stat : 15804 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250967382624 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15805] ppid=15789 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15805/stat : 15805 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368278 14318440448 11898 33554432000 4194304 4196468 140725293074144 140250966330160 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48976 KiB
[startup+0.701526 s]
/proc/loadavg: 1.98 1.87 1.79 6/218 15805
/proc/meminfo: memFree=24672728/32770624 swapFree=67108860/67108860
[pid=15789] ppid=15786 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15789/stat : 15789 (xcsp3-exec) S 15786 15789 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154368272 9740288 346 33554432000 4194304 5098028 140735422603888 140735422601992 140520630018684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21856256 140735422612598 140735422612800 140735422612800 140735422615531 0
/proc/15789/statm: 2378 346 289 221 0 87 0
[pid=15791] ppid=15789 vsize=13984976 memory=95044 CPUtime=1.8 cores=1,3,5,7
/proc/15791/stat : 15791 (java) S 15789 15789 13358 0 -1 1077944320 13864 0 0 0 174 6 0 0 20 0 15 0 154368272 14320615424 23761 33554432000 4194304 4196468 140725293074144 140725293056688 140251501215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
/proc/15791/statm: 3496244 23761 3203 1 0 3483478 0
[pid=15791/tid=15792] ppid=15789 vsize=13984976 memory=33 CPUtime=0.65 cores=1,3,5,7
/proc/15791/task/15792/stat : 15792 (java) R 15789 15789 13358 0 -1 4202560 6634 0 0 0 63 2 0 0 20 0 15 0 154368273 14320615424 23761 33554432000 4194304 4196468 140725293074144 140251505454424 140251100163354 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15793] ppid=15789 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15793/stat : 15793 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14320615424 23761 33554432000 4194304 4196468 140725293074144 140251431303440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15794] ppid=15789 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15794/stat : 15794 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14320615424 23761 33554432000 4194304 4196468 140725293074144 140251430250896 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15795] ppid=15789 vsize=13984976 memory=42988 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15795/stat : 15795 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368274 14320615424 23761 33554432000 4194304 4196468 140725293074144 140251429198352 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15796] ppid=15789 vsize=13984976 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15796/stat : 15796 (java) S 15789 15789 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154368274 14320615424 23761 33554432000 4194304 4196468 140725293074144 140251428145808 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15797] ppid=15789 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15797/stat : 15797 (java) S 15789 15789 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154368275 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250974751216 140251501226626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15798] ppid=15789 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15798/stat : 15798 (java) S 15789 15789 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154368275 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250973697440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15799] ppid=15789 vsize=13984976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15799/stat : 15799 (java) S 15789 15789 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154368275 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250972644848 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15800] ppid=15789 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15800/stat : 15800 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250971593424 140251501234075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15801] ppid=15789 vsize=13984976 memory=796 CPUtime=0.38 cores=1,3,5,7
/proc/15791/task/15801/stat : 15801 (java) R 15789 15789 13358 0 -1 4202560 2050 0 0 0 37 1 0 0 20 0 15 0 154368278 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250970525880 140251484715876 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15802] ppid=15789 vsize=13984976 memory=10088 CPUtime=0.35 cores=1,3,5,7
/proc/15791/task/15802/stat : 15802 (java) R 15789 15789 13358 0 -1 4202560 1415 0 0 0 35 0 0 0 20 0 15 0 154368278 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250969475824 140251501229361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15803] ppid=15789 vsize=13984976 memory=1948 CPUtime=0.39 cores=1,3,5,7
/proc/15791/task/15803/stat : 15803 (java) R 15789 15789 13358 0 -1 4202560 2459 0 0 0 38 1 0 0 20 0 15 0 154368278 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250968434928 140251485471377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15804] ppid=15789 vsize=13984976 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15804/stat : 15804 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250967382624 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15805] ppid=15789 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15805/stat : 15805 (java) S 15789 15789 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154368278 14320615424 23761 33554432000 4194304 4196468 140725293074144 140250966330160 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 96428 KiB
[startup+1.5009 s]
/proc/loadavg: 2.15 1.91 1.80 6/218 15805
/proc/meminfo: memFree=24591164/32770624 swapFree=67108860/67108860
[pid=15789] ppid=15786 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15789/stat : 15789 (xcsp3-exec) S 15786 15789 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154368272 9740288 346 33554432000 4194304 5098028 140735422603888 140735422601992 140520630018684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21856256 140735422612598 140735422612800 140735422612800 140735422615531 0
/proc/15789/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
[pid=15791/tid=15797] ppid=15789 vsize=13987024 memory=69999175666410 CPUtime=0.02 cores=1,3,5,7
/proc/15791/task/15797/stat : 15797 (java) S 15789 15789 13358 0 -1 1077944384 1005 0 0 0 2 0 0 0 20 0 15 0 154368275 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250974751216 140251501226626 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15798] ppid=15789 vsize=13987024 memory=69999175666410 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15798/stat : 15798 (java) S 15789 15789 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154368275 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250973697504 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15799] ppid=15789 vsize=13987024 memory=69999175666410 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15799/stat : 15799 (java) S 15789 15789 13358 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154368275 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250972644848 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15800] ppid=15789 vsize=13987024 memory=56 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15800/stat : 15800 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250971593424 140251501234075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15801] ppid=15789 vsize=13987024 memory=6442794435744392292 CPUtime=4.5 cores=1,3,5,7
/proc/15791/task/15801/stat : 15801 (java) S 15789 15789 13358 0 -1 1077944384 20885 0 0 0 447 3 0 0 20 0 15 0 154368278 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250970540016 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15802] ppid=15789 vsize=13987024 memory=7158868975519492196 CPUtime=3.86 cores=1,3,5,7
/proc/15791/task/15802/stat : 15802 (java) S 15789 15789 13358 0 -1 1077944384 16677 0 0 0 384 2 0 0 20 0 15 0 154368278 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250969487472 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15803] ppid=15789 vsize=13987024 memory=1384 CPUtime=0.99 cores=1,3,5,7
/proc/15791/task/15803/stat : 15803 (java) S 15789 15789 13358 0 -1 1077944384 8258 0 0 0 97 2 0 0 20 0 15 0 154368278 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250968434928 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15804] ppid=15789 vsize=13987024 memory=440452 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15804/stat : 15804 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250967382624 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15805] ppid=15789 vsize=13987024 memory=4420 CPUtime=0.02 cores=1,3,5,7
/proc/15791/task/15805/stat : 15805 (java) S 15789 15789 13358 0 -1 1077944384 312 0 0 0 1 1 0 0 20 0 15 0 154368278 14322712576 146199 33554432000 4194304 4196468 140725293074144 140250966330160 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
Current children cumulated CPU time: 112.67 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 586180 KiB
[startup+162.301 s]
/proc/loadavg: 2.15 2.00 1.85 3/217 15962
/proc/meminfo: memFree=24450716/32770624 swapFree=67108860/67108860
[pid=15789] ppid=15786 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15789/stat : 15789 (xcsp3-exec) S 15786 15789 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154368272 9740288 346 33554432000 4194304 5098028 140735422603888 140735422601992 140520630018684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21856256 140735422612598 140735422612800 140735422612800 140735422615531 0
/proc/15789/statm: 2378 346 289 221 0 87 0
[pid=15791] ppid=15789 vsize=13987024 memory=638564 CPUtime=173.31 cores=1,3,5,7
/proc/15791/stat : 15791 (java) S 15789 15789 13358 0 -1 1077944320 79716 0 0 0 17276 55 0 0 20 0 15 0 154368272 14322712576 159641 33554432000 4194304 4196468 140725293074144 140725293056688 140251501215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
/proc/15791/statm: 3496756 159641 3266 1 0 3483990 0
[pid=15791/tid=15792] ppid=15789 vsize=13987024 memory=638564 CPUtime=161.68 cores=1,3,5,7
/proc/15791/task/15792/stat : 15792 (java) R 15789 15789 13358 0 -1 4202560 17156 0 0 0 16162 6 0 0 20 0 15 0 154368273 14322712576 159641 33554432000 4194304 4196468 140725293074144 140251505452048 140251107379742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15793] ppid=15789 vsize=13987024 memory=638564 CPUtime=0.51 cores=1,3,5,7
/proc/15791/task/15793/stat : 15793 (java) S 15789 15789 13358 0 -1 1077944384 2667 0 0 0 42 9 0 0 20 0 15 0 154368274 14322712576 159641 33554432000 4194304 4196468 140725293074144 140251431303440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15794] ppid=15789 vsize=13987024 memory=1384 CPUtime=0.51 cores=1,3,5,7
/proc/15791/task/15794/stat : 15794 (java) S 15789 15789 13358 0 -1 1077944384 2613 0 0 0 42 9 0 0 20 0 15 0 154368274 14322712576 159641 33554432000 4194304 4196468 140725293074144 140251430250896 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15795] ppid=15789 vsize=13987024 memory=638564 CPUtime=0.53 cores=1,3,5,7
/proc/15791/task/15795/stat : 15795 (java) S 15789 15789 13358 0 -1 1077944384 2664 0 0 0 44 9 0 0 20 0 15 0 154368274 14322712576 159641 33554432000 4194304 4196468 140725293074144 140251429198352 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15796] ppid=15789 vsize=13987024 memory=1384 CPUtime=0.52 cores=1,3,5,7
/proc/15791/task/15796/stat : 15796 (java) S 15789 15789 13358 0 -1 1077944384 1680 0 0 0 43 9 0 0 20 0 15 0 154368274 14322712576 159641 33554432000 4194304 4196468 140725293074144 140251428145808 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15797] ppid=15789 vsize=13987024 memory=638564 CPUtime=0.02 cores=1,3,5,7
/proc/15791/task/15797/stat : 15797 (java) S 15789 15789 13358 0 -1 1077944384 1463 0 0 0 2 0 0 0 20 0 15 0 154368275 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250974751216 140251501226626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15798] ppid=15789 vsize=13987024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15798/stat : 15798 (java) S 15789 15789 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154368275 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250973697504 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15799] ppid=15789 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15799/stat : 15799 (java) S 15789 15789 13358 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154368275 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250972644848 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15800] ppid=15789 vsize=13987024 memory=604632 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15800/stat : 15800 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250971593424 140251501234075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15801] ppid=15789 vsize=13987024 memory=1384 CPUtime=4.52 cores=1,3,5,7
/proc/15791/task/15801/stat : 15801 (java) S 15789 15789 13358 0 -1 1077944384 23072 0 0 0 449 3 0 0 20 0 15 0 154368278 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250970540016 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15802] ppid=15789 vsize=13987024 memory=1384 CPUtime=3.89 cores=1,3,5,7
/proc/15791/task/15802/stat : 15802 (java) S 15789 15789 13358 0 -1 1077944384 17783 0 0 0 387 2 0 0 20 0 15 0 154368278 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250969487472 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15803] ppid=15789 vsize=13987024 memory=622928 CPUtime=1 cores=1,3,5,7
/proc/15791/task/15803/stat : 15803 (java) S 15789 15789 13358 0 -1 1077944384 8869 0 0 0 98 2 0 0 20 0 15 0 154368278 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250968434928 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15804] ppid=15789 vsize=13987024 memory=570452 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15804/stat : 15804 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250967382624 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15805] ppid=15789 vsize=13987024 memory=1384 CPUtime=0.04 cores=1,3,5,7
/proc/15791/task/15805/stat : 15805 (java) S 15789 15789 13358 0 -1 1077944384 402 0 0 0 1 3 0 0 20 0 15 0 154368278 14322712576 159641 33554432000 4194304 4196468 140725293074144 140250966330160 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
Current children cumulated CPU time: 173.31 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 639948 KiB
[startup+222.301 s]
/proc/loadavg: 2.35 2.10 1.90 3/217 15963
/proc/meminfo: memFree=24227052/32770624 swapFree=67108860/67108860
[pid=15789] ppid=15786 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15789/stat : 15789 (xcsp3-exec) S 15786 15789 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154368272 9740288 346 33554432000 4194304 5098028 140735422603888 140735422601992 140520630018684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21856256 140735422612598 140735422612800 140735422612800 140735422615531 0
/proc/15789/statm: 2378 346 289 221 0 87 0
[pid=15791] ppid=15789 vsize=13987024 memory=666828 CPUtime=234.05 cores=1,3,5,7
/proc/15791/stat : 15791 (java) S 15789 15789 13358 0 -1 1077944320 87109 0 0 0 23345 60 0 0 20 0 15 0 154368272 14322712576 166707 33554432000 4194304 4196468 140725293074144 140725293056688 140251501215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
/proc/15791/statm: 3496756 166707 3266 1 0 3483990 0
[pid=15791/tid=15792] ppid=15789 vsize=13987024 memory=666828 CPUtime=221.55 cores=1,3,5,7
/proc/15791/task/15792/stat : 15792 (java) R 15789 15789 13358 0 -1 4202560 18337 0 0 0 22149 6 0 0 20 0 15 0 154368273 14322712576 166707 33554432000 4194304 4196468 140725293074144 140251505452032 140251107380013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15793] ppid=15789 vsize=13987024 memory=660056 CPUtime=0.63 cores=1,3,5,7
/proc/15791/task/15793/stat : 15793 (java) S 15789 15789 13358 0 -1 1077944384 2723 0 0 0 53 10 0 0 20 0 15 0 154368274 14322712576 166707 33554432000 4194304 4196468 140725293074144 140251431303440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15794] ppid=15789 vsize=13987024 memory=653408 CPUtime=0.63 cores=1,3,5,7
/proc/15791/task/15794/stat : 15794 (java) S 15789 15789 13358 0 -1 1077944384 2694 0 0 0 53 10 0 0 20 0 15 0 154368274 14322712576 166707 33554432000 4194304 4196468 140725293074144 140251430250896 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15795] ppid=15789 vsize=13987024 memory=660056 CPUtime=0.64 cores=1,3,5,7
/proc/15791/task/15795/stat : 15795 (java) S 15789 15789 13358 0 -1 1077944384 2720 0 0 0 55 9 0 0 20 0 15 0 154368274 14322712576 166707 33554432000 4194304 4196468 140725293074144 140251429198352 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15796] ppid=15789 vsize=13987024 memory=666828 CPUtime=0.64 cores=1,3,5,7
/proc/15791/task/15796/stat : 15796 (java) S 15789 15789 13358 0 -1 1077944384 1719 0 0 0 54 10 0 0 20 0 15 0 154368274 14322712576 166707 33554432000 4194304 4196468 140725293074144 140251428145808 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15797] ppid=15789 vsize=13987024 memory=666828 CPUtime=0.02 cores=1,3,5,7
/proc/15791/task/15797/stat : 15797 (java) S 15789 15789 13358 0 -1 1077944384 1472 0 0 0 2 0 0 0 20 0 15 0 154368275 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250974751216 140251501226626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15798] ppid=15789 vsize=13987024 memory=666828 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15798/stat : 15798 (java) S 15789 15789 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154368275 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250973697504 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15799] ppid=15789 vsize=13987024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15799/stat : 15799 (java) S 15789 15789 13358 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154368275 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250972644848 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15800] ppid=15789 vsize=13987024 memory=666828 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15800/stat : 15800 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250971593424 140251501234075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15801] ppid=15789 vsize=13987024 memory=1384 CPUtime=4.74 cores=1,3,5,7
/proc/15791/task/15801/stat : 15801 (java) S 15789 15789 13358 0 -1 1077944384 26419 0 0 0 471 3 0 0 20 0 15 0 154368278 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250970540016 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15802] ppid=15789 vsize=13987024 memory=4132 CPUtime=4.03 cores=1,3,5,7
/proc/15791/task/15802/stat : 15802 (java) S 15789 15789 13358 0 -1 1077944384 19294 0 0 0 401 2 0 0 20 0 15 0 154368278 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250969487472 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15803] ppid=15789 vsize=13987024 memory=42988 CPUtime=1.01 cores=1,3,5,7
/proc/15791/task/15803/stat : 15803 (java) S 15789 15789 13358 0 -1 1077944384 9944 0 0 0 99 2 0 0 20 0 15 0 154368278 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250968434928 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15804] ppid=15789 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15804/stat : 15804 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250967382624 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15805] ppid=15789 vsize=13987024 memory=666828 CPUtime=0.06 cores=1,3,5,7
/proc/15791/task/15805/stat : 15805 (java) S 15789 15789 13358 0 -1 1077944384 440 0 0 0 2 4 0 0 20 0 15 0 154368278 14322712576 166707 33554432000 4194304 4196468 140725293074144 140250966330160 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
Current children cumulated CPU time: 234.05 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 668212 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.27 2.09 1.90 3/217 15963
/proc/meminfo: memFree=24239748/32770624 swapFree=67108860/67108860
[pid=15789] ppid=15786 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/15789/stat : 15789 (xcsp3-exec) S 15786 15789 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154368272 9740288 346 33554432000 4194304 5098028 140735422603888 140735422601992 140520630018684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 21856256 140735422612598 140735422612800 140735422612800 140735422615531 0
/proc/15789/statm: 2378 346 289 221 0 87 0
[pid=15791] ppid=15789 vsize=13987024 memory=673984 CPUtime=251.87 cores=1,3,5,7
/proc/15791/stat : 15791 (java) S 15789 15789 13358 0 -1 1077944320 88469 0 0 0 25125 62 0 0 20 0 15 0 154368272 14322712576 168496 33554432000 4194304 4196468 140725293074144 140725293056688 140251501215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
/proc/15791/statm: 3496756 168496 3266 1 0 3483990 0
[pid=15791/tid=15792] ppid=15789 vsize=13987024 memory=6791534058613427641 CPUtime=239.22 cores=1,3,5,7
/proc/15791/task/15792/stat : 15792 (java) R 15789 15789 13358 0 -1 4202560 18789 0 0 0 23916 6 0 0 20 0 15 0 154368273 14322712576 168496 33554432000 4194304 4196468 140725293074144 140251505454832 140251107379525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15793] ppid=15789 vsize=13987024 memory=4872558044660077418 CPUtime=0.66 cores=1,3,5,7
/proc/15791/task/15793/stat : 15793 (java) S 15789 15789 13358 0 -1 1077944384 2783 0 0 0 56 10 0 0 20 0 15 0 154368274 14322712576 168496 33554432000 4194304 4196468 140725293074144 140251431303440 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15794] ppid=15789 vsize=13987024 memory=1236 CPUtime=0.67 cores=1,3,5,7
/proc/15791/task/15794/stat : 15794 (java) S 15789 15789 13358 0 -1 1077944384 3239 0 0 0 57 10 0 0 20 0 15 0 154368274 14322712576 168496 33554432000 4194304 4196468 140725293074144 140251430250896 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15795] ppid=15789 vsize=13987024 memory=960 CPUtime=0.68 cores=1,3,5,7
/proc/15791/task/15795/stat : 15795 (java) S 15789 15789 13358 0 -1 1077944384 2771 0 0 0 58 10 0 0 20 0 15 0 154368274 14322712576 168496 33554432000 4194304 4196468 140725293074144 140251429198352 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15796] ppid=15789 vsize=13987024 memory=2424 CPUtime=0.68 cores=1,3,5,7
/proc/15791/task/15796/stat : 15796 (java) S 15789 15789 13358 0 -1 1077944384 1757 0 0 0 58 10 0 0 20 0 15 0 154368274 14322712576 168496 33554432000 4194304 4196468 140725293074144 140251428145808 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15797] ppid=15789 vsize=13987024 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/15791/task/15797/stat : 15797 (java) S 15789 15789 13358 0 -1 1077944384 1686 0 0 0 2 0 0 0 20 0 15 0 154368275 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250974751216 140251501226626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15798] ppid=15789 vsize=13987024 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15798/stat : 15798 (java) S 15789 15789 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154368275 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250973697504 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15799] ppid=15789 vsize=13987024 memory=10088 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15799/stat : 15799 (java) S 15789 15789 13358 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154368275 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250972644848 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15800] ppid=15789 vsize=13987024 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15800/stat : 15800 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250971593424 140251501234075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15801] ppid=15789 vsize=13987024 memory=8584 CPUtime=4.74 cores=1,3,5,7
/proc/15791/task/15801/stat : 15801 (java) S 15789 15789 13358 0 -1 1077944384 26419 0 0 0 471 3 0 0 20 0 15 0 154368278 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250970540016 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15802] ppid=15789 vsize=13987024 memory=4616 CPUtime=4.03 cores=1,3,5,7
/proc/15791/task/15802/stat : 15802 (java) S 15789 15789 13358 0 -1 1077944384 19294 0 0 0 401 2 0 0 20 0 15 0 154368278 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250969487472 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15803] ppid=15789 vsize=13987024 memory=1720 CPUtime=1.01 cores=1,3,5,7
/proc/15791/task/15803/stat : 15803 (java) S 15789 15789 13358 0 -1 1077944384 9944 0 0 0 99 2 0 0 20 0 15 0 154368278 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250968434928 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15804] ppid=15789 vsize=13987024 memory=673984 CPUtime=0 cores=1,3,5,7
/proc/15791/task/15804/stat : 15804 (java) S 15789 15789 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154368278 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250967382624 140251501225685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
[pid=15791/tid=15805] ppid=15789 vsize=13987024 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/15791/task/15805/stat : 15805 (java) S 15789 15789 13358 0 -1 1077944384 440 0 0 0 2 4 0 0 20 0 15 0 154368278 14322712576 168496 33554432000 4194304 4196468 140725293074144 140250966330160 140251501226626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35041280 140725293077661 140725293077836 140725293077836 140725293080527 0
Current children cumulated CPU time: 251.87 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 675368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.026 s]
# the end of solver process 15789 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.269 s, system=0.636298 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.026
CPU time (s): 251.905
CPU user time (s): 251.269
CPU system time (s): 0.636298
CPU usage (%): 104.949
Max. virtual memory (cumulated for all children) (KiB): 13996852
Max. memory (cumulated for all children) (KiB): 675368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.269
system time used= 0.636298
maximum resident set size= 679116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9096
involuntary context switches= 237
# summary of solver processes directly reported to runsolver:
# pid: 15789
# total CPU time (s): 251.905
# total CPU user time (s): 251.269
# total CPU system time (s): 0.636298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43436 second user time and 2.34827 second system time
The end