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 (14988 MiB free)
memory of node 1: 16384 MiB (15329 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270064-1502621790/watcher-4270064-1502621790 -o /tmp/evaluation-result-4270064-1502621790/solver-4270064-1502621790 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1232540721 HOME/instance-4270064-1502621790.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=25187, runsolver pid=25184
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 2.05 1.96 1.87 3/198 25190
/proc/meminfo: memFree=31043672/32770624 swapFree=67108860/67108860
[pid=25187] ppid=25184 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (xcsp3-exec) S 25184 25187 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64399678 9740288 345 18446744073709551615 4194304 5098028 140734381375488 140734381373592 139972557210236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17825792 140734381384062 140734381384266 140734381384266 140734381387755 0
/proc/25187/statm: 2378 345 289 221 0 87 0
[pid=25189] ppid=25187 vsize=13358712 memory=11936 CPUtime=0 cores=0,2,4,6
/proc/25189/stat : 25189 (java) S 25187 25187 897 0 -1 1077944320 3293 0 0 0 0 0 0 0 20 0 6 0 64399688 13679321088 2984 18446744073709551615 4194304 4196468 140722252014384 140722251996928 140588338110199 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
/proc/25189/statm: 3339678 2984 1866 1 0 3329175 0
[pid=25189/tid=25190] ppid=25187 vsize=13358712 memory=7311146985107750967 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25190/stat : 25190 (java) R 25187 25187 897 0 -1 4202560 2074 0 0 0 0 0 0 0 20 0 6 0 64399688 13679321088 3050 18446744073709551615 4194304 4196468 140722252014384 140588342346320 140588323792691 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25191] ppid=25187 vsize=13358712 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25191/stat : 25191 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64399689 13679321088 3050 18446744073709551615 4194304 4196468 140722252014384 140587938433552 140588338120405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25192] ppid=25187 vsize=13358712 memory=288370762910312064 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25192/stat : 25192 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64399689 13679321088 3050 18446744073709551615 4194304 4196468 140722252014384 140587937381008 140588338120405 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25193] ppid=25187 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25193/stat : 25193 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64399689 13679321088 3050 18446744073709551615 4194304 4196468 140722252014384 140587936327952 140588338120405 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25194] ppid=25187 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25194/stat : 25194 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64399689 13679321088 3050 18446744073709551615 4194304 4196468 140722252014384 140587935275408 140588338120405 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 13316 KiB
[startup+0.211522 s]*
/proc/loadavg: 2.05 1.96 1.87 4/211 25203
/proc/meminfo: memFree=31033336/32770624 swapFree=67108860/67108860
[pid=25187] ppid=25184 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (xcsp3-exec) S 25184 25187 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64399678 9740288 345 18446744073709551615 4194304 5098028 140734381375488 140734381373592 139972557210236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17825792 140734381384062 140734381384266 140734381384266 140734381387755 0
/proc/25187/statm: 2378 345 289 221 0 87 0
[pid=25189] ppid=25187 vsize=13974352 memory=23096 CPUtime=0.07 cores=0,2,4,6
/proc/25189/stat : 25189 (java) S 25187 25187 897 0 -1 1077944320 5214 0 0 0 6 1 0 0 20 0 15 0 64399688 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140722251996928 140588338110199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
/proc/25189/statm: 3493588 5774 2712 1 0 3482964 0
[pid=25189/tid=25190] ppid=25187 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/25189/task/25190/stat : 25190 (java) R 25187 25187 897 0 -1 4202560 3379 0 0 0 5 1 0 0 20 0 15 0 64399688 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140588342340080 140588322190686 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25191] ppid=25187 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25191/stat : 25191 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399689 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587938433552 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25192] ppid=25187 vsize=13974352 memory=288370762910312064 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25192/stat : 25192 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399689 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587937381008 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25193] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25193/stat : 25193 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399689 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587936327952 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25194] ppid=25187 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25194/stat : 25194 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399689 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587935275408 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25195] ppid=25187 vsize=13974352 memory=140386758600320 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25195/stat : 25195 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399690 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587816643312 140588338121346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25196] ppid=25187 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25196/stat : 25196 (java) S 25187 25187 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64399690 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587815589536 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25197] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25197/stat : 25197 (java) S 25187 25187 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64399691 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587814536432 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25198] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25198/stat : 25198 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587813485008 140588338128795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25199] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25199/stat : 25199 (java) S 25187 25187 897 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 64399693 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587812432112 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25200] ppid=25187 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25200/stat : 25200 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587811379568 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25201] ppid=25187 vsize=13974352 memory=140386758600320 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25201/stat : 25201 (java) S 25187 25187 897 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 64399693 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587810326512 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25202] ppid=25187 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25202/stat : 25202 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587809274208 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25203] ppid=25187 vsize=13974352 memory=140386758600320 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25203/stat : 25203 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399699 14309736448 5774 18446744073709551615 4194304 4196468 140722252014384 140587808222256 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24476 KiB
[startup+0.310024 s]*
/proc/loadavg: 2.05 1.96 1.87 4/211 25203
/proc/meminfo: memFree=31019836/32770624 swapFree=67108860/67108860
[pid=25187] ppid=25184 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (xcsp3-exec) S 25184 25187 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64399678 9740288 345 18446744073709551615 4194304 5098028 140734381375488 140734381373592 139972557210236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17825792 140734381384062 140734381384266 140734381384266 140734381387755 0
/proc/25187/statm: 2378 345 289 221 0 87 0
[pid=25189] ppid=25187 vsize=13974352 memory=36608 CPUtime=0.24 cores=0,2,4,6
/proc/25189/stat : 25189 (java) S 25187 25187 897 0 -1 1077944320 8799 0 0 0 22 2 0 0 20 0 15 0 64399688 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140722251996928 140588338110199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
/proc/25189/statm: 3493588 9152 2975 1 0 3482964 0
[pid=25189/tid=25190] ppid=25187 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/25189/task/25190/stat : 25190 (java) R 25187 25187 897 0 -1 4202560 6038 0 0 0 14 1 0 0 20 0 15 0 64399688 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140588342332576 140588338132125 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25191] ppid=25187 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25191/stat : 25191 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399689 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587938433552 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25192] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25192/stat : 25192 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399689 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587937381008 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25193] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25193/stat : 25193 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399689 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587936327952 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25194] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25194/stat : 25194 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399689 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587935275408 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25195] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25195/stat : 25195 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399690 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587816643312 140588338121346 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25196] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25196/stat : 25196 (java) S 25187 25187 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64399690 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587815589536 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25197] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25197/stat : 25197 (java) S 25187 25187 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64399691 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587814536432 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25198] ppid=25187 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25198/stat : 25198 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587813485008 140588338128795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25199] ppid=25187 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25189/task/25199/stat : 25199 (java) S 25187 25187 897 0 -1 1077944384 650 0 0 0 2 0 0 0 20 0 15 0 64399693 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587812432112 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25200] ppid=25187 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25200/stat : 25200 (java) S 25187 25187 897 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 64399693 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587811379568 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25201] ppid=25187 vsize=13974352 memory=140386758600320 CPUtime=0.05 cores=0,2,4,6
/proc/25189/task/25201/stat : 25201 (java) S 25187 25187 897 0 -1 1077944384 684 0 0 0 5 0 0 0 20 0 15 0 64399693 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587810326512 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25202] ppid=25187 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25202/stat : 25202 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587809274208 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25203] ppid=25187 vsize=13974352 memory=140386758600320 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25203/stat : 25203 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399699 14309736448 9152 18446744073709551615 4194304 4196468 140722252014384 140587808222256 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37988 KiB
[startup+0.700752 s]
/proc/loadavg: 2.05 1.96 1.87 5/211 25203
/proc/meminfo: memFree=31005680/32770624 swapFree=67108860/67108860
[pid=25187] ppid=25184 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (xcsp3-exec) S 25184 25187 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64399678 9740288 345 18446744073709551615 4194304 5098028 140734381375488 140734381373592 139972557210236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17825792 140734381384062 140734381384266 140734381384266 140734381387755 0
/proc/25187/statm: 2378 345 289 221 0 87 0
[pid=25189] ppid=25187 vsize=13980732 memory=62496 CPUtime=1.08 cores=0,2,4,6
/proc/25189/stat : 25189 (java) S 25187 25187 897 0 -1 1077944320 12802 0 0 0 103 5 0 0 20 0 15 0 64399688 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140722251996928 140588338110199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
/proc/25189/statm: 3495183 15624 3171 1 0 3483476 0
[pid=25189/tid=25190] ppid=25187 vsize=13980732 memory=36408 CPUtime=0.53 cores=0,2,4,6
/proc/25189/task/25190/stat : 25190 (java) R 25187 25187 897 0 -1 4202560 8582 0 0 0 50 3 0 0 20 0 15 0 64399688 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140588342345936 140588322190716 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25191] ppid=25187 vsize=13980732 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25191/stat : 25191 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399689 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587938433552 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25192] ppid=25187 vsize=13980732 memory=25332 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25192/stat : 25192 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399689 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587937381008 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25193] ppid=25187 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25193/stat : 25193 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399689 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587936327952 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25194] ppid=25187 vsize=13980732 memory=6657 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25194/stat : 25194 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399689 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587935275408 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25195] ppid=25187 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25195/stat : 25195 (java) S 25187 25187 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64399690 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587816643312 140588338121346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25196] ppid=25187 vsize=13980732 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25196/stat : 25196 (java) S 25187 25187 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64399690 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587815589536 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25197] ppid=25187 vsize=13980732 memory=6660 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25197/stat : 25197 (java) S 25187 25187 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64399691 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587814536432 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25198] ppid=25187 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25198/stat : 25198 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587813485008 140588338128795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25199] ppid=25187 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/25189/task/25199/stat : 25199 (java) R 25187 25187 897 0 -1 4202560 1195 0 0 0 16 0 0 0 20 0 15 0 64399693 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587812418960 140588321596221 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25200] ppid=25187 vsize=13980732 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25189/task/25200/stat : 25200 (java) R 25187 25187 897 0 -1 4202560 553 0 0 0 12 0 0 0 20 0 15 0 64399693 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587811368128 140588318746132 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25201] ppid=25187 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/25189/task/25201/stat : 25201 (java) R 25187 25187 897 0 -1 1077944384 1165 0 0 0 23 0 0 0 20 0 15 0 64399693 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587810326512 140588338121346 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25202] ppid=25187 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25202/stat : 25202 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587809274208 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25203] ppid=25187 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25203/stat : 25203 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399699 14316269568 15624 18446744073709551615 4194304 4196468 140722252014384 140587808222256 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63876 KiB
[startup+1.50081 s]
/proc/loadavg: 2.05 1.96 1.87 5/211 25203
/proc/meminfo: memFree=30973980/32770624 swapFree=67108860/67108860
[pid=25187] ppid=25184 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (xcsp3-exec) S 25184 25187 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64399678 9740288 345 18446744073709551615 4194304 5098028 140734381375488 140734381373592 139972557210236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17825792 140734381384062 140734381384266 140734381384266 140734381387755 0
/proc/25187/statm: 2378 345 289 221 0 87 0
[pid=25189] ppid=25187 vsize=13980732 memory=87024 CPUtime=3.62 cores=0,2,4,6
/proc/25189/stat : 25189 (java) S 25187 25187 897 0 -1 1077944320 22881 0 0 0 356 6 0 0 20 0 15 0 64399688 14316269568 21756 18446744073709551615 4194304 4196468 140722252014384 140722251996928 140588338110199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
/proc/25189/statm: 3495183 21756 3185 1 0 3483476 0
[pid=25189/tid=25190] ppid=25187 vsize=13980732 memory=84868 CPUtime=1.33 cores=0,2,4,6
/proc/25189/task/25190/stat : 25190 (java) R 25187 25187 897 0 -1 4202560 9664 0 0 0 130 3 0 0 20 0 15 0 64399688 14316269568 21756 18446744073709551615 4194304 4196468 140722252014384 140588342348096 140587984334372 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25191] ppid=25187 vsize=13980732 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25191/stat : 25191 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399689 14316269568 21756 18446744073709551615 4194304 4196468 140722252014384 140587938433552 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25192] ppid=25187 vsize=13980732 memory=25332 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25192/stat : 25192 (java) S 25187 25187 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64399689 14316269568 21756 18446744073709551615 4194304 4196468 140722252014384 140587937381008 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25193] ppid=25187 vsize=13980732 memory=280773286432464 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25193/stat : 25193 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399689 14316269568 21756 18446744073709551615 4194304 4196468 140722252014384 140587936327952 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25194] ppid=25187 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25194/stat : 25194 (java) S 25187 25187 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64399689 14316269568 21756 18446744073709551615 4194304 4196468 140722252014384 140587935275408 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25195] ppid=25187 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25195/stat : 25195 (java) S 25187 25187 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64399690 14316269568 21756 18446744073709551615 4194304 4196468 140722252014384 140587816643312 140588338121346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25196] ppid=25187 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25196/stat : 25196 (java) S 25187 25187 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64399690 14316269568 21756 18446744073709551615 4194304 4196468 140722252014384 140587815589536 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25197] ppid=25187 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25189/task/25197/stat : 25197 (java) S 25187 25187 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 64399691 14316269568 49300 18446744073709551615 4194304 4196468 140722252014384 140587814536432 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25198] ppid=25187 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25198/stat : 25198 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 49300 18446744073709551615 4194304 4196468 140722252014384 140587813485008 140588338128795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25199] ppid=25187 vsize=13980732 memory=36408 CPUtime=1.85 cores=0,2,4,6
/proc/25189/task/25199/stat : 25199 (java) S 25187 25187 897 0 -1 1077944384 8771 0 0 0 184 1 0 0 20 0 15 0 64399693 14316269568 49300 18446744073709551615 4194304 4196468 140722252014384 140587812432112 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25200] ppid=25187 vsize=13980732 memory=1380 CPUtime=1.9 cores=0,2,4,6
/proc/25189/task/25200/stat : 25200 (java) S 25187 25187 897 0 -1 1077944384 9756 0 0 0 190 0 0 0 20 0 15 0 64399693 14316269568 49300 18446744073709551615 4194304 4196468 140722252014384 140587811379568 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25201] ppid=25187 vsize=13980732 memory=204352 CPUtime=0.48 cores=0,2,4,6
/proc/25189/task/25201/stat : 25201 (java) S 25187 25187 897 0 -1 1077944384 5724 0 0 0 47 1 0 0 20 0 15 0 64399693 14316269568 49300 18446744073709551615 4194304 4196468 140722252014384 140587810326512 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25202] ppid=25187 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25202/stat : 25202 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 49300 18446744073709551615 4194304 4196468 140722252014384 140587809274208 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25203] ppid=25187 vsize=13980732 memory=4116 CPUtime=0.02 cores=0,2,4,6
/proc/25189/task/25203/stat : 25203 (java) S 25187 25187 897 0 -1 1077944384 425 0 0 0 1 1 0 0 20 0 15 0 64399699 14316269568 49300 18446744073709551615 4194304 4196468 140722252014384 140587808222256 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
Current children cumulated CPU time: 106.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198580 KiB
[startup+162.301 s]
/proc/loadavg: 2.12 2.04 1.91 3/211 25207
/proc/meminfo: memFree=30797948/32770624 swapFree=67108860/67108860
[pid=25187] ppid=25184 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (xcsp3-exec) S 25184 25187 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64399678 9740288 345 18446744073709551615 4194304 5098028 140734381375488 140734381373592 139972557210236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17825792 140734381384062 140734381384266 140734381384266 140734381387755 0
/proc/25187/statm: 2378 345 289 221 0 87 0
[pid=25189] ppid=25187 vsize=13980732 memory=168520 CPUtime=166.56 cores=0,2,4,6
/proc/25189/stat : 25189 (java) S 25187 25187 897 0 -1 1077944320 46621 0 0 0 16641 15 0 0 20 0 15 0 64399688 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140722251996928 140588338110199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
/proc/25189/statm: 3495183 42130 3236 1 0 3483476 0
[pid=25189/tid=25190] ppid=25187 vsize=13980732 memory=1380 CPUtime=162.08 cores=0,2,4,6
/proc/25189/task/25190/stat : 25190 (java) R 25187 25187 897 0 -1 4202560 14167 0 0 0 16202 6 0 0 20 0 15 0 64399688 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140588342349744 140587983463653 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25191] ppid=25187 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25189/task/25191/stat : 25191 (java) S 25187 25187 897 0 -1 1077944384 818 0 0 0 2 0 0 0 20 0 15 0 64399689 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587938433552 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25192] ppid=25187 vsize=13980732 memory=4616 CPUtime=0.02 cores=0,2,4,6
/proc/25189/task/25192/stat : 25192 (java) S 25187 25187 897 0 -1 1077944384 1058 0 0 0 2 0 0 0 20 0 15 0 64399689 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587937381008 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25193] ppid=25187 vsize=13980732 memory=1012 CPUtime=0.02 cores=0,2,4,6
/proc/25189/task/25193/stat : 25193 (java) S 25187 25187 897 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 15 0 64399689 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587936327952 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25194] ppid=25187 vsize=13980732 memory=175188 CPUtime=0.01 cores=0,2,4,6
/proc/25189/task/25194/stat : 25194 (java) S 25187 25187 897 0 -1 1077944384 1172 0 0 0 1 0 0 0 20 0 15 0 64399689 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587935275408 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25195] ppid=25187 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/25189/task/25195/stat : 25195 (java) S 25187 25187 897 0 -1 1077944384 1374 0 0 0 2 1 0 0 20 0 15 0 64399690 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587816643312 140588338121346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25196] ppid=25187 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25196/stat : 25196 (java) S 25187 25187 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 64399690 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587815589536 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25197] ppid=25187 vsize=13980732 memory=172624 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25197/stat : 25197 (java) S 25187 25187 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 64399691 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587814536432 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25198] ppid=25187 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25198/stat : 25198 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587813485008 140588338128795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25199] ppid=25187 vsize=13980732 memory=1380 CPUtime=1.88 cores=0,2,4,6
/proc/25189/task/25199/stat : 25199 (java) S 25187 25187 897 0 -1 1077944384 10115 0 0 0 187 1 0 0 20 0 15 0 64399693 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587812432112 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25200] ppid=25187 vsize=13980732 memory=4116 CPUtime=1.9 cores=0,2,4,6
/proc/25189/task/25200/stat : 25200 (java) S 25187 25187 897 0 -1 1077944384 9758 0 0 0 190 0 0 0 20 0 15 0 64399693 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587811379568 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25201] ppid=25187 vsize=13980732 memory=36408 CPUtime=0.48 cores=0,2,4,6
/proc/25189/task/25201/stat : 25201 (java) S 25187 25187 897 0 -1 1077944384 5799 0 0 0 47 1 0 0 20 0 15 0 64399693 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587810326512 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25202] ppid=25187 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25202/stat : 25202 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587809274208 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25203] ppid=25187 vsize=13980732 memory=170572 CPUtime=0.04 cores=0,2,4,6
/proc/25189/task/25203/stat : 25203 (java) S 25187 25187 897 0 -1 1077944384 461 0 0 0 1 3 0 0 20 0 15 0 64399699 14316269568 42130 18446744073709551615 4194304 4196468 140722252014384 140587808222256 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
Current children cumulated CPU time: 166.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 169900 KiB
[startup+222.301 s]
/proc/loadavg: 1.69 1.93 1.88 3/211 25209
/proc/meminfo: memFree=30831448/32770624 swapFree=67108860/67108860
[pid=25187] ppid=25184 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (xcsp3-exec) S 25184 25187 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64399678 9740288 345 18446744073709551615 4194304 5098028 140734381375488 140734381373592 139972557210236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17825792 140734381384062 140734381384266 140734381384266 140734381387755 0
/proc/25187/statm: 2378 345 289 221 0 87 0
[pid=25189] ppid=25187 vsize=13980732 memory=160340 CPUtime=226.61 cores=0,2,4,6
/proc/25189/stat : 25189 (java) S 25187 25187 897 0 -1 1077944320 48207 0 0 0 22645 16 0 0 20 0 15 0 64399688 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140722251996928 140588338110199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
/proc/25189/statm: 3495183 40085 3236 1 0 3483476 0
[pid=25189/tid=25190] ppid=25187 vsize=13980732 memory=160340 CPUtime=222.05 cores=0,2,4,6
/proc/25189/task/25190/stat : 25190 (java) R 25187 25187 897 0 -1 4202560 14716 0 0 0 22199 6 0 0 20 0 15 0 64399688 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140588342349744 140587983551909 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25191] ppid=25187 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/25189/task/25191/stat : 25191 (java) S 25187 25187 897 0 -1 1077944384 854 0 0 0 3 0 0 0 20 0 15 0 64399689 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587938433552 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25192] ppid=25187 vsize=13980732 memory=160340 CPUtime=0.03 cores=0,2,4,6
/proc/25189/task/25192/stat : 25192 (java) S 25187 25187 897 0 -1 1077944384 1094 0 0 0 3 0 0 0 20 0 15 0 64399689 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587937381008 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25193] ppid=25187 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/25189/task/25193/stat : 25193 (java) S 25187 25187 897 0 -1 1077944384 573 0 0 0 3 0 0 0 20 0 15 0 64399689 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587936327952 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25194] ppid=25187 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/25189/task/25194/stat : 25194 (java) S 25187 25187 897 0 -1 1077944384 1552 0 0 0 2 1 0 0 20 0 15 0 64399689 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587935275408 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25195] ppid=25187 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/25189/task/25195/stat : 25195 (java) S 25187 25187 897 0 -1 1077944384 1609 0 0 0 3 1 0 0 20 0 15 0 64399690 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587816643312 140588338121346 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25196] ppid=25187 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25196/stat : 25196 (java) S 25187 25187 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 64399690 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587815589536 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25197] ppid=25187 vsize=13980732 memory=20304 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25197/stat : 25197 (java) S 25187 25187 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 64399691 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587814536432 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25198] ppid=25187 vsize=13980732 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25198/stat : 25198 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587813485008 140588338128795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25199] ppid=25187 vsize=13980732 memory=2248 CPUtime=1.88 cores=0,2,4,6
/proc/25189/task/25199/stat : 25199 (java) S 25187 25187 897 0 -1 1077944384 10119 0 0 0 187 1 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587812432112 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25200] ppid=25187 vsize=13980732 memory=4304 CPUtime=1.9 cores=0,2,4,6
/proc/25189/task/25200/stat : 25200 (java) S 25187 25187 897 0 -1 1077944384 9765 0 0 0 190 0 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587811379568 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25201] ppid=25187 vsize=13980732 memory=1380 CPUtime=0.48 cores=0,2,4,6
/proc/25189/task/25201/stat : 25201 (java) S 25187 25187 897 0 -1 1077944384 6072 0 0 0 47 1 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587810326512 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25202] ppid=25187 vsize=13980732 memory=160340 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25202/stat : 25202 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587809274208 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25203] ppid=25187 vsize=13980732 memory=-8774313645642428999 CPUtime=0.05 cores=0,2,4,6
/proc/25189/task/25203/stat : 25203 (java) S 25187 25187 897 0 -1 1077944384 489 0 0 0 1 4 0 0 20 0 15 0 64399699 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587808222256 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
Current children cumulated CPU time: 226.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 161720 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.72 1.92 1.88 3/211 25288
/proc/meminfo: memFree=30780516/32770624 swapFree=67108860/67108860
[pid=25187] ppid=25184 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25187/stat : 25187 (xcsp3-exec) S 25184 25187 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64399678 9740288 345 18446744073709551615 4194304 5098028 140734381375488 140734381373592 139972557210236 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 17825792 140734381384062 140734381384266 140734381384266 140734381387755 0
/proc/25187/statm: 2378 345 289 221 0 87 0
[pid=25189] ppid=25187 vsize=13980732 memory=160340 CPUtime=244.34 cores=0,2,4,6
/proc/25189/stat : 25189 (java) S 25187 25187 897 0 -1 1077944320 48226 0 0 0 24417 17 0 0 20 0 15 0 64399688 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140722251996928 140588338110199 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
/proc/25189/statm: 3495183 40085 3236 1 0 3483476 0
[pid=25189/tid=25190] ppid=25187 vsize=13980732 memory=-8774313645642428999 CPUtime=239.74 cores=0,2,4,6
/proc/25189/task/25190/stat : 25190 (java) R 25187 25187 897 0 -1 4202560 14725 0 0 0 23968 6 0 0 20 0 15 0 64399688 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140588342349536 140588322449061 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25191] ppid=25187 vsize=13980732 memory=4872558044660077418 CPUtime=0.03 cores=0,2,4,6
/proc/25189/task/25191/stat : 25191 (java) S 25187 25187 897 0 -1 1077944384 856 0 0 0 3 0 0 0 20 0 15 0 64399689 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587938433552 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25192] ppid=25187 vsize=13980732 memory=15880 CPUtime=0.03 cores=0,2,4,6
/proc/25189/task/25192/stat : 25192 (java) S 25187 25187 897 0 -1 1077944384 1095 0 0 0 3 0 0 0 20 0 15 0 64399689 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587937381008 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25193] ppid=25187 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/25189/task/25193/stat : 25193 (java) S 25187 25187 897 0 -1 1077944384 578 0 0 0 3 0 0 0 20 0 15 0 64399689 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587936327952 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25194] ppid=25187 vsize=13980732 memory=160340 CPUtime=0.04 cores=0,2,4,6
/proc/25189/task/25194/stat : 25194 (java) S 25187 25187 897 0 -1 1077944384 1553 0 0 0 3 1 0 0 20 0 15 0 64399689 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587935275408 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25195] ppid=25187 vsize=13980732 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/25189/task/25195/stat : 25195 (java) S 25187 25187 897 0 -1 1077944384 1610 0 0 0 3 1 0 0 20 0 15 0 64399690 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587816643312 140588338121346 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25196] ppid=25187 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25196/stat : 25196 (java) S 25187 25187 897 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 64399690 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587815589536 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25197] ppid=25187 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25197/stat : 25197 (java) S 25187 25187 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 64399691 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587814536432 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25198] ppid=25187 vsize=13980732 memory=17559 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25198/stat : 25198 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587813485008 140588338128795 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25199] ppid=25187 vsize=13980732 memory=6944656592455097440 CPUtime=1.88 cores=0,2,4,6
/proc/25189/task/25199/stat : 25199 (java) S 25187 25187 897 0 -1 1077944384 10119 0 0 0 187 1 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587812432112 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25200] ppid=25187 vsize=13980732 memory=-2752621353146282308 CPUtime=1.9 cores=0,2,4,6
/proc/25189/task/25200/stat : 25200 (java) S 25187 25187 897 0 -1 1077944384 9765 0 0 0 190 0 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587811379568 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25201] ppid=25187 vsize=13980732 memory=1200 CPUtime=0.48 cores=0,2,4,6
/proc/25189/task/25201/stat : 25201 (java) S 25187 25187 897 0 -1 1077944384 6072 0 0 0 47 1 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587810326512 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25202] ppid=25187 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/25189/task/25202/stat : 25202 (java) S 25187 25187 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64399693 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587809274208 140588338120405 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
[pid=25189/tid=25203] ppid=25187 vsize=13980732 memory=20304 CPUtime=0.06 cores=0,2,4,6
/proc/25189/task/25203/stat : 25203 (java) S 25187 25187 897 0 -1 1077944384 489 0 0 0 2 4 0 0 20 0 15 0 64399699 14316269568 40085 18446744073709551615 4194304 4196468 140722252014384 140587808222256 140588338121346 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 36777984 140722252018103 140722252018278 140722252018278 140722252021711 0
Current children cumulated CPU time: 244.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 161720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 25187 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.00191 s
[startup+240.021 s]
# the end of solver process 25189 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.182 s, system=0.178018 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 244.36
CPU user time (s): 244.182
CPU system time (s): 0.178018
CPU usage (%): 101.808
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 206248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.182
system time used= 0.178018
maximum resident set size= 206916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49276
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8407
involuntary context switches= 338
# summary of solver processes directly reported to runsolver:
# pid: 25187,25189
# total CPU time (s): 244.36
# total CPU user time (s): 244.182
# total CPU system time (s): 0.178018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43823 second user time and 2.14558 second system time
The end