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 (11170 MiB free)
  memory of node 1: 16384 MiB (11937 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284384-1503213694/watcher-4284384-1503213694 -o /tmp/evaluation-result-4284384-1503213694/solver-4284384-1503213694 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3840 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1193496914 HOME/instance-4284384-1503213694.xml 

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB
solver pid=6831, runsolver pid=6828


[startup+0.100167 s]*
/proc/loadavg: 1.74 1.65 1.74 3/217 6847
/proc/meminfo: memFree=23645500/32770624 swapFree=67108860/67108860
[pid=6831] ppid=6828 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (xcsp3-exec) S 6828 6831 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154457167 9740288 346 33554432000 4194304 5098028 140721840341136 140721840339240 139937670554236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39333888 140721840346228 140721840346432 140721840346432 140721840349163 0
/proc/6831/statm: 2378 346 289 221 0 87 0
[pid=6833] ppid=6831 vsize=13978596 memory=28620 CPUtime=0.11 cores=0,2,4,6
/proc/6833/stat : 6833 (java) S 6831 6831 3809 0 -1 1077944320 5478 0 0 0 10 1 0 0 20 0 15 0 154457167 14314082304 7155 33554432000 4194304 4196468 140730627685888 140730627668432 140416204545783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
/proc/6833/statm: 3494649 7155 2879 1 0 3482966 0
[pid=6833/tid=6834] ppid=6831 vsize=13978596 memory=7683042692784427867 CPUtime=0.09 cores=0,2,4,6
/proc/6833/task/6834/stat : 6834 (java) R 6831 6831 3809 0 -1 4202560 3464 0 0 0 8 1 0 0 20 0 15 0 154457167 14314082304 7155 33554432000 4194304 4196468 140730627685888 140416208779056 140416204567709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6835] ppid=6831 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6835/stat : 6835 (java) S 6831 6831 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457168 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415799852048 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6836] ppid=6831 vsize=13978596 memory=140501187012224 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6836/stat : 6836 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415798799504 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6837] ppid=6831 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6837/stat : 6837 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415797746448 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6838] ppid=6831 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6838/stat : 6838 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415796693904 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6839] ppid=6831 vsize=13978596 memory=140501187012224 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6839/stat : 6839 (java) S 6831 6831 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457170 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415116957936 140416204556930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6840] ppid=6831 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6840/stat : 6840 (java) S 6831 6831 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457170 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415115904160 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6841] ppid=6831 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6841/stat : 6841 (java) S 6831 6831 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457170 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415114851056 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6842] ppid=6831 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6842/stat : 6842 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415113799632 140416204564379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6843] ppid=6831 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6843/stat : 6843 (java) S 6831 6831 3809 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 154457173 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415112747760 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6844] ppid=6831 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6844/stat : 6844 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415111695216 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6845] ppid=6831 vsize=13978596 memory=140501187012224 CPUtime=0.01 cores=0,2,4,6
/proc/6833/task/6845/stat : 6845 (java) S 6831 6831 3809 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 154457173 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415110642160 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6846] ppid=6831 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6846/stat : 6846 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415109589856 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6847] ppid=6831 vsize=13978596 memory=140501187012224 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6847/stat : 6847 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457173 14314082304 7155 33554432000 4194304 4196468 140730627685888 140415108536880 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30004 KiB

[startup+0.210771 s]*
/proc/loadavg: 1.74 1.65 1.74 3/217 6847
/proc/meminfo: memFree=23633592/32770624 swapFree=67108860/67108860
[pid=6831] ppid=6828 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (xcsp3-exec) S 6828 6831 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154457167 9740288 346 33554432000 4194304 5098028 140721840341136 140721840339240 139937670554236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39333888 140721840346228 140721840346432 140721840346432 140721840349163 0
/proc/6831/statm: 2378 346 289 221 0 87 0
[pid=6833] ppid=6831 vsize=13982852 memory=40996 CPUtime=0.34 cores=0,2,4,6
/proc/6833/stat : 6833 (java) S 6831 6831 3809 0 -1 1077944320 8270 0 0 0 31 3 0 0 20 0 15 0 154457167 14318440448 10249 33554432000 4194304 4196468 140730627685888 140730627668432 140416204545783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
/proc/6833/statm: 3495713 10249 3075 1 0 3482966 0
[pid=6833/tid=6834] ppid=6831 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/6833/task/6834/stat : 6834 (java) R 6831 6831 3809 0 -1 4202560 5217 0 0 0 18 1 0 0 20 0 15 0 154457167 14318440448 10249 33554432000 4194304 4196468 140730627685888 140416208765984 140416204567709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6835] ppid=6831 vsize=13982852 memory=8944 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6835/stat : 6835 (java) S 6831 6831 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457168 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415799852048 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6836] ppid=6831 vsize=13982852 memory=140501187546077 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6836/stat : 6836 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415798799504 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6837] ppid=6831 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6837/stat : 6837 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415797746448 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6838] ppid=6831 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6838/stat : 6838 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415796693904 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6839] ppid=6831 vsize=13982852 memory=140501187012224 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6839/stat : 6839 (java) S 6831 6831 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457170 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415116957936 140416204556930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6840] ppid=6831 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6840/stat : 6840 (java) S 6831 6831 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457170 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415115904160 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6841] ppid=6831 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6841/stat : 6841 (java) S 6831 6831 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457170 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415114851056 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6842] ppid=6831 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6842/stat : 6842 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415113799632 140416204564379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6843] ppid=6831 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6833/task/6843/stat : 6843 (java) S 6831 6831 3809 0 -1 1077944384 758 0 0 0 2 0 0 0 20 0 15 0 154457173 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415112747760 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6844] ppid=6831 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6833/task/6844/stat : 6844 (java) S 6831 6831 3809 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 154457173 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415111695216 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6845] ppid=6831 vsize=13982852 memory=140501187012224 CPUtime=0.07 cores=0,2,4,6
/proc/6833/task/6845/stat : 6845 (java) S 6831 6831 3809 0 -1 1077944384 833 0 0 0 7 0 0 0 20 0 15 0 154457173 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415110642160 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6846] ppid=6831 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6846/stat : 6846 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415109589856 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6847] ppid=6831 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6847/stat : 6847 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457173 14318440448 10249 33554432000 4194304 4196468 140730627685888 140415108536880 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42380 KiB

[startup+0.310507 s]*
/proc/loadavg: 1.74 1.65 1.74 4/217 6847
/proc/meminfo: memFree=23627016/32770624 swapFree=67108860/67108860
[pid=6831] ppid=6828 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (xcsp3-exec) S 6828 6831 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154457167 9740288 346 33554432000 4194304 5098028 140721840341136 140721840339240 139937670554236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39333888 140721840346228 140721840346432 140721840346432 140721840349163 0
/proc/6831/statm: 2378 346 289 221 0 87 0
[pid=6833] ppid=6831 vsize=13982852 memory=47960 CPUtime=0.5 cores=0,2,4,6
/proc/6833/stat : 6833 (java) S 6831 6831 3809 0 -1 1077944320 9176 0 0 0 47 3 0 0 20 0 15 0 154457167 14318440448 11990 33554432000 4194304 4196468 140730627685888 140730627668432 140416204545783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
/proc/6833/statm: 3495713 11990 3089 1 0 3482966 0
[pid=6833/tid=6834] ppid=6831 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6833/task/6834/stat : 6834 (java) R 6831 6831 3809 0 -1 4202560 5894 0 0 0 27 2 0 0 20 0 15 0 154457167 14318440448 11990 33554432000 4194304 4196468 140730627685888 140416208781056 140416188589413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6835] ppid=6831 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6835/stat : 6835 (java) S 6831 6831 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457168 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415799852048 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6836] ppid=6831 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6836/stat : 6836 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415798799504 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6837] ppid=6831 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6837/stat : 6837 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415797746448 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6838] ppid=6831 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6838/stat : 6838 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415796693904 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6839] ppid=6831 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6839/stat : 6839 (java) S 6831 6831 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457170 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415116957936 140416204556930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6840] ppid=6831 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6840/stat : 6840 (java) S 6831 6831 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457170 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415115904160 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6841] ppid=6831 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6841/stat : 6841 (java) S 6831 6831 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457170 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415114851056 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6842] ppid=6831 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6842/stat : 6842 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415113799632 140416204564379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6843] ppid=6831 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=0,2,4,6
/proc/6833/task/6843/stat : 6843 (java) S 6831 6831 3809 0 -1 1077944384 786 0 0 0 4 0 0 0 20 0 15 0 154457173 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415112747760 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6844] ppid=6831 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6833/task/6844/stat : 6844 (java) S 6831 6831 3809 0 -1 1077944384 172 0 0 0 3 0 0 0 20 0 15 0 154457173 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415111695216 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6845] ppid=6831 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6833/task/6845/stat : 6845 (java) R 6831 6831 3809 0 -1 4202560 1025 0 0 0 12 0 0 0 20 0 15 0 154457173 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415110642288 140416197642619 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6846] ppid=6831 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6846/stat : 6846 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415109589856 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6847] ppid=6831 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6847/stat : 6847 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457173 14318440448 11990 33554432000 4194304 4196468 140730627685888 140415108536880 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49344 KiB

[startup+0.702834 s]
/proc/loadavg: 1.74 1.65 1.74 4/217 6847
/proc/meminfo: memFree=23605428/32770624 swapFree=67108860/67108860
[pid=6831] ppid=6828 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (xcsp3-exec) S 6828 6831 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154457167 9740288 346 33554432000 4194304 5098028 140721840341136 140721840339240 139937670554236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39333888 140721840346228 140721840346432 140721840346432 140721840349163 0
/proc/6831/statm: 2378 346 289 221 0 87 0
[pid=6833] ppid=6831 vsize=13984976 memory=110752 CPUtime=1.76 cores=0,2,4,6
/proc/6833/stat : 6833 (java) S 6831 6831 3809 0 -1 1077944320 12557 0 0 0 171 5 0 0 20 0 15 0 154457167 14320615424 27688 33554432000 4194304 4196468 140730627685888 140730627668432 140416204545783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
/proc/6833/statm: 3496244 27688 3199 1 0 3483478 0
[pid=6833/tid=6834] ppid=6831 vsize=13984976 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/6833/task/6834/stat : 6834 (java) R 6831 6831 3809 0 -1 4202560 6319 0 0 0 64 3 0 0 20 0 15 0 154457167 14320615424 27688 33554432000 4194304 4196468 140730627685888 140416208767440 140416190780301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6835] ppid=6831 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6835/stat : 6835 (java) S 6831 6831 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154457168 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415799852048 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6836] ppid=6831 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6836/stat : 6836 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415798799504 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6837] ppid=6831 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6837/stat : 6837 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415797746448 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6838] ppid=6831 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6838/stat : 6838 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457168 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415796693904 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6839] ppid=6831 vsize=13984976 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6839/stat : 6839 (java) S 6831 6831 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415116957936 140416204556930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6840] ppid=6831 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6840/stat : 6840 (java) S 6831 6831 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415115904160 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6841] ppid=6831 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6841/stat : 6841 (java) S 6831 6831 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415114851056 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6842] ppid=6831 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6842/stat : 6842 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415113799632 140416204564379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6843] ppid=6831 vsize=13984976 memory=11112 CPUtime=0.38 cores=0,2,4,6
/proc/6833/task/6843/stat : 6843 (java) R 6831 6831 3809 0 -1 4202560 1764 0 0 0 38 0 0 0 20 0 15 0 154457173 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415112737552 140416182197649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6844] ppid=6831 vsize=13984976 memory=1228 CPUtime=0.36 cores=0,2,4,6
/proc/6833/task/6844/stat : 6844 (java) R 6831 6831 3809 0 -1 4202560 1327 0 0 0 36 0 0 0 20 0 15 0 154457173 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415111674848 140416204567130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6845] ppid=6831 vsize=13984976 memory=1420 CPUtime=0.31 cores=0,2,4,6
/proc/6833/task/6845/stat : 6845 (java) S 6831 6831 3809 0 -1 1077944384 1841 0 0 0 31 0 0 0 20 0 15 0 154457173 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415110642160 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6846] ppid=6831 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6846/stat : 6846 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415109589856 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6847] ppid=6831 vsize=13984976 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6847/stat : 6847 (java) S 6831 6831 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 27688 33554432000 4194304 4196468 140730627685888 140415108536880 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 112136 KiB

[startup+1.50076 s]
/proc/loadavg: 1.74 1.65 1.74 6/217 6847
/proc/meminfo: memFree=23531024/32770624 swapFree=67108860/67108860
[pid=6831] ppid=6828 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (xcsp3-exec) S 6828 6831 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154457167 9740288 346 33554432000 4194304 5098028 140721840341136 140721840339240 139937670554236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39333888 140721840346228 140721840346432 140721840346432 140721840349163 0
/proc/6831/statm: 2378 346 289 221 0 87 0

################
# More data... #
################

/proc/6833/task/6841/stat : 6841 (java) S 6831 6831 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 169221 33554432000 4194304 4196468 140730627685888 140415114851072 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6842] ppid=6831 vsize=13984976 memory=670100 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6842/stat : 6842 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 169221 33554432000 4194304 4196468 140730627685888 140415113799632 140416204564379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6843] ppid=6831 vsize=13984976 memory=0 CPUtime=4 cores=0,2,4,6
/proc/6833/task/6843/stat : 6843 (java) S 6831 6831 3809 0 -1 1077944384 13949 0 0 0 398 2 0 0 20 0 15 0 154457173 14320615424 169221 33554432000 4194304 4196468 140730627685888 140415112747760 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6844] ppid=6831 vsize=13984976 memory=7232890293113415765 CPUtime=3.82 cores=0,2,4,6
/proc/6833/task/6844/stat : 6844 (java) S 6831 6831 3809 0 -1 1077944384 13430 0 0 0 381 1 0 0 20 0 15 0 154457173 14320615424 169221 33554432000 4194304 4196468 140730627685888 140415111695216 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6845] ppid=6831 vsize=13984976 memory=7232890293113415733 CPUtime=0.91 cores=0,2,4,6
/proc/6833/task/6845/stat : 6845 (java) S 6831 6831 3809 0 -1 1077944384 7384 0 0 0 89 2 0 0 20 0 15 0 154457173 14320615424 169221 33554432000 4194304 4196468 140730627685888 140415110642160 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6846] ppid=6831 vsize=13984976 memory=676884 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6846/stat : 6846 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 169221 33554432000 4194304 4196468 140730627685888 140415109589856 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6847] ppid=6831 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/6833/task/6847/stat : 6847 (java) S 6831 6831 3809 0 -1 1077944384 182 0 0 0 2 2 0 0 20 0 15 0 154457173 14320615424 169221 33554432000 4194304 4196468 140730627685888 140415108536880 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
Current children cumulated CPU time: 112.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 678268 KiB

[startup+162.301 s]
/proc/loadavg: 1.95 1.82 1.79 3/217 6927
/proc/meminfo: memFree=22968580/32770624 swapFree=67108860/67108860
[pid=6831] ppid=6828 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (xcsp3-exec) S 6828 6831 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154457167 9740288 346 33554432000 4194304 5098028 140721840341136 140721840339240 139937670554236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39333888 140721840346228 140721840346432 140721840346432 140721840349163 0
/proc/6831/statm: 2378 346 289 221 0 87 0
[pid=6833] ppid=6831 vsize=13984976 memory=687048 CPUtime=173.98 cores=0,2,4,6
/proc/6833/stat : 6833 (java) S 6831 6831 3809 0 -1 1077944320 65946 0 0 0 17333 65 0 0 20 0 15 0 154457167 14320615424 171762 33554432000 4194304 4196468 140730627685888 140730627668432 140416204545783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
/proc/6833/statm: 3496244 171762 3271 1 0 3483478 0
[pid=6833/tid=6834] ppid=6831 vsize=13984976 memory=689632 CPUtime=161.3 cores=0,2,4,6
/proc/6833/task/6834/stat : 6834 (java) R 6831 6831 3809 0 -1 4202560 17369 0 0 0 16119 11 0 0 20 0 15 0 154457167 14320615424 171762 33554432000 4194304 4196468 140730627685888 140416208785232 140415849285447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6835] ppid=6831 vsize=13984976 memory=1384 CPUtime=0.91 cores=0,2,4,6
/proc/6833/task/6835/stat : 6835 (java) S 6831 6831 3809 0 -1 1077944384 1502 0 0 0 80 11 0 0 20 0 15 0 154457168 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415799852048 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6836] ppid=6831 vsize=13984976 memory=687048 CPUtime=0.91 cores=0,2,4,6
/proc/6833/task/6836/stat : 6836 (java) S 6831 6831 3809 0 -1 1077944384 1910 0 0 0 80 11 0 0 20 0 15 0 154457168 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415798799504 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6837] ppid=6831 vsize=13984976 memory=687048 CPUtime=0.89 cores=0,2,4,6
/proc/6833/task/6837/stat : 6837 (java) S 6831 6831 3809 0 -1 1077944384 4125 0 0 0 79 10 0 0 20 0 15 0 154457168 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415797746448 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6838] ppid=6831 vsize=13984976 memory=1384 CPUtime=0.91 cores=0,2,4,6
/proc/6833/task/6838/stat : 6838 (java) S 6831 6831 3809 0 -1 1077944384 1881 0 0 0 81 10 0 0 20 0 15 0 154457168 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415796693904 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6839] ppid=6831 vsize=13984976 memory=683488 CPUtime=0.03 cores=0,2,4,6
/proc/6833/task/6839/stat : 6839 (java) S 6831 6831 3809 0 -1 1077944384 816 0 0 0 3 0 0 0 20 0 15 0 154457170 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415116957936 140416204556930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6840] ppid=6831 vsize=13984976 memory=7594847338713342528 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6840/stat : 6840 (java) S 6831 6831 3809 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415115904224 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6841] ppid=6831 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6841/stat : 6841 (java) S 6831 6831 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415114851072 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6842] ppid=6831 vsize=13984976 memory=683488 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6842/stat : 6842 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415113799632 140416204564379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6843] ppid=6831 vsize=13984976 memory=683488 CPUtime=4.11 cores=0,2,4,6
/proc/6833/task/6843/stat : 6843 (java) S 6831 6831 3809 0 -1 1077944384 15501 0 0 0 409 2 0 0 20 0 15 0 154457173 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415112747760 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6844] ppid=6831 vsize=13984976 memory=1384 CPUtime=3.83 cores=0,2,4,6
/proc/6833/task/6844/stat : 6844 (java) S 6831 6831 3809 0 -1 1077944384 13577 0 0 0 382 1 0 0 20 0 15 0 154457173 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415111695216 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6845] ppid=6831 vsize=13984976 memory=5784 CPUtime=0.91 cores=0,2,4,6
/proc/6833/task/6845/stat : 6845 (java) S 6831 6831 3809 0 -1 1077944384 7703 0 0 0 89 2 0 0 20 0 15 0 154457173 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415110642160 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6846] ppid=6831 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6846/stat : 6846 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415109589856 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6847] ppid=6831 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/6833/task/6847/stat : 6847 (java) S 6831 6831 3809 0 -1 1077944384 216 0 0 0 4 4 0 0 20 0 15 0 154457173 14320615424 171762 33554432000 4194304 4196468 140730627685888 140415108536880 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
Current children cumulated CPU time: 173.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 688432 KiB

[startup+222.301 s]
/proc/loadavg: 1.74 1.79 1.78 3/218 6936
/proc/meminfo: memFree=23073796/32770624 swapFree=67108860/67108860
[pid=6831] ppid=6828 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (xcsp3-exec) S 6828 6831 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154457167 9740288 346 33554432000 4194304 5098028 140721840341136 140721840339240 139937670554236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39333888 140721840346228 140721840346432 140721840346432 140721840349163 0
/proc/6831/statm: 2378 346 289 221 0 87 0
[pid=6833] ppid=6831 vsize=13984976 memory=597440 CPUtime=236.01 cores=0,2,4,6
/proc/6833/stat : 6833 (java) S 6831 6831 3809 0 -1 1077944320 72319 0 0 0 23524 77 0 0 20 0 15 0 154457167 14320615424 149360 33554432000 4194304 4196468 140730627685888 140730627668432 140416204545783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
/proc/6833/statm: 3496244 149360 3287 1 0 3483478 0
[pid=6833/tid=6834] ppid=6831 vsize=13984976 memory=609736 CPUtime=220.55 cores=0,2,4,6
/proc/6833/task/6834/stat : 6834 (java) R 6831 6831 3809 0 -1 4202560 17991 0 0 0 22044 11 0 0 20 0 15 0 154457167 14320615424 149360 33554432000 4194304 4196468 140730627685888 140416208785504 140415849067581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6835] ppid=6831 vsize=13984976 memory=603596 CPUtime=1.58 cores=0,2,4,6
/proc/6833/task/6835/stat : 6835 (java) S 6831 6831 3809 0 -1 1077944384 1979 0 0 0 145 13 0 0 20 0 15 0 154457168 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415799852048 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6836] ppid=6831 vsize=13984976 memory=603596 CPUtime=1.57 cores=0,2,4,6
/proc/6833/task/6836/stat : 6836 (java) S 6831 6831 3809 0 -1 1077944384 2080 0 0 0 144 13 0 0 20 0 15 0 154457168 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415798799504 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6837] ppid=6831 vsize=13984976 memory=597440 CPUtime=1.56 cores=0,2,4,6
/proc/6833/task/6837/stat : 6837 (java) S 6831 6831 3809 0 -1 1077944384 4404 0 0 0 144 12 0 0 20 0 15 0 154457168 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415797746448 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6838] ppid=6831 vsize=13984976 memory=1384 CPUtime=1.58 cores=0,2,4,6
/proc/6833/task/6838/stat : 6838 (java) S 6831 6831 3809 0 -1 1077944384 2218 0 0 0 145 13 0 0 20 0 15 0 154457168 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415796693904 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6839] ppid=6831 vsize=13984976 memory=597440 CPUtime=0.11 cores=0,2,4,6
/proc/6833/task/6839/stat : 6839 (java) S 6831 6831 3809 0 -1 1077944384 4543 0 0 0 10 1 0 0 20 0 15 0 154457170 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415116957936 140416204556930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6840] ppid=6831 vsize=13984976 memory=597440 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6840/stat : 6840 (java) S 6831 6831 3809 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415115904224 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6841] ppid=6831 vsize=13984976 memory=597440 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6841/stat : 6841 (java) S 6831 6831 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415114851072 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6842] ppid=6831 vsize=13984976 memory=597440 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6842/stat : 6842 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415113799632 140416204564379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6843] ppid=6831 vsize=13984976 memory=597440 CPUtime=4.12 cores=0,2,4,6
/proc/6833/task/6843/stat : 6843 (java) S 6831 6831 3809 0 -1 1077944384 15737 0 0 0 410 2 0 0 20 0 15 0 154457173 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415112747760 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6844] ppid=6831 vsize=13984976 memory=1384 CPUtime=3.83 cores=0,2,4,6
/proc/6833/task/6844/stat : 6844 (java) S 6831 6831 3809 0 -1 1077944384 13579 0 0 0 382 1 0 0 20 0 15 0 154457173 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415111695216 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6845] ppid=6831 vsize=13984976 memory=1384 CPUtime=0.91 cores=0,2,4,6
/proc/6833/task/6845/stat : 6845 (java) S 6831 6831 3809 0 -1 1077944384 8203 0 0 0 89 2 0 0 20 0 15 0 154457173 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415110642160 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6846] ppid=6831 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6846/stat : 6846 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415109589856 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6847] ppid=6831 vsize=13984976 memory=42904 CPUtime=0.12 cores=0,2,4,6
/proc/6833/task/6847/stat : 6847 (java) S 6831 6831 3809 0 -1 1077944384 239 0 0 0 5 7 0 0 20 0 15 0 154457173 14320615424 149360 33554432000 4194304 4196468 140730627685888 140415108536880 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
Current children cumulated CPU time: 236.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 598824 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.59 1.76 1.77 3/218 6936
/proc/meminfo: memFree=23084964/32770624 swapFree=67108860/67108860
[pid=6831] ppid=6828 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6831/stat : 6831 (xcsp3-exec) S 6828 6831 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154457167 9740288 346 33554432000 4194304 5098028 140721840341136 140721840339240 139937670554236 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39333888 140721840346228 140721840346432 140721840346432 140721840349163 0
/proc/6831/statm: 2378 346 289 221 0 87 0
[pid=6833] ppid=6831 vsize=13984976 memory=582052 CPUtime=253.88 cores=0,2,4,6
/proc/6833/stat : 6833 (java) S 6831 6831 3809 0 -1 1077944320 73354 0 0 0 25311 77 0 0 20 0 15 0 154457167 14320615424 145513 33554432000 4194304 4196468 140730627685888 140730627668432 140416204545783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
/proc/6833/statm: 3496244 145513 3287 1 0 3483478 0
[pid=6833/tid=6834] ppid=6831 vsize=13984976 memory=8112282956445269571 CPUtime=238.19 cores=0,2,4,6
/proc/6833/task/6834/stat : 6834 (java) R 6831 6831 3809 0 -1 4202560 18555 0 0 0 23808 11 0 0 20 0 15 0 154457167 14320615424 145513 33554432000 4194304 4196468 140730627685888 140416208785216 140415849131227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6835] ppid=6831 vsize=13984976 memory=1160 CPUtime=1.64 cores=0,2,4,6
/proc/6833/task/6835/stat : 6835 (java) S 6831 6831 3809 0 -1 1077944384 2019 0 0 0 151 13 0 0 20 0 15 0 154457168 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415799852048 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6836] ppid=6831 vsize=13984976 memory=3072 CPUtime=1.63 cores=0,2,4,6
/proc/6833/task/6836/stat : 6836 (java) S 6831 6831 3809 0 -1 1077944384 2095 0 0 0 150 13 0 0 20 0 15 0 154457168 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415798799504 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6837] ppid=6831 vsize=13984976 memory=1384 CPUtime=1.61 cores=0,2,4,6
/proc/6833/task/6837/stat : 6837 (java) S 6831 6831 3809 0 -1 1077944384 4434 0 0 0 149 12 0 0 20 0 15 0 154457168 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415797746448 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6838] ppid=6831 vsize=13984976 memory=4126316290023845779 CPUtime=1.64 cores=0,2,4,6
/proc/6833/task/6838/stat : 6838 (java) S 6831 6831 3809 0 -1 1077944384 2472 0 0 0 151 13 0 0 20 0 15 0 154457168 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415796693904 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6839] ppid=6831 vsize=13984976 memory=1952 CPUtime=0.11 cores=0,2,4,6
/proc/6833/task/6839/stat : 6839 (java) S 6831 6831 3809 0 -1 1077944384 4645 0 0 0 10 1 0 0 20 0 15 0 154457170 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415116957936 140416204556930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6840] ppid=6831 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6840/stat : 6840 (java) S 6831 6831 3809 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415115904224 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6841] ppid=6831 vsize=13984976 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6841/stat : 6841 (java) S 6831 6831 3809 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154457170 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415114851072 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6842] ppid=6831 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6842/stat : 6842 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415113799632 140416204564379 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6843] ppid=6831 vsize=13984976 memory=2240 CPUtime=4.12 cores=0,2,4,6
/proc/6833/task/6843/stat : 6843 (java) S 6831 6831 3809 0 -1 1077944384 15743 0 0 0 410 2 0 0 20 0 15 0 154457173 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415112747760 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6844] ppid=6831 vsize=13984976 memory=4128 CPUtime=3.83 cores=0,2,4,6
/proc/6833/task/6844/stat : 6844 (java) S 6831 6831 3809 0 -1 1077944384 13580 0 0 0 382 1 0 0 20 0 15 0 154457173 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415111695216 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6845] ppid=6831 vsize=13984976 memory=2196 CPUtime=0.91 cores=0,2,4,6
/proc/6833/task/6845/stat : 6845 (java) S 6831 6831 3809 0 -1 1077944384 8205 0 0 0 89 2 0 0 20 0 15 0 154457173 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415110642160 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6846] ppid=6831 vsize=13984976 memory=8040 CPUtime=0 cores=0,2,4,6
/proc/6833/task/6846/stat : 6846 (java) S 6831 6831 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154457173 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415109589856 140416204555989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
[pid=6833/tid=6847] ppid=6831 vsize=13984976 memory=840 CPUtime=0.12 cores=0,2,4,6
/proc/6833/task/6847/stat : 6847 (java) S 6831 6831 3809 0 -1 1077944384 260 0 0 0 5 7 0 0 20 0 15 0 154457173 14320615424 145513 33554432000 4194304 4196468 140730627685888 140415108536880 140416204556930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 22503424 140730627691677 140730627691852 140730627691852 140730627694543 0
Current children cumulated CPU time: 253.88 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 583436 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+240.02 s]
# the end of solver process 6831 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000974 s, system=0.000974 s

[startup+240.026 s]
# the end of solver process 6833 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=253.134 s, system=0.78644 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.026
CPU time (s): 253.92
CPU user time (s): 253.134
CPU system time (s): 0.78644
CPU usage (%): 105.789
Max. virtual memory (cumulated for all children) (KiB): 13996608
Max. memory (cumulated for all children) (KiB): 717668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.134
system time used= 0.78644
maximum resident set size= 716284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8813
involuntary context switches= 399


# summary of solver processes directly reported to runsolver:
#   pid: 6831,6833
#   total CPU time (s): 253.92
#   total CPU user time (s): 253.134
#   total CPU system time (s): 0.78644

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2208 second user time and 2.68645 second system time

The end