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 (11818 MiB free)
memory of node 1: 16384 MiB (9724 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283163-1503215284/watcher-4283163-1503215284 -o /tmp/evaluation-result-4283163-1503215284/solver-4283163-1503215284 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node149-1503210552-7327 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 984701618 HOME/instance-4283163-1503215284.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
solver pid=10937, runsolver pid=10934
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 1.88 1.97 1.96 3/219 10953
/proc/meminfo: memFree=22041468/32770624 swapFree=67108860/67108860
[pid=10937] ppid=10934 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10937/stat : 10937 (xcsp3-exec) S 10934 10937 7296 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154609167 9740288 345 33554432000 4194304 5098028 140735684492576 140735684490680 140523928863356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19582976 140735684494453 140735684494656 140735684494656 140735684497387 0
/proc/10937/statm: 2378 345 289 221 0 87 0
[pid=10939] ppid=10937 vsize=13978596 memory=30544 CPUtime=0.12 cores=0,2,4,6
/proc/10939/stat : 10939 (java) S 10937 10937 7296 0 -1 1077944320 5560 0 0 0 11 1 0 0 20 0 15 0 154609167 14314082304 7636 33554432000 4194304 4196468 140724015585984 140724015568528 140630111051511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
/proc/10939/statm: 3494649 7636 2842 1 0 3482966 0
[pid=10939/tid=10940] ppid=10937 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/10939/task/10940/stat : 10940 (java) R 10937 10937 7296 0 -1 4202560 3568 0 0 0 9 0 0 0 20 0 15 0 154609167 14314082304 7636 33554432000 4194304 4196468 140724015585984 140630115267664 140630111063446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10941] ppid=10937 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10941/stat : 10941 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609168 14314082304 7636 33554432000 4194304 4196468 140724015585984 140630048652048 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10942] ppid=10937 vsize=13978596 memory=140553020036736 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10942/stat : 10942 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609168 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629705759632 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10943] ppid=10937 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10943/stat : 10943 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609168 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629704707088 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10944] ppid=10937 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10944/stat : 10944 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609168 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629703654544 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10945] ppid=10937 vsize=13978596 memory=140553020036736 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10945/stat : 10945 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609169 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629652473840 140630111062658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10946] ppid=10937 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10946/stat : 10946 (java) S 10937 10937 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154609170 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629651420064 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10947] ppid=10937 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10947/stat : 10947 (java) S 10937 10937 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154609170 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629650367472 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10948] ppid=10937 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10948/stat : 10948 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609172 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629649316048 140630111070107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10949] ppid=10937 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10949/stat : 10949 (java) S 10937 10937 7296 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 154609172 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629648263664 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10950] ppid=10937 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10950/stat : 10950 (java) S 10937 10937 7296 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 154609172 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629647211120 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10951] ppid=10937 vsize=13978596 memory=140553020036736 CPUtime=0.01 cores=0,2,4,6
/proc/10939/task/10951/stat : 10951 (java) R 10937 10937 7296 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 154609172 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629646158576 140630089652953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10952] ppid=10937 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10952/stat : 10952 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609173 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629015522400 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10953] ppid=10937 vsize=13978596 memory=140553020036736 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10953/stat : 10953 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609173 14314082304 7636 33554432000 4194304 4196468 140724015585984 140629014468912 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31924 KiB
[startup+0.210904 s]*
/proc/loadavg: 1.88 1.97 1.96 3/219 10953
/proc/meminfo: memFree=22030784/32770624 swapFree=67108860/67108860
[pid=10937] ppid=10934 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10937/stat : 10937 (xcsp3-exec) S 10934 10937 7296 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154609167 9740288 345 33554432000 4194304 5098028 140735684492576 140735684490680 140523928863356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19582976 140735684494453 140735684494656 140735684494656 140735684497387 0
/proc/10937/statm: 2378 345 289 221 0 87 0
[pid=10939] ppid=10937 vsize=13982852 memory=42572 CPUtime=0.33 cores=0,2,4,6
/proc/10939/stat : 10939 (java) S 10937 10937 7296 0 -1 1077944320 8198 0 0 0 32 1 0 0 20 0 15 0 154609167 14318440448 10643 33554432000 4194304 4196468 140724015585984 140724015568528 140630111051511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
/proc/10939/statm: 3495713 10643 3040 1 0 3482966 0
[pid=10939/tid=10940] ppid=10937 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10939/task/10940/stat : 10940 (java) D 10937 10937 7296 0 -1 1077944384 5364 0 0 0 19 1 0 0 20 0 15 0 154609167 14318440448 10643 33554432000 4194304 4196468 140724015585984 140630115262304 140630103730733 0 4 0 16800975 18446744072101568036 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10941] ppid=10937 vsize=13982852 memory=8911 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10941/stat : 10941 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609168 14318440448 10643 33554432000 4194304 4196468 140724015585984 140630048652048 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10942] ppid=10937 vsize=13982852 memory=140553021083001 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10942/stat : 10942 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609168 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629705759632 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10943] ppid=10937 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10943/stat : 10943 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609168 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629704707088 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10944] ppid=10937 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10944/stat : 10944 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609168 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629703654544 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10945] ppid=10937 vsize=13982884 memory=140553020036736 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10945/stat : 10945 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609169 14318473216 10643 33554432000 4194304 4196468 140724015585984 140629652473840 140630111062658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10946] ppid=10937 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10946/stat : 10946 (java) S 10937 10937 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154609170 14318473216 10643 33554432000 4194304 4196468 140724015585984 140629651420064 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10947] ppid=10937 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10947/stat : 10947 (java) S 10937 10937 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154609170 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629650367472 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10948] ppid=10937 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10948/stat : 10948 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609172 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629649316048 140630111070107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10949] ppid=10937 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10939/task/10949/stat : 10949 (java) S 10937 10937 7296 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 154609172 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629648263664 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10950] ppid=10937 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10939/task/10950/stat : 10950 (java) S 10937 10937 7296 0 -1 1077944384 303 0 0 0 2 0 0 0 20 0 15 0 154609172 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629647211120 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10951] ppid=10937 vsize=13982852 memory=140553020036736 CPUtime=0.08 cores=0,2,4,6
/proc/10939/task/10951/stat : 10951 (java) S 10937 10937 7296 0 -1 1077944384 733 0 0 0 8 0 0 0 20 0 15 0 154609172 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629646158576 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10952] ppid=10937 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10952/stat : 10952 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609173 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629015522400 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10953] ppid=10937 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10953/stat : 10953 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609173 14318440448 10643 33554432000 4194304 4196468 140724015585984 140629014468912 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 43952 KiB
[startup+0.310902 s]*
/proc/loadavg: 1.88 1.97 1.96 4/219 10953
/proc/meminfo: memFree=22023960/32770624 swapFree=67108860/67108860
[pid=10937] ppid=10934 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10937/stat : 10937 (xcsp3-exec) S 10934 10937 7296 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154609167 9740288 345 33554432000 4194304 5098028 140735684492576 140735684490680 140523928863356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19582976 140735684494453 140735684494656 140735684494656 140735684497387 0
/proc/10937/statm: 2378 345 289 221 0 87 0
[pid=10939] ppid=10937 vsize=13982852 memory=49152 CPUtime=0.51 cores=0,2,4,6
/proc/10939/stat : 10939 (java) S 10937 10937 7296 0 -1 1077944320 8951 0 0 0 50 1 0 0 20 0 15 0 154609167 14318440448 12288 33554432000 4194304 4196468 140724015585984 140724015568528 140630111051511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
/proc/10939/statm: 3495713 12288 3078 1 0 3482966 0
[pid=10939/tid=10940] ppid=10937 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/10939/task/10940/stat : 10940 (java) R 10937 10937 7296 0 -1 4202560 5953 0 0 0 29 1 0 0 20 0 15 0 154609167 14318440448 12288 33554432000 4194304 4196468 140724015585984 140630115288976 140630111063446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10941] ppid=10937 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10941/stat : 10941 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609168 14318440448 12288 33554432000 4194304 4196468 140724015585984 140630048652048 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10942] ppid=10937 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10942/stat : 10942 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609168 14318440448 12288 33554432000 4194304 4196468 140724015585984 140629705759632 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10943] ppid=10937 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10943/stat : 10943 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609168 14318440448 12288 33554432000 4194304 4196468 140724015585984 140629704707088 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10944] ppid=10937 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10944/stat : 10944 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609168 14318440448 12288 33554432000 4194304 4196468 140724015585984 140629703654544 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10945] ppid=10937 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10945/stat : 10945 (java) S 10937 10937 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154609169 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629652473840 140630111062658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10946] ppid=10937 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10946/stat : 10946 (java) S 10937 10937 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154609170 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629651420064 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10947] ppid=10937 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10947/stat : 10947 (java) S 10937 10937 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154609170 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629650367472 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10948] ppid=10937 vsize=13982852 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10948/stat : 10948 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609172 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629649316048 140630111070107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10949] ppid=10937 vsize=13982852 memory=4630099104583218061 CPUtime=0.04 cores=0,2,4,6
/proc/10939/task/10949/stat : 10949 (java) R 10937 10937 7296 0 -1 4202560 530 0 0 0 4 0 0 0 20 0 15 0 154609172 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629648253584 140630091751808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10950] ppid=10937 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10939/task/10950/stat : 10950 (java) R 10937 10937 7296 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 15 0 154609172 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629647211120 140630111062658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10951] ppid=10937 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10939/task/10951/stat : 10951 (java) R 10937 10937 7296 0 -1 4202560 827 0 0 0 13 0 0 0 20 0 15 0 154609172 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629646154944 140630089719741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10952] ppid=10937 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10952/stat : 10952 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609173 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629015522400 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10953] ppid=10937 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10953/stat : 10953 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609173 14318440448 12354 33554432000 4194304 4196468 140724015585984 140629014468912 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50532 KiB
[startup+0.701488 s]
/proc/loadavg: 1.88 1.97 1.96 3/219 10953
/proc/meminfo: memFree=21966996/32770624 swapFree=67108860/67108860
[pid=10937] ppid=10934 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10937/stat : 10937 (xcsp3-exec) S 10934 10937 7296 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154609167 9740288 345 33554432000 4194304 5098028 140735684492576 140735684490680 140523928863356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19582976 140735684494453 140735684494656 140735684494656 140735684497387 0
/proc/10937/statm: 2378 345 289 221 0 87 0
[pid=10939] ppid=10937 vsize=13982852 memory=249784 CPUtime=1.44 cores=0,2,4,6
/proc/10939/stat : 10939 (java) S 10937 10937 7296 0 -1 1077944320 11130 0 0 0 130 14 0 0 20 0 15 0 154609167 14318440448 62446 33554432000 4194304 4196468 140724015585984 140724015568528 140630111051511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
/proc/10939/statm: 3495713 62446 3150 1 0 3482966 0
[pid=10939/tid=10940] ppid=10937 vsize=13982852 memory=33 CPUtime=0.61 cores=0,2,4,6
/proc/10939/task/10940/stat : 10940 (java) S 10937 10937 7296 0 -1 1077944384 6017 0 0 0 59 2 0 0 20 0 15 0 154609167 14318440448 62446 33554432000 4194304 4196468 140724015585984 140630115290448 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10941] ppid=10937 vsize=13982852 memory=-7816663703405220396 CPUtime=0.05 cores=0,2,4,6
/proc/10939/task/10941/stat : 10941 (java) R 10937 10937 7296 0 -1 4202560 40 0 0 0 3 2 0 0 20 0 15 0 154609168 14318440448 62446 33554432000 4194304 4196468 140724015585984 140630048652048 140630104151211 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10942] ppid=10937 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10939/task/10942/stat : 10942 (java) R 10937 10937 7296 0 -1 4202560 39 0 0 0 2 2 0 0 20 0 15 0 154609168 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629705759632 140630096079394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10943] ppid=10937 vsize=13982852 memory=43164 CPUtime=0.05 cores=0,2,4,6
/proc/10939/task/10943/stat : 10943 (java) R 10937 10937 7296 0 -1 4202560 44 0 0 0 3 2 0 0 20 0 15 0 154609168 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629704707288 140630096079385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10944] ppid=10937 vsize=13982852 memory=1296 CPUtime=0.05 cores=0,2,4,6
/proc/10939/task/10944/stat : 10944 (java) R 10937 10937 7296 0 -1 4202560 50 0 0 0 3 2 0 0 20 0 15 0 154609168 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629703654744 140630104148212 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10945] ppid=10937 vsize=13982852 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10945/stat : 10945 (java) S 10937 10937 7296 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 154609169 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629652472352 140630111061717 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10946] ppid=10937 vsize=13982852 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10946/stat : 10946 (java) S 10937 10937 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154609170 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629651420064 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10947] ppid=10937 vsize=13982852 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10947/stat : 10947 (java) S 10937 10937 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154609170 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629650367472 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10948] ppid=10937 vsize=13982852 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10948/stat : 10948 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609172 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629649316048 140630111070107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10949] ppid=10937 vsize=13982852 memory=5792 CPUtime=0.21 cores=0,2,4,6
/proc/10939/task/10949/stat : 10949 (java) S 10937 10937 7296 0 -1 1077944384 1106 0 0 0 21 0 0 0 20 0 15 0 154609172 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629648263664 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10950] ppid=10937 vsize=13982852 memory=796 CPUtime=0.19 cores=0,2,4,6
/proc/10939/task/10950/stat : 10950 (java) S 10937 10937 7296 0 -1 1077944384 1254 0 0 0 19 0 0 0 20 0 15 0 154609172 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629647211120 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10951] ppid=10937 vsize=13982852 memory=1436 CPUtime=0.17 cores=0,2,4,6
/proc/10939/task/10951/stat : 10951 (java) S 10937 10937 7296 0 -1 1077944384 1272 0 0 0 17 0 0 0 20 0 15 0 154609172 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629646158576 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10952] ppid=10937 vsize=13982852 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10952/stat : 10952 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609173 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629015522400 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10953] ppid=10937 vsize=13982852 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10953/stat : 10953 (java) S 10937 10937 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154609173 14318440448 62446 33554432000 4194304 4196468 140724015585984 140629014468912 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 251164 KiB
[startup+1.50148 s]
/proc/loadavg: 1.88 1.97 1.96 6/219 10953
/proc/meminfo: memFree=21754424/32770624 swapFree=67108860/67108860
[pid=10937] ppid=10934 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10937/stat : 10937 (xcsp3-exec) S 10934 10937 7296 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154609167 9740288 345 33554432000 4194304 5098028 140735684492576 140735684490680 140523928863356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19582976 140735684494453 140735684494656 140735684494656 140735684497387 0
/proc/10937/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/10939/task/10947/stat : 10947 (java) S 10937 10937 7296 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 154609170 14320615424 1631055 33554432000 4194304 4196468 140724015585984 140629650367488 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10948] ppid=10937 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10948/stat : 10948 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609172 14320615424 1631055 33554432000 4194304 4196468 140724015585984 140629649316048 140630111070107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10949] ppid=10937 vsize=13984976 memory=244 CPUtime=2.49 cores=0,2,4,6
/proc/10939/task/10949/stat : 10949 (java) S 10937 10937 7296 0 -1 1077944384 6778 0 0 0 248 1 0 0 20 0 15 0 154609172 14320615424 1631055 33554432000 4194304 4196468 140724015585984 140629648263664 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10950] ppid=10937 vsize=13984976 memory=64 CPUtime=2.44 cores=0,2,4,6
/proc/10939/task/10950/stat : 10950 (java) S 10937 10937 7296 0 -1 1077944384 5987 0 0 0 243 1 0 0 20 0 15 0 154609172 14320615424 1631055 33554432000 4194304 4196468 140724015585984 140629647211120 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10951] ppid=10937 vsize=13984976 memory=1380 CPUtime=0.64 cores=0,2,4,6
/proc/10939/task/10951/stat : 10951 (java) S 10937 10937 7296 0 -1 1077944384 4961 0 0 0 64 0 0 0 20 0 15 0 154609172 14320615424 1631055 33554432000 4194304 4196468 140724015585984 140629646158576 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10952] ppid=10937 vsize=13984976 memory=3091968 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10952/stat : 10952 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609173 14320615424 1631055 33554432000 4194304 4196468 140724015585984 140629015522400 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10953] ppid=10937 vsize=13984976 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10939/task/10953/stat : 10953 (java) S 10937 10937 7296 0 -1 1077944384 69 0 0 0 2 1 0 0 20 0 15 0 154609173 14320615424 1631055 33554432000 4194304 4196468 140724015585984 140629014468912 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
Current children cumulated CPU time: 126.92 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 6525600 KiB
[startup+102.301 s]
/proc/loadavg: 2.24 2.12 2.02 3/217 10954
/proc/meminfo: memFree=14178712/32770624 swapFree=67108860/67108860
[pid=10937] ppid=10934 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10937/stat : 10937 (xcsp3-exec) S 10934 10937 7296 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154609167 9740288 345 33554432000 4194304 5098028 140735684492576 140735684490680 140523928863356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19582976 140735684494453 140735684494656 140735684494656 140735684497387 0
/proc/10937/statm: 2378 345 289 221 0 87 0
[pid=10939] ppid=10937 vsize=13984976 memory=6972664 CPUtime=193.9 cores=0,2,4,6
/proc/10939/stat : 10939 (java) S 10937 10937 7296 0 -1 1077944320 87701 0 0 0 18709 681 0 0 20 0 15 0 154609167 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140724015568528 140630111051511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
/proc/10939/statm: 3496244 1743166 3279 1 0 3483478 0
[pid=10939/tid=10940] ppid=10937 vsize=13984976 memory=281105744753424 CPUtime=69.37 cores=0,2,4,6
/proc/10939/task/10940/stat : 10940 (java) R 10937 10937 7296 0 -1 4202560 19617 0 0 0 6925 12 0 0 20 0 15 0 154609167 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140630115288728 140629728634014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10941] ppid=10937 vsize=13984976 memory=0 CPUtime=28.59 cores=0,2,4,6
/proc/10939/task/10941/stat : 10941 (java) S 10937 10937 7296 0 -1 1077944384 7700 0 0 0 2693 166 0 0 20 0 15 0 154609168 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140630048652048 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10942] ppid=10937 vsize=13984976 memory=1380 CPUtime=28.71 cores=0,2,4,6
/proc/10939/task/10942/stat : 10942 (java) S 10937 10937 7296 0 -1 1077944384 7964 0 0 0 2703 168 0 0 20 0 15 0 154609168 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629705759632 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10943] ppid=10937 vsize=13984976 memory=1380 CPUtime=28.73 cores=0,2,4,6
/proc/10939/task/10943/stat : 10943 (java) S 10937 10937 7296 0 -1 1077944384 7116 0 0 0 2713 160 0 0 20 0 15 0 154609168 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629704707088 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10944] ppid=10937 vsize=13984976 memory=6972664 CPUtime=28.83 cores=0,2,4,6
/proc/10939/task/10944/stat : 10944 (java) S 10937 10937 7296 0 -1 1077944384 8656 0 0 0 2719 164 0 0 20 0 15 0 154609168 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629703654544 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10945] ppid=10937 vsize=13984976 memory=1380 CPUtime=3.91 cores=0,2,4,6
/proc/10939/task/10945/stat : 10945 (java) S 10937 10937 7296 0 -1 1077944384 16787 0 0 0 390 1 0 0 20 0 15 0 154609169 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629652473840 140630111062658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10946] ppid=10937 vsize=13984976 memory=6972664 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10946/stat : 10946 (java) S 10937 10937 7296 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154609170 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629651420128 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10947] ppid=10937 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10947/stat : 10947 (java) S 10937 10937 7296 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 154609170 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629650367488 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10948] ppid=10937 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10948/stat : 10948 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609172 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629649316048 140630111070107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10949] ppid=10937 vsize=13984976 memory=6972664 CPUtime=2.49 cores=0,2,4,6
/proc/10939/task/10949/stat : 10949 (java) S 10937 10937 7296 0 -1 1077944384 6785 0 0 0 248 1 0 0 20 0 15 0 154609172 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629648263664 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10950] ppid=10937 vsize=13984976 memory=1380 CPUtime=2.44 cores=0,2,4,6
/proc/10939/task/10950/stat : 10950 (java) S 10937 10937 7296 0 -1 1077944384 5989 0 0 0 243 1 0 0 20 0 15 0 154609172 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629647211120 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10951] ppid=10937 vsize=13984976 memory=1380 CPUtime=0.65 cores=0,2,4,6
/proc/10939/task/10951/stat : 10951 (java) S 10937 10937 7296 0 -1 1077944384 5574 0 0 0 65 0 0 0 20 0 15 0 154609172 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629646158576 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10952] ppid=10937 vsize=13984976 memory=6972664 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10952/stat : 10952 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609173 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629015522400 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10953] ppid=10937 vsize=13984976 memory=140552872013016 CPUtime=0.06 cores=0,2,4,6
/proc/10939/task/10953/stat : 10953 (java) S 10937 10937 7296 0 -1 1077944384 115 0 0 0 3 3 0 0 20 0 15 0 154609173 14320615424 1743166 33554432000 4194304 4196468 140724015585984 140629014468912 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
Current children cumulated CPU time: 193.9 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 6974044 KiB
[startup+162.301 s]
/proc/loadavg: 2.09 2.10 2.02 3/217 11033
/proc/meminfo: memFree=15014244/32770624 swapFree=67108860/67108860
[pid=10937] ppid=10934 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10937/stat : 10937 (xcsp3-exec) S 10934 10937 7296 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154609167 9740288 345 33554432000 4194304 5098028 140735684492576 140735684490680 140523928863356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19582976 140735684494453 140735684494656 140735684494656 140735684497387 0
/proc/10937/statm: 2378 345 289 221 0 87 0
[pid=10939] ppid=10937 vsize=13984976 memory=6972760 CPUtime=254.13 cores=0,2,4,6
/proc/10939/stat : 10939 (java) S 10937 10937 7296 0 -1 1077944320 108317 0 0 0 24729 684 0 0 20 0 15 0 154609167 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140724015568528 140630111051511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
/proc/10939/statm: 3496244 1743190 3279 1 0 3483478 0
[pid=10939/tid=10940] ppid=10937 vsize=13984976 memory=1380 CPUtime=129.31 cores=0,2,4,6
/proc/10939/task/10940/stat : 10940 (java) R 10937 10937 7296 0 -1 4202560 25441 0 0 0 12918 13 0 0 20 0 15 0 154609167 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140630115290880 140629736058408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10941] ppid=10937 vsize=13984976 memory=6972760 CPUtime=28.64 cores=0,2,4,6
/proc/10939/task/10941/stat : 10941 (java) S 10937 10937 7296 0 -1 1077944384 10966 0 0 0 2698 166 0 0 20 0 15 0 154609168 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140630048652048 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10942] ppid=10937 vsize=13984976 memory=6972760 CPUtime=28.77 cores=0,2,4,6
/proc/10939/task/10942/stat : 10942 (java) S 10937 10937 7296 0 -1 1077944384 10829 0 0 0 2709 168 0 0 20 0 15 0 154609168 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629705759632 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10943] ppid=10937 vsize=13984976 memory=1380 CPUtime=28.79 cores=0,2,4,6
/proc/10939/task/10943/stat : 10943 (java) S 10937 10937 7296 0 -1 1077944384 9620 0 0 0 2719 160 0 0 20 0 15 0 154609168 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629704707088 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10944] ppid=10937 vsize=13984976 memory=6972700 CPUtime=28.89 cores=0,2,4,6
/proc/10939/task/10944/stat : 10944 (java) S 10937 10937 7296 0 -1 1077944384 11363 0 0 0 2725 164 0 0 20 0 15 0 154609168 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629703654544 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10945] ppid=10937 vsize=13984976 memory=4144 CPUtime=3.91 cores=0,2,4,6
/proc/10939/task/10945/stat : 10945 (java) S 10937 10937 7296 0 -1 1077944384 17200 0 0 0 390 1 0 0 20 0 15 0 154609169 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629652473840 140630111062658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10946] ppid=10937 vsize=13984976 memory=6972760 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10946/stat : 10946 (java) S 10937 10937 7296 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154609170 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629651420128 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10947] ppid=10937 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10947/stat : 10947 (java) S 10937 10937 7296 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 154609170 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629650367488 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10948] ppid=10937 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10948/stat : 10948 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609172 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629649316048 140630111070107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10949] ppid=10937 vsize=13984976 memory=1380 CPUtime=2.49 cores=0,2,4,6
/proc/10939/task/10949/stat : 10949 (java) S 10937 10937 7296 0 -1 1077944384 6978 0 0 0 248 1 0 0 20 0 15 0 154609172 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629648263664 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10950] ppid=10937 vsize=13984976 memory=6972760 CPUtime=2.44 cores=0,2,4,6
/proc/10939/task/10950/stat : 10950 (java) S 10937 10937 7296 0 -1 1077944384 5994 0 0 0 243 1 0 0 20 0 15 0 154609172 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629647211120 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10951] ppid=10937 vsize=13984976 memory=1380 CPUtime=0.68 cores=0,2,4,6
/proc/10939/task/10951/stat : 10951 (java) S 10937 10937 7296 0 -1 1077944384 8273 0 0 0 67 1 0 0 20 0 15 0 154609172 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629646158576 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10952] ppid=10937 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10952/stat : 10952 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609173 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629015522400 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10953] ppid=10937 vsize=13984976 memory=6972760 CPUtime=0.11 cores=0,2,4,6
/proc/10939/task/10953/stat : 10953 (java) S 10937 10937 7296 0 -1 1077944384 255 0 0 0 6 5 0 0 20 0 15 0 154609173 14320615424 1743190 33554432000 4194304 4196468 140724015585984 140629014468912 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
Current children cumulated CPU time: 254.13 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 6974140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+172.201 s]
/proc/loadavg: 2.07 2.10 2.02 3/217 11033
/proc/meminfo: memFree=14921276/32770624 swapFree=67108860/67108860
[pid=10937] ppid=10934 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10937/stat : 10937 (xcsp3-exec) S 10934 10937 7296 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154609167 9740288 345 33554432000 4194304 5098028 140735684492576 140735684490680 140523928863356 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19582976 140735684494453 140735684494656 140735684494656 140735684497387 0
/proc/10937/statm: 2378 345 289 221 0 87 0
[pid=10939] ppid=10937 vsize=13984976 memory=6972764 CPUtime=264.04 cores=0,2,4,6
/proc/10939/stat : 10939 (java) S 10937 10937 7296 0 -1 1077944320 109903 0 0 0 25720 684 0 0 20 0 15 0 154609167 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140724015568528 140630111051511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
/proc/10939/statm: 3496244 1743191 3279 1 0 3483478 0
[pid=10939/tid=10940] ppid=10937 vsize=13984976 memory=13565994345957952 CPUtime=139.21 cores=0,2,4,6
/proc/10939/task/10940/stat : 10940 (java) R 10937 10937 7296 0 -1 4202560 26365 0 0 0 13908 13 0 0 20 0 15 0 154609167 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140630115287824 140629736058804 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10941] ppid=10937 vsize=13984976 memory=1012 CPUtime=28.64 cores=0,2,4,6
/proc/10939/task/10941/stat : 10941 (java) S 10937 10937 7296 0 -1 1077944384 10966 0 0 0 2698 166 0 0 20 0 15 0 154609168 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140630048652048 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10942] ppid=10937 vsize=13984976 memory=1716 CPUtime=28.77 cores=0,2,4,6
/proc/10939/task/10942/stat : 10942 (java) S 10937 10937 7296 0 -1 1077944384 10829 0 0 0 2709 168 0 0 20 0 15 0 154609168 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629705759632 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10943] ppid=10937 vsize=13984976 memory=1860 CPUtime=28.79 cores=0,2,4,6
/proc/10939/task/10943/stat : 10943 (java) S 10937 10937 7296 0 -1 1077944384 9620 0 0 0 2719 160 0 0 20 0 15 0 154609168 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629704707088 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10944] ppid=10937 vsize=13984976 memory=8728 CPUtime=28.89 cores=0,2,4,6
/proc/10939/task/10944/stat : 10944 (java) S 10937 10937 7296 0 -1 1077944384 11363 0 0 0 2725 164 0 0 20 0 15 0 154609168 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629703654544 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10945] ppid=10937 vsize=13984976 memory=4620 CPUtime=3.91 cores=0,2,4,6
/proc/10939/task/10945/stat : 10945 (java) S 10937 10937 7296 0 -1 1077944384 17200 0 0 0 390 1 0 0 20 0 15 0 154609169 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629652473840 140630111062658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10946] ppid=10937 vsize=13984976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10946/stat : 10946 (java) S 10937 10937 7296 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154609170 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629651420128 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10947] ppid=10937 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10947/stat : 10947 (java) S 10937 10937 7296 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 154609170 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629650367488 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10948] ppid=10937 vsize=13984976 memory=2228 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10948/stat : 10948 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609172 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629649316048 140630111070107 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10949] ppid=10937 vsize=13984976 memory=4124 CPUtime=2.49 cores=0,2,4,6
/proc/10939/task/10949/stat : 10949 (java) S 10937 10937 7296 0 -1 1077944384 6978 0 0 0 248 1 0 0 20 0 15 0 154609172 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629648263664 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10950] ppid=10937 vsize=13984976 memory=2208 CPUtime=2.44 cores=0,2,4,6
/proc/10939/task/10950/stat : 10950 (java) S 10937 10937 7296 0 -1 1077944384 5994 0 0 0 243 1 0 0 20 0 15 0 154609172 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629647211120 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10951] ppid=10937 vsize=13984976 memory=8052 CPUtime=0.68 cores=0,2,4,6
/proc/10939/task/10951/stat : 10951 (java) S 10937 10937 7296 0 -1 1077944384 8935 0 0 0 67 1 0 0 20 0 15 0 154609172 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629646158576 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10952] ppid=10937 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10939/task/10952/stat : 10952 (java) S 10937 10937 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154609173 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629015522400 140630111061717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
[pid=10939/tid=10953] ppid=10937 vsize=13984976 memory=1196 CPUtime=0.11 cores=0,2,4,6
/proc/10939/task/10953/stat : 10953 (java) S 10937 10937 7296 0 -1 1077944384 255 0 0 0 6 5 0 0 20 0 15 0 154609173 14320615424 1743191 33554432000 4194304 4196468 140724015585984 140629014468912 140630111062658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18087936 140724015588509 140724015588684 140724015588684 140724015591375 0
Current children cumulated CPU time: 264.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 6974144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+172.211 s]
# the end of solver process 10937 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000949 s, system=0.000949 s
[startup+172.24 s]
# the end of solver process 10939 was just reported to runsolver
# cumulated CPU time of all completed processes: user=257.215 s, system=6.8769 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): 172.24
CPU time (s): 264.092
CPU user time (s): 257.215
CPU system time (s): 6.8769
CPU usage (%): 153.328
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 6974144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.215
system time used= 6.8769
maximum resident set size= 6973336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7026
involuntary context switches= 1692
# summary of solver processes directly reported to runsolver:
# pid: 10937,10939
# total CPU time (s): 264.092
# total CPU user time (s): 257.215
# total CPU system time (s): 6.8769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40189 second user time and 1.50272 second system time
The end