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 (14955 MiB free)
memory of node 1: 16384 MiB (15021 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272259-1502702964/watcher-4272259-1502702964 -o /tmp/evaluation-result-4272259-1502702964/solver-4272259-1502702964 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 713854930 HOME/instance-4272259-1502702964.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=17133, runsolver pid=17130
[startup+0.100125 s]*
/proc/loadavg: 1.40 1.43 1.39 2/196 17134
/proc/meminfo: memFree=30695820/32770624 swapFree=67108860/67108860
[pid=17133] ppid=17130 vsize=33976 memory=456 CPUtime=0 cores=0,2,4,6
/proc/17133/stat : 17133 (runsolver) D 17130 17133 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 72517060 34791424 114 18446744073709551615 4194304 4346622 140727821434864 140727821431496 140259984134871 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 20566016 140727821443127 140727821443620 140727821443620 140727821447114 0
/proc/17133/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB
[startup+0.20908 s]*
/proc/loadavg: 1.40 1.43 1.39 2/210 17148
/proc/meminfo: memFree=30684972/32770624 swapFree=67108860/67108860
[pid=17133] ppid=17130 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17133/stat : 17133 (xcsp3-exec) S 17130 17133 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 72517060 9740288 345 18446744073709551615 4194304 5098028 140734178175440 140734178173544 139943408177788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 11 0 0 7196144 7232144 40075264 140734178177401 140734178177605 140734178177605 140734178181099 0
/proc/17133/statm: 2378 345 289 221 0 87 0
[pid=17135] ppid=17133 vsize=13907304 memory=21992 CPUtime=0.05 cores=0,2,4,6
/proc/17135/stat : 17135 (java) S 17133 17133 897 0 -1 1077944320 4878 0 0 0 4 1 0 0 20 0 14 0 72517071 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 140735173963840 139933913411319 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
/proc/17135/statm: 3476826 5498 2572 1 0 3466323 0
[pid=17135/tid=17136] ppid=17133 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/17135/task/17136/stat : 17136 (java) D 17133 17133 897 0 -1 4202560 3059 0 0 0 4 0 0 0 20 0 14 0 72517072 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933917648800 139933913433341 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17137] ppid=17133 vsize=13907304 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17137/stat : 17137 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72517072 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933870377232 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17138] ppid=17133 vsize=13907304 memory=140259987101664 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17138/stat : 17138 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72517072 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933869324688 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17139] ppid=17133 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17139/stat : 17139 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 72517072 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933868272144 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17140] ppid=17133 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17140/stat : 17140 (java) S 17133 17133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 72517072 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933867219600 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17141] ppid=17133 vsize=13907304 memory=140259987084928 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17141/stat : 17141 (java) S 17133 17133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 72517074 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933459159536 139933913422466 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17142] ppid=17133 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17142/stat : 17142 (java) S 17133 17133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 72517074 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933458105760 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17143] ppid=17133 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17143/stat : 17143 (java) S 17133 17133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 72517074 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933389940208 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17144] ppid=17133 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17144/stat : 17144 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72517077 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933388888784 139933913429915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17145] ppid=17133 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17145/stat : 17145 (java) S 17133 17133 897 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 14 0 72517077 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933387835376 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17146] ppid=17133 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17146/stat : 17146 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72517077 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933386782832 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17147] ppid=17133 vsize=13907304 memory=140259987084928 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17147/stat : 17147 (java) S 17133 17133 897 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 72517077 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933385730288 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17148] ppid=17133 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17148/stat : 17148 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 72517077 14241079296 5498 18446744073709551615 4194304 4196468 140735173981296 139933384677984 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23372 KiB
[startup+0.309913 s]*
/proc/loadavg: 1.40 1.43 1.39 4/211 17149
/proc/meminfo: memFree=30677680/32770624 swapFree=67108860/67108860
[pid=17133] ppid=17130 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17133/stat : 17133 (xcsp3-exec) S 17130 17133 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 72517060 9740288 345 18446744073709551615 4194304 5098028 140734178175440 140734178173544 139943408177788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 11 0 0 7196144 7232144 40075264 140734178177401 140734178177605 140734178177605 140734178181099 0
/proc/17133/statm: 2378 345 289 221 0 87 0
[pid=17135] ppid=17133 vsize=13974352 memory=31364 CPUtime=0.2 cores=0,2,4,6
/proc/17135/stat : 17135 (java) S 17133 17133 897 0 -1 1077944320 6252 0 0 0 19 1 0 0 20 0 15 0 72517071 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 140735173963840 139933913411319 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
/proc/17135/statm: 3493588 7841 2965 1 0 3482964 0
[pid=17135/tid=17136] ppid=17133 vsize=13974352 memory=-8774313645642428999 CPUtime=0.12 cores=0,2,4,6
/proc/17135/task/17136/stat : 17136 (java) R 17133 17133 897 0 -1 4202560 3537 0 0 0 12 0 0 0 20 0 15 0 72517072 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933917639504 139933897491806 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17137] ppid=17133 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17137/stat : 17137 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933870377232 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17138] ppid=17133 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17138/stat : 17138 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933869324688 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17139] ppid=17133 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17139/stat : 17139 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933868272144 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17140] ppid=17133 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17140/stat : 17140 (java) S 17133 17133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72517072 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933867219600 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17141] ppid=17133 vsize=13974352 memory=140259987084928 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17141/stat : 17141 (java) S 17133 17133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72517074 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933459159536 139933913422466 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17142] ppid=17133 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17142/stat : 17142 (java) S 17133 17133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72517074 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933458105760 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17143] ppid=17133 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17143/stat : 17143 (java) S 17133 17133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72517074 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933389940208 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17144] ppid=17133 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17144/stat : 17144 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933388888784 139933913429915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17145] ppid=17133 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17135/task/17145/stat : 17145 (java) S 17133 17133 897 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 15 0 72517077 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933387835376 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17146] ppid=17133 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17146/stat : 17146 (java) S 17133 17133 897 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 72517077 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933386782832 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17147] ppid=17133 vsize=13974352 memory=140259987084928 CPUtime=0.04 cores=0,2,4,6
/proc/17135/task/17147/stat : 17147 (java) R 17133 17133 897 0 -1 4202560 694 0 0 0 4 0 0 0 20 0 15 0 72517077 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933385730288 139933897491806 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17148] ppid=17133 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17148/stat : 17148 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933384677984 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17149] ppid=17133 vsize=13974352 memory=140259987084928 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17149/stat : 17149 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517084 14309736448 7841 18446744073709551615 4194304 4196468 140735173981296 139933383625520 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32744 KiB
[startup+0.706914 s]
/proc/loadavg: 1.40 1.43 1.39 4/211 17149
/proc/meminfo: memFree=30661828/32770624 swapFree=67108860/67108860
[pid=17133] ppid=17130 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17133/stat : 17133 (xcsp3-exec) S 17130 17133 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 72517060 9740288 345 18446744073709551615 4194304 5098028 140734178175440 140734178173544 139943408177788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 11 0 0 7196144 7232144 40075264 140734178177401 140734178177605 140734178177605 140734178181099 0
/proc/17133/statm: 2378 345 289 221 0 87 0
[pid=17135] ppid=17133 vsize=13980732 memory=60380 CPUtime=1.01 cores=0,2,4,6
/proc/17135/stat : 17135 (java) S 17133 17133 897 0 -1 1077944320 12206 0 0 0 97 4 0 0 20 0 15 0 72517071 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 140735173963840 139933913411319 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
/proc/17135/statm: 3495183 15095 3156 1 0 3483476 0
[pid=17135/tid=17136] ppid=17133 vsize=13980732 memory=280519749146048 CPUtime=0.5 cores=0,2,4,6
/proc/17135/task/17136/stat : 17136 (java) R 17133 17133 897 0 -1 4202560 8455 0 0 0 47 3 0 0 20 0 15 0 72517072 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933917640816 139933906089333 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17137] ppid=17133 vsize=13980732 memory=280519749224256 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17137/stat : 17137 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933870377232 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17138] ppid=17133 vsize=13980732 memory=280519749146240 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17138/stat : 17138 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933869324688 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17139] ppid=17133 vsize=13980732 memory=280519749224448 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17139/stat : 17139 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933868272144 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17140] ppid=17133 vsize=13980732 memory=280519749224640 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17140/stat : 17140 (java) S 17133 17133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72517072 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933867219600 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17141] ppid=17133 vsize=13980732 memory=280519749224832 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17141/stat : 17141 (java) S 17133 17133 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933459159536 139933913422466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17142] ppid=17133 vsize=13980732 memory=280519749225024 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17142/stat : 17142 (java) S 17133 17133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933458105760 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17143] ppid=17133 vsize=13980732 memory=280519749225216 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17143/stat : 17143 (java) S 17133 17133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933389940208 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17144] ppid=17133 vsize=13980732 memory=280519749225408 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17144/stat : 17144 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933388888784 139933913429915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17145] ppid=17133 vsize=13980732 memory=1200 CPUtime=0.12 cores=0,2,4,6
/proc/17135/task/17145/stat : 17145 (java) R 17133 17133 897 0 -1 4202560 858 0 0 0 12 0 0 0 20 0 15 0 72517077 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933387821472 139933896614640 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17146] ppid=17133 vsize=13980732 memory=7014751519734126161 CPUtime=0.08 cores=0,2,4,6
/proc/17135/task/17146/stat : 17146 (java) S 17133 17133 897 0 -1 1077944384 342 0 0 0 8 0 0 0 20 0 15 0 72517077 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933386782832 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17147] ppid=17133 vsize=13980732 memory=7013348620257285230 CPUtime=0.28 cores=0,2,4,6
/proc/17135/task/17147/stat : 17147 (java) R 17133 17133 897 0 -1 4202560 1243 0 0 0 28 0 0 0 20 0 15 0 72517077 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933385730288 139933897587186 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17148] ppid=17133 vsize=13980732 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17148/stat : 17148 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933384677984 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17149] ppid=17133 vsize=13980732 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17149/stat : 17149 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517084 14316269568 15095 18446744073709551615 4194304 4196468 140735173981296 139933383625520 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61760 KiB
[startup+1.50091 s]
/proc/loadavg: 1.40 1.43 1.39 5/211 17149
/proc/meminfo: memFree=30618928/32770624 swapFree=67108860/67108860
[pid=17133] ppid=17130 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17133/stat : 17133 (xcsp3-exec) S 17130 17133 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 72517060 9740288 345 18446744073709551615 4194304 5098028 140734178175440 140734178173544 139943408177788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 11 0 0 7196144 7232144 40075264 140734178177401 140734178177605 140734178177605 140734178181099 0
/proc/17133/statm: 2378 345 289 221 0 87 0
[pid=17135] ppid=17133 vsize=13980732 memory=134684 CPUtime=3.56 cores=0,2,4,6
/proc/17135/stat : 17135 (java) S 17133 17133 897 0 -1 1077944320 39797 0 0 0 347 9 0 0 20 0 15 0 72517071 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 140735173963840 139933913411319 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
/proc/17135/statm: 3495183 33671 3193 1 0 3483476 0
[pid=17135/tid=17136] ppid=17133 vsize=13980732 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/17135/task/17136/stat : 17136 (java) R 17133 17133 897 0 -1 4202560 9274 0 0 0 126 3 0 0 20 0 15 0 72517072 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933917644056 139933545602961 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17137] ppid=17133 vsize=13980732 memory=140259874748696 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17137/stat : 17137 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933870377232 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17138] ppid=17133 vsize=13980732 memory=22508 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17138/stat : 17138 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933869324688 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17139] ppid=17133 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17139/stat : 17139 (java) S 17133 17133 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72517072 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933868272144 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17140] ppid=17133 vsize=13980732 memory=74028 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17140/stat : 17140 (java) S 17133 17133 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72517072 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933867219600 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17141] ppid=17133 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17141/stat : 17141 (java) S 17133 17133 897 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933459159536 139933913422466 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17142] ppid=17133 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17142/stat : 17142 (java) S 17133 17133 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933458105760 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17143] ppid=17133 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17143/stat : 17143 (java) S 17133 17133 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933389940208 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17144] ppid=17133 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17144/stat : 17144 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933388888784 139933913429915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17145] ppid=17133 vsize=13980732 memory=7668901650516239447 CPUtime=0.87 cores=0,2,4,6
/proc/17135/task/17145/stat : 17145 (java) R 17133 17133 897 0 -1 4202560 18595 0 0 0 84 3 0 0 20 0 15 0 72517077 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933387821400 139933894955904 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17146] ppid=17133 vsize=13980732 memory=8101247189090653288 CPUtime=0.83 cores=0,2,4,6
/proc/17135/task/17146/stat : 17146 (java) R 17133 17133 897 0 -1 4202560 6772 0 0 0 83 0 0 0 20 0 15 0 72517077 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933386763848 139933894110856 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17147] ppid=17133 vsize=13980732 memory=6298123985723354468 CPUtime=0.52 cores=0,2,4,6
/proc/17135/task/17147/stat : 17147 (java) S 17133 17133 897 0 -1 1077944384 3835 0 0 0 52 0 0 0 20 0 15 0 72517077 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933385730288 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17148] ppid=17133 vsize=13980732 memory=7235143205171713895 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17148/stat : 17148 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933384677984 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17149] ppid=17133 vsize=13980732 memory=80 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17149/stat : 17149 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517084 14316269568 33671 18446744073709551615 4194304 4196468 140735173981296 139933383625520 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
Current children cumulated CPU time: 3.56 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/17135/task/17143/stat : 17143 (java) S 17133 17133 897 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 122168 18446744073709551615 4194304 4196468 140735173981296 139933389940208 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17144] ppid=17133 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17144/stat : 17144 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 122168 18446744073709551615 4194304 4196468 140735173981296 139933388888784 139933913429915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17145] ppid=17133 vsize=13980732 memory=1380 CPUtime=3.99 cores=0,2,4,6
/proc/17135/task/17145/stat : 17145 (java) S 17133 17133 897 0 -1 1077944384 30664 0 0 0 395 4 0 0 20 0 15 0 72517077 14316269568 122168 18446744073709551615 4194304 4196468 140735173981296 139933387835376 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17146] ppid=17133 vsize=13980732 memory=1380 CPUtime=4.28 cores=0,2,4,6
/proc/17135/task/17146/stat : 17146 (java) S 17133 17133 897 0 -1 1077944384 23899 0 0 0 425 3 0 0 20 0 15 0 72517077 14316269568 122168 18446744073709551615 4194304 4196468 140735173981296 139933386782832 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17147] ppid=17133 vsize=13980732 memory=494828 CPUtime=0.77 cores=0,2,4,6
/proc/17135/task/17147/stat : 17147 (java) S 17133 17133 897 0 -1 1077944384 11205 0 0 0 75 2 0 0 20 0 15 0 72517077 14316269568 122168 18446744073709551615 4194304 4196468 140735173981296 139933385730288 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17148] ppid=17133 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17148/stat : 17148 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 122168 18446744073709551615 4194304 4196468 140735173981296 139933384677984 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17149] ppid=17133 vsize=13980732 memory=492776 CPUtime=1.2 cores=0,2,4,6
/proc/17135/task/17149/stat : 17149 (java) S 17133 17133 897 0 -1 1077944384 1240 0 0 0 58 62 0 0 20 0 15 0 72517084 14316269568 122168 18446744073709551615 4194304 4196468 140735173981296 139933383625520 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
Current children cumulated CPU time: 2387.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 490052 KiB
[startup+2382.3 s]
/proc/loadavg: 1.59 1.58 1.52 3/212 17451
/proc/meminfo: memFree=30170780/32770624 swapFree=67108860/67108860
[pid=17133] ppid=17130 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17133/stat : 17133 (xcsp3-exec) S 17130 17133 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 72517060 9740288 345 18446744073709551615 4194304 5098028 140734178175440 140734178173544 139943408177788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 11 0 0 7196144 7232144 40075264 140734178177401 140734178177605 140734178177605 140734178181099 0
/proc/17133/statm: 2378 345 289 221 0 87 0
[pid=17135] ppid=17133 vsize=13980732 memory=461472 CPUtime=2448.78 cores=0,2,4,6
/proc/17135/stat : 17135 (java) S 17133 17133 897 0 -1 1077944320 269580 0 0 0 244486 392 0 0 20 0 15 0 72517071 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 140735173963840 139933913411319 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
/proc/17135/statm: 3495183 115368 3259 1 0 3483476 0
[pid=17135/tid=17136] ppid=17133 vsize=13980732 memory=468140 CPUtime=2359.86 cores=0,2,4,6
/proc/17135/task/17136/stat : 17136 (java) R 17133 17133 897 0 -1 4202560 84434 0 0 0 235963 23 0 0 20 0 15 0 72517072 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933917650800 139933544726682 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17137] ppid=17133 vsize=13980732 memory=449584 CPUtime=19.14 cores=0,2,4,6
/proc/17135/task/17137/stat : 17137 (java) S 17133 17133 897 0 -1 1077944384 17149 0 0 0 1841 73 0 0 20 0 15 0 72517072 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933870377232 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17138] ppid=17133 vsize=13980732 memory=491660 CPUtime=19.14 cores=0,2,4,6
/proc/17135/task/17138/stat : 17138 (java) S 17133 17133 897 0 -1 1077944384 21311 0 0 0 1843 71 0 0 20 0 15 0 72517072 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933869324688 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17139] ppid=17133 vsize=13980732 memory=243387 CPUtime=19.12 cores=0,2,4,6
/proc/17135/task/17139/stat : 17139 (java) S 17133 17133 897 0 -1 1077944384 19591 0 0 0 1845 67 0 0 20 0 15 0 72517072 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933868272144 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17140] ppid=17133 vsize=13980732 memory=478884 CPUtime=19.15 cores=0,2,4,6
/proc/17135/task/17140/stat : 17140 (java) S 17133 17133 897 0 -1 1077944384 20327 0 0 0 1845 70 0 0 20 0 15 0 72517072 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933867219600 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17141] ppid=17133 vsize=13980732 memory=1380 CPUtime=2 cores=0,2,4,6
/proc/17135/task/17141/stat : 17141 (java) S 17133 17133 897 0 -1 1077944384 38289 0 0 0 164 36 0 0 20 0 15 0 72517074 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933459159536 139933913422466 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17142] ppid=17133 vsize=13980732 memory=465064 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17142/stat : 17142 (java) S 17133 17133 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933458105760 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17143] ppid=17133 vsize=13980732 memory=465064 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17143/stat : 17143 (java) S 17133 17133 897 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933389940208 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17144] ppid=17133 vsize=13980732 memory=461472 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17144/stat : 17144 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933388888784 139933913429915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17145] ppid=17133 vsize=13980732 memory=1380 CPUtime=3.99 cores=0,2,4,6
/proc/17135/task/17145/stat : 17145 (java) S 17133 17133 897 0 -1 1077944384 30666 0 0 0 395 4 0 0 20 0 15 0 72517077 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933387835376 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17146] ppid=17133 vsize=13980732 memory=1728 CPUtime=4.29 cores=0,2,4,6
/proc/17135/task/17146/stat : 17146 (java) S 17133 17133 897 0 -1 1077944384 23995 0 0 0 426 3 0 0 20 0 15 0 72517077 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933386782832 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17147] ppid=17133 vsize=13980732 memory=1228 CPUtime=0.77 cores=0,2,4,6
/proc/17135/task/17147/stat : 17147 (java) S 17133 17133 897 0 -1 1077944384 11207 0 0 0 75 2 0 0 20 0 15 0 72517077 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933385730288 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17148] ppid=17133 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17148/stat : 17148 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933384677984 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17149] ppid=17133 vsize=13980732 memory=2764 CPUtime=1.23 cores=0,2,4,6
/proc/17135/task/17149/stat : 17149 (java) S 17133 17133 897 0 -1 1077944384 1259 0 0 0 59 64 0 0 20 0 15 0 72517084 14316269568 115368 18446744073709551615 4194304 4196468 140735173981296 139933383625520 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
Current children cumulated CPU time: 2448.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 462852 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.58 1.52 3/211 17454
/proc/meminfo: memFree=30135528/32770624 swapFree=67108860/67108860
[pid=17133] ppid=17130 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17133/stat : 17133 (xcsp3-exec) S 17130 17133 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 72517060 9740288 345 18446744073709551615 4194304 5098028 140734178175440 140734178173544 139943408177788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 11 0 0 7196144 7232144 40075264 140734178177401 140734178177605 140734178177605 140734178181099 0
/proc/17133/statm: 2378 345 289 221 0 87 0
[pid=17135] ppid=17133 vsize=13980732 memory=440404 CPUtime=2510.32 cores=0,2,4,6
/proc/17135/stat : 17135 (java) S 17133 17133 897 0 -1 1077944320 274168 0 0 0 250631 401 0 0 20 0 15 0 72517071 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 140735173963840 139933913411319 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
/proc/17135/statm: 3495183 110101 3259 1 0 3483476 0
[pid=17135/tid=17136] ppid=17133 vsize=13980732 memory=432180 CPUtime=2419.3 cores=0,2,4,6
/proc/17135/task/17136/stat : 17136 (java) R 17133 17133 897 0 -1 4202560 86720 0 0 0 241907 23 0 0 20 0 15 0 72517072 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933917650688 139933546348160 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17137] ppid=17133 vsize=13980732 memory=417820 CPUtime=19.64 cores=0,2,4,6
/proc/17135/task/17137/stat : 17137 (java) S 17133 17133 897 0 -1 1077944384 17546 0 0 0 1890 74 0 0 20 0 15 0 72517072 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933870377232 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17138] ppid=17133 vsize=13980732 memory=1380 CPUtime=19.64 cores=0,2,4,6
/proc/17135/task/17138/stat : 17138 (java) S 17133 17133 897 0 -1 1077944384 21500 0 0 0 1891 73 0 0 20 0 15 0 72517072 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933869324688 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17139] ppid=17133 vsize=13980732 memory=243387 CPUtime=19.63 cores=0,2,4,6
/proc/17135/task/17139/stat : 17139 (java) S 17133 17133 897 0 -1 1077944384 19944 0 0 0 1894 69 0 0 20 0 15 0 72517072 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933868272144 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17140] ppid=17133 vsize=13980732 memory=434752 CPUtime=19.65 cores=0,2,4,6
/proc/17135/task/17140/stat : 17140 (java) S 17133 17133 897 0 -1 1077944384 20545 0 0 0 1894 71 0 0 20 0 15 0 72517072 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933867219600 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17141] ppid=17133 vsize=13980732 memory=417820 CPUtime=2.04 cores=0,2,4,6
/proc/17135/task/17141/stat : 17141 (java) S 17133 17133 897 0 -1 1077944384 39430 0 0 0 167 37 0 0 20 0 15 0 72517074 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933459159536 139933913422466 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17142] ppid=17133 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17142/stat : 17142 (java) S 17133 17133 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933458105760 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17143] ppid=17133 vsize=13980732 memory=405508 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17143/stat : 17143 (java) S 17133 17133 897 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933389940208 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17144] ppid=17133 vsize=13980732 memory=432180 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17144/stat : 17144 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933388888784 139933913429915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17145] ppid=17133 vsize=13980732 memory=440404 CPUtime=4 cores=0,2,4,6
/proc/17135/task/17145/stat : 17145 (java) S 17133 17133 897 0 -1 1077944384 30666 0 0 0 395 5 0 0 20 0 15 0 72517077 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933387835376 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17146] ppid=17133 vsize=13980732 memory=1380 CPUtime=4.29 cores=0,2,4,6
/proc/17135/task/17146/stat : 17146 (java) S 17133 17133 897 0 -1 1077944384 23995 0 0 0 426 3 0 0 20 0 15 0 72517077 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933386782832 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17147] ppid=17133 vsize=13980732 memory=1380 CPUtime=0.77 cores=0,2,4,6
/proc/17135/task/17147/stat : 17147 (java) S 17133 17133 897 0 -1 1077944384 11207 0 0 0 75 2 0 0 20 0 15 0 72517077 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933385730288 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17148] ppid=17133 vsize=13980732 memory=440404 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17148/stat : 17148 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933384677984 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17149] ppid=17133 vsize=13980732 memory=1380 CPUtime=1.27 cores=0,2,4,6
/proc/17135/task/17149/stat : 17149 (java) S 17133 17133 897 0 -1 1077944384 1263 0 0 0 61 66 0 0 20 0 15 0 72517084 14316269568 110101 18446744073709551615 4194304 4196468 140735173981296 139933383625520 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
Current children cumulated CPU time: 2510.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 441784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2451.8 s]
/proc/loadavg: 1.65 1.59 1.52 3/211 17454
/proc/meminfo: memFree=30099964/32770624 swapFree=67108860/67108860
[pid=17133] ppid=17130 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17133/stat : 17133 (xcsp3-exec) S 17130 17133 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 72517060 9740288 345 18446744073709551615 4194304 5098028 140734178175440 140734178173544 139943408177788 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 11 0 0 7196144 7232144 40075264 140734178177401 140734178177605 140734178177605 140734178181099 0
/proc/17133/statm: 2378 345 289 221 0 87 0
[pid=17135] ppid=17133 vsize=13980732 memory=476036 CPUtime=2520.02 cores=0,2,4,6
/proc/17135/stat : 17135 (java) S 17133 17133 897 0 -1 1077944320 275368 0 0 0 251597 405 0 0 20 0 15 0 72517071 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 140735173963840 139933913411319 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
/proc/17135/statm: 3495183 119009 3259 1 0 3483476 0
[pid=17135/tid=17136] ppid=17133 vsize=13980732 memory=288230617509003574 CPUtime=2428.73 cores=0,2,4,6
/proc/17135/task/17136/stat : 17136 (java) R 17133 17133 897 0 -1 4202560 87248 0 0 0 242850 23 0 0 20 0 15 0 72517072 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933917650784 139933547068173 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17137] ppid=17133 vsize=13980732 memory=15536310592997909 CPUtime=19.71 cores=0,2,4,6
/proc/17135/task/17137/stat : 17137 (java) S 17133 17133 897 0 -1 1077944384 17715 0 0 0 1896 75 0 0 20 0 15 0 72517072 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933870377232 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17138] ppid=17133 vsize=13980732 memory=10164 CPUtime=19.7 cores=0,2,4,6
/proc/17135/task/17138/stat : 17138 (java) S 17133 17133 897 0 -1 1077944384 21674 0 0 0 1896 74 0 0 20 0 15 0 72517072 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933869324688 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17139] ppid=17133 vsize=13980732 memory=1440 CPUtime=19.69 cores=0,2,4,6
/proc/17135/task/17139/stat : 17139 (java) S 17133 17133 897 0 -1 1077944384 20096 0 0 0 1899 70 0 0 20 0 15 0 72517072 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933868272144 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17140] ppid=17133 vsize=13980732 memory=2000 CPUtime=19.72 cores=0,2,4,6
/proc/17135/task/17140/stat : 17140 (java) S 17133 17133 897 0 -1 1077944384 20710 0 0 0 1900 72 0 0 20 0 15 0 72517072 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933867219600 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17141] ppid=17133 vsize=13980732 memory=4616 CPUtime=2.04 cores=0,2,4,6
/proc/17135/task/17141/stat : 17141 (java) S 17133 17133 897 0 -1 1077944384 39442 0 0 0 167 37 0 0 20 0 15 0 72517074 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933459159536 139933913422466 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17142] ppid=17133 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17142/stat : 17142 (java) S 17133 17133 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933458105760 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17143] ppid=17133 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17143/stat : 17143 (java) S 17133 17133 897 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 72517074 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933389940208 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17144] ppid=17133 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17144/stat : 17144 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933388888784 139933913429915 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17145] ppid=17133 vsize=13980732 memory=2000 CPUtime=4 cores=0,2,4,6
/proc/17135/task/17145/stat : 17145 (java) S 17133 17133 897 0 -1 1077944384 30666 0 0 0 395 5 0 0 20 0 15 0 72517077 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933387835376 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17146] ppid=17133 vsize=13980732 memory=10996 CPUtime=4.29 cores=0,2,4,6
/proc/17135/task/17146/stat : 17146 (java) S 17133 17133 897 0 -1 1077944384 23995 0 0 0 426 3 0 0 20 0 15 0 72517077 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933386782832 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17147] ppid=17133 vsize=13980732 memory=1200 CPUtime=0.77 cores=0,2,4,6
/proc/17135/task/17147/stat : 17147 (java) S 17133 17133 897 0 -1 1077944384 11207 0 0 0 75 2 0 0 20 0 15 0 72517077 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933385730288 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17148] ppid=17133 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17135/task/17148/stat : 17148 (java) S 17133 17133 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72517077 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933384677984 139933913421525 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
[pid=17135/tid=17149] ppid=17133 vsize=13980732 memory=1292 CPUtime=1.27 cores=0,2,4,6
/proc/17135/task/17149/stat : 17149 (java) S 17133 17133 897 0 -1 1077944384 1263 0 0 0 61 66 0 0 20 0 15 0 72517084 14316269568 119009 18446744073709551615 4194304 4196468 140735173981296 139933383625520 139933913422466 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 14528512 140735173984689 140735173984865 140735173984865 140735173988303 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 477416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2451.81 s]
# the end of solver process 17133 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001044 s, system=0.001044 s
[startup+2451.81 s]
# the end of solver process 17135 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.99 s, system=4.05805 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): 2451.81
CPU time (s): 2520.04
CPU user time (s): 2515.99
CPU system time (s): 4.05805
CPU usage (%): 102.783
Max. virtual memory (cumulated for all children) (KiB): 13994196
Max. memory (cumulated for all children) (KiB): 547540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.99
system time used= 4.05805
maximum resident set size= 546476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96286
involuntary context switches= 5207
# summary of solver processes directly reported to runsolver:
# pid: 17133,17135
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.99
# total CPU system time (s): 4.05805
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8388 second user time and 25.5212 second system time
The end