2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT	7.9447598	1.7386301
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 (12772 MiB free)
  memory of node 1: 16384 MiB (13976 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281047-1503127698/watcher-4281047-1503127698 -o /tmp/evaluation-result-4281047-1503127698/solver-4281047-1503127698 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503124150-4758 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 842703298 HOME/instance-4281047-1503127698.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9534, runsolver pid=9531
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 6.77 7.83 8.07 2/200 9555
/proc/meminfo: memFree=27375744/32770624 swapFree=67108860/67108860
[pid=9534] ppid=9531 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9534/stat : 9534 (xcsp3-exec) S 9531 9534 4731 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145857433 9740288 346 33554432000 4194304 5098028 140727707616240 140727707614344 139675830616700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38273024 140727707624549 140727707624759 140727707624759 140727707627499 0
/proc/9534/statm: 2378 346 289 221 0 87 0
[pid=9536] ppid=9534 vsize=25999808 memory=26608 CPUtime=0.12 cores=0-7
/proc/9536/stat : 9536 (java) S 9534 9534 4731 0 -1 1077944320 5586 0 0 0 10 2 0 0 20 0 20 0 145857433 26623803392 6652 33554432000 4194304 4196468 140722953321456 140722953304000 139810551934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
/proc/9536/statm: 6499952 6652 2843 1 0 6488269 0
[pid=9536/tid=9537] ppid=9534 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/9536/task/9537/stat : 9537 (java) R 9534 9534 4731 0 -1 4202560 3594 0 0 0 8 1 0 0 20 0 20 0 145857434 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810556150864 139810188446716 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9538] ppid=9534 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9536/task/9538/stat : 9538 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857434 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810515041424 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9539] ppid=9534 vsize=25999808 memory=140158937998976 CPUtime=0 cores=0-7
/proc/9536/task/9539/stat : 9539 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810109258768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9540] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9540/stat : 9540 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857434 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810108205968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9541] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9541/stat : 9541 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857434 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810107153168 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9542] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9542/stat : 9542 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810106100368 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9543] ppid=9534 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9536/task/9543/stat : 9543 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810105047568 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9544] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9544/stat : 9544 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857435 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810103994768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9545] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9545/stat : 9545 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857435 26623803392 6652 33554432000 4194304 4196468 140722953321456 139810102941968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9546] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9546/stat : 9546 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857436 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809813560176 139810551945858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9547] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9547/stat : 9547 (java) S 9534 9534 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857436 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809812506144 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9548] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9548/stat : 9548 (java) S 9534 9534 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857437 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809811453296 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9549] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9549/stat : 9549 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857439 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809810401616 139810551953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9550] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9550/stat : 9550 (java) S 9534 9534 4731 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 145857439 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809809348976 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9551] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9551/stat : 9551 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857439 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809808296176 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9552] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9552/stat : 9552 (java) S 9534 9534 4731 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145857439 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809807243376 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9553] ppid=9534 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/9536/task/9553/stat : 9553 (java) R 9534 9534 4731 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 145857439 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809806190576 139810530634912 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9554] ppid=9534 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9554/stat : 9554 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857439 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809805139040 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9555] ppid=9534 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/9536/task/9555/stat : 9555 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857439 26623803392 6652 33554432000 4194304 4196468 140722953321456 139809804086320 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27992 KiB

[startup+0.210138 s]*
/proc/loadavg: 6.77 7.83 8.07 3/200 9555
/proc/meminfo: memFree=27364456/32770624 swapFree=67108860/67108860
[pid=9534] ppid=9531 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9534/stat : 9534 (xcsp3-exec) S 9531 9534 4731 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145857433 9740288 346 33554432000 4194304 5098028 140727707616240 140727707614344 139675830616700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38273024 140727707624549 140727707624759 140727707624759 140727707627499 0
/proc/9534/statm: 2378 346 289 221 0 87 0
[pid=9536] ppid=9534 vsize=26004064 memory=39032 CPUtime=0.33 cores=0-7
/proc/9536/stat : 9536 (java) S 9534 9534 4731 0 -1 1077944320 8335 0 0 0 30 3 0 0 20 0 20 0 145857433 26628161536 9758 33554432000 4194304 4196468 140722953321456 140722953304000 139810551934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
/proc/9536/statm: 6501016 9758 3029 1 0 6488269 0
[pid=9536/tid=9537] ppid=9534 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9536/task/9537/stat : 9537 (java) R 9534 9534 4731 0 -1 4202560 5439 0 0 0 18 1 0 0 20 0 20 0 145857434 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810556155704 139810536015198 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9538] ppid=9534 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/9536/task/9538/stat : 9538 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810515041424 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9539] ppid=9534 vsize=26004064 memory=3474163936486106784 CPUtime=0 cores=0-7
/proc/9536/task/9539/stat : 9539 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810109258768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9540] ppid=9534 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9536/task/9540/stat : 9540 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810108205968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9541] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9541/stat : 9541 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810107153168 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9542] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9542/stat : 9542 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810106100368 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9543] ppid=9534 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9536/task/9543/stat : 9543 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810105047568 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9544] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9544/stat : 9544 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857435 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810103994768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9545] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9545/stat : 9545 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857435 26628161536 9758 33554432000 4194304 4196468 140722953321456 139810102941968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9546] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9546/stat : 9546 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857436 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809813560176 139810551945858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9547] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9547/stat : 9547 (java) S 9534 9534 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857436 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809812506144 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9548] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9548/stat : 9548 (java) S 9534 9534 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857437 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809811453296 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9549] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9549/stat : 9549 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857439 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809810401616 139810551953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9550] ppid=9534 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9536/task/9550/stat : 9550 (java) S 9534 9534 4731 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 145857439 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809809348976 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9551] ppid=9534 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/9536/task/9551/stat : 9551 (java) S 9534 9534 4731 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 20 0 145857439 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809808296176 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9552] ppid=9534 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/9536/task/9552/stat : 9552 (java) S 9534 9534 4731 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 145857439 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809807243376 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9553] ppid=9534 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/9536/task/9553/stat : 9553 (java) R 9534 9534 4731 0 -1 4202560 749 0 0 0 7 0 0 0 20 0 20 0 145857439 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809806190576 139810531398693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9554] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9554/stat : 9554 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857439 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809805139040 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9555] ppid=9534 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9536/task/9555/stat : 9555 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857439 26628161536 9758 33554432000 4194304 4196468 140722953321456 139809804086320 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40416 KiB

[startup+0.30938 s]*
/proc/loadavg: 6.77 7.83 8.07 3/200 9555
/proc/meminfo: memFree=27359680/32770624 swapFree=67108860/67108860
[pid=9534] ppid=9531 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9534/stat : 9534 (xcsp3-exec) S 9531 9534 4731 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145857433 9740288 346 33554432000 4194304 5098028 140727707616240 140727707614344 139675830616700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38273024 140727707624549 140727707624759 140727707624759 140727707627499 0
/proc/9534/statm: 2378 346 289 221 0 87 0
[pid=9536] ppid=9534 vsize=26004064 memory=43684 CPUtime=0.49 cores=0-7
/proc/9536/stat : 9536 (java) S 9534 9534 4731 0 -1 1077944320 9177 0 0 0 46 3 0 0 20 0 20 0 145857433 26628161536 10921 33554432000 4194304 4196468 140722953321456 140722953304000 139810551934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
/proc/9536/statm: 6501016 10921 3055 1 0 6488269 0
[pid=9536/tid=9537] ppid=9534 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9536/task/9537/stat : 9537 (java) R 9534 9534 4731 0 -1 4202560 6115 0 0 0 27 2 0 0 20 0 20 0 145857434 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810556172528 139810551946646 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9538] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9538/stat : 9538 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810515041424 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9539] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9539/stat : 9539 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810109258768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9540] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9540/stat : 9540 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810108205968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9541] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9541/stat : 9541 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810107153168 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9542] ppid=9534 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/9536/task/9542/stat : 9542 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810106100368 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9543] ppid=9534 vsize=26004064 memory=140158808716207 CPUtime=0 cores=0-7
/proc/9536/task/9543/stat : 9543 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810105047568 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9544] ppid=9534 vsize=26004064 memory=140158808718512 CPUtime=0 cores=0-7
/proc/9536/task/9544/stat : 9544 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857435 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810103994768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9545] ppid=9534 vsize=26004064 memory=140158808720816 CPUtime=0 cores=0-7
/proc/9536/task/9545/stat : 9545 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857435 26628161536 10921 33554432000 4194304 4196468 140722953321456 139810102941968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9546] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9546/stat : 9546 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857436 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809813560176 139810551945858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9547] ppid=9534 vsize=26004064 memory=280317617448592 CPUtime=0 cores=0-7
/proc/9536/task/9547/stat : 9547 (java) S 9534 9534 4731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145857436 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809812506144 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9548] ppid=9534 vsize=26004064 memory=280317617455504 CPUtime=0 cores=0-7
/proc/9536/task/9548/stat : 9548 (java) S 9534 9534 4731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145857437 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809811453296 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9549] ppid=9534 vsize=26004064 memory=280317617396784 CPUtime=0 cores=0-7
/proc/9536/task/9549/stat : 9549 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857439 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809810401616 139810551953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9550] ppid=9534 vsize=26004064 memory=280317617469328 CPUtime=0.02 cores=0-7
/proc/9536/task/9550/stat : 9550 (java) S 9534 9534 4731 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 20 0 145857439 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809809348976 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9551] ppid=9534 vsize=26004064 memory=280317617476240 CPUtime=0.02 cores=0-7
/proc/9536/task/9551/stat : 9551 (java) S 9534 9534 4731 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 20 0 145857439 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809808296176 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9552] ppid=9534 vsize=26004064 memory=280317617473936 CPUtime=0.02 cores=0-7
/proc/9536/task/9552/stat : 9552 (java) S 9534 9534 4731 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 20 0 145857439 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809807243376 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9553] ppid=9534 vsize=26004064 memory=280317617490096 CPUtime=0.12 cores=0-7
/proc/9536/task/9553/stat : 9553 (java) R 9534 9534 4731 0 -1 4202560 828 0 0 0 12 0 0 0 20 0 20 0 145857439 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809806190704 139810530535624 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9554] ppid=9534 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9554/stat : 9554 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145857439 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809805139040 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9555] ppid=9534 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/9536/task/9555/stat : 9555 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857439 26628161536 10921 33554432000 4194304 4196468 140722953321456 139809804086320 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45068 KiB

[startup+0.700946 s]
/proc/loadavg: 6.77 7.83 8.07 5/200 9555
/proc/meminfo: memFree=27338488/32770624 swapFree=67108860/67108860
[pid=9534] ppid=9531 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9534/stat : 9534 (xcsp3-exec) S 9531 9534 4731 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145857433 9740288 346 33554432000 4194304 5098028 140727707616240 140727707614344 139675830616700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38273024 140727707624549 140727707624759 140727707624759 140727707627499 0
/proc/9534/statm: 2378 346 289 221 0 87 0
[pid=9536] ppid=9534 vsize=26006188 memory=91788 CPUtime=1.94 cores=0-7
/proc/9536/stat : 9536 (java) S 9534 9534 4731 0 -1 1077944320 14629 0 0 0 188 6 0 0 20 0 20 0 145857433 26630336512 22947 33554432000 4194304 4196468 140722953321456 140722953304000 139810551934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
/proc/9536/statm: 6501547 22947 3197 1 0 6488781 0
[pid=9536/tid=9537] ppid=9534 vsize=26006188 memory=280317617847984 CPUtime=0.67 cores=0-7
/proc/9536/task/9537/stat : 9537 (java) R 9534 9534 4731 0 -1 4202560 6840 0 0 0 63 4 0 0 20 0 20 0 145857434 26630336512 22947 33554432000 4194304 4196468 140722953321456 139810556165072 139810551956637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9538] ppid=9534 vsize=26006188 memory=140158808925040 CPUtime=0 cores=0-7
/proc/9536/task/9538/stat : 9538 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857434 26630336512 22947 33554432000 4194304 4196468 140722953321456 139810515041424 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9539] ppid=9534 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9539/stat : 9539 (java) S 9534 9534 4731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145857434 26630336512 22947 33554432000 4194304 4196468 140722953321456 139810109258768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9540] ppid=9534 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/9536/task/9540/stat : 9540 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145857434 26630336512 22947 33554432000 4194304 4196468 140722953321456 139810108205968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0

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

/proc/loadavg: 6.77 7.83 8.07 5/200 9555
/proc/meminfo: memFree=27231452/32770624 swapFree=67108860/67108860
[pid=9534] ppid=9531 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9534/stat : 9534 (xcsp3-exec) S 9531 9534 4731 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145857433 9740288 346 33554432000 4194304 5098028 140727707616240 140727707614344 139675830616700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38273024 140727707624549 140727707624759 140727707624759 140727707627499 0
/proc/9534/statm: 2378 346 289 221 0 87 0
[pid=9536] ppid=9534 vsize=26538700 memory=211472 CPUtime=6.25 cores=0-7
/proc/9536/stat : 9536 (java) S 9534 9534 4731 0 -1 1077944320 26567 0 0 0 611 14 0 0 20 0 28 0 145857433 27175628800 52868 33554432000 4194304 4196468 140722953321456 140722953304000 139810551934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
/proc/9536/statm: 6634675 52868 3248 1 0 6621909 0
[pid=9536/tid=9537] ppid=9534 vsize=26538700 memory=14976667764394580 CPUtime=1.17 cores=0-7
/proc/9536/task/9537/stat : 9537 (java) S 9534 9534 4731 0 -1 1077944384 8175 0 0 0 112 5 0 0 20 0 28 0 145857434 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810556175488 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9538] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9538/stat : 9538 (java) S 9534 9534 4731 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810515041424 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9539] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9539/stat : 9539 (java) S 9534 9534 4731 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810109258768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9540] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9540/stat : 9540 (java) S 9534 9534 4731 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810108205968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9541] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9541/stat : 9541 (java) S 9534 9534 4731 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810107153168 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9542] ppid=9534 vsize=26538700 memory=280317618121744 CPUtime=0 cores=0-7
/proc/9536/task/9542/stat : 9542 (java) S 9534 9534 4731 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810106100368 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9543] ppid=9534 vsize=26538700 memory=140158809061920 CPUtime=0 cores=0-7
/proc/9536/task/9543/stat : 9543 (java) S 9534 9534 4731 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810105047568 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9544] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9544/stat : 9544 (java) S 9534 9534 4731 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 145857435 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810103994768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9545] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9545/stat : 9545 (java) S 9534 9534 4731 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 145857435 27175628800 52868 33554432000 4194304 4196468 140722953321456 139810102941968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9546] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9546/stat : 9546 (java) S 9534 9534 4731 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 28 0 145857436 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809813560176 139810551945858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9547] ppid=9534 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/9536/task/9547/stat : 9547 (java) S 9534 9534 4731 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 145857436 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809812506144 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9548] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9548/stat : 9548 (java) S 9534 9534 4731 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 145857437 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809811453296 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9549] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9549/stat : 9549 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809810401616 139810551953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9550] ppid=9534 vsize=26538700 memory=0 CPUtime=0.93 cores=0-7
/proc/9536/task/9550/stat : 9550 (java) R 9534 9534 4731 0 -1 4202560 3392 0 0 0 92 1 0 0 20 0 28 0 145857439 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809809337328 139810537355562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9551] ppid=9534 vsize=26538700 memory=0 CPUtime=1.03 cores=0-7
/proc/9536/task/9551/stat : 9551 (java) R 9534 9534 4731 0 -1 4202560 5779 0 0 0 102 1 0 0 20 0 28 0 145857439 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809808282720 139810531180703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9552] ppid=9534 vsize=26538700 memory=0 CPUtime=0.99 cores=0-7
/proc/9536/task/9552/stat : 9552 (java) R 9534 9534 4731 0 -1 4202560 3787 0 0 0 98 1 0 0 20 0 28 0 145857439 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809807230464 139810531268327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9553] ppid=9534 vsize=26538700 memory=6943526294502006880 CPUtime=0.53 cores=0-7
/proc/9536/task/9553/stat : 9553 (java) R 9534 9534 4731 0 -1 1077944384 3081 0 0 0 53 0 0 0 20 0 28 0 145857439 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809806190576 139810551945858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9554] ppid=9534 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9536/task/9554/stat : 9554 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809805139040 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9555] ppid=9534 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/9536/task/9555/stat : 9555 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 52868 33554432000 4194304 4196468 140722953321456 139809804086320 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 212856 KiB

[startup+1.73856 s]
# the end of solver process 9534 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.78689 s, system=0.157875 s

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

[startup+1.61108 s]
/proc/loadavg: 6.77 7.83 8.07 5/200 9555
/proc/meminfo: memFree=27231452/32770624 swapFree=67108860/67108860
[pid=9534] ppid=9531 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9534/stat : 9534 (xcsp3-exec) S 9531 9534 4731 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145857433 9740288 346 33554432000 4194304 5098028 140727707616240 140727707614344 139675830616700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38273024 140727707624549 140727707624759 140727707624759 140727707627499 0
/proc/9534/statm: 2378 346 289 221 0 87 0
[pid=9536] ppid=9534 vsize=26538700 memory=212392 CPUtime=7.11 cores=0-7
/proc/9536/stat : 9536 (java) S 9534 9534 4731 0 -1 1077944320 26788 0 0 0 697 14 0 0 20 0 28 0 145857433 27175628800 53098 33554432000 4194304 4196468 140722953321456 140722953304000 139810551934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
/proc/9536/statm: 6634675 53098 3251 1 0 6621909 0
[pid=9536/tid=9537] ppid=9534 vsize=26538700 memory=6656426216303648864 CPUtime=1.17 cores=0-7
/proc/9536/task/9537/stat : 9537 (java) S 9534 9534 4731 0 -1 1077944384 8175 0 0 0 112 5 0 0 20 0 28 0 145857434 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810556175488 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9538] ppid=9534 vsize=26538700 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/9536/task/9538/stat : 9538 (java) S 9534 9534 4731 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810515041424 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9539] ppid=9534 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/9536/task/9539/stat : 9539 (java) S 9534 9534 4731 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810109258768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9540] ppid=9534 vsize=26538700 memory=4140 CPUtime=0 cores=0-7
/proc/9536/task/9540/stat : 9540 (java) S 9534 9534 4731 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810108205968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9541] ppid=9534 vsize=26538700 memory=40288 CPUtime=0 cores=0-7
/proc/9536/task/9541/stat : 9541 (java) S 9534 9534 4731 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810107153168 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9542] ppid=9534 vsize=26538700 memory=1296 CPUtime=0 cores=0-7
/proc/9536/task/9542/stat : 9542 (java) S 9534 9534 4731 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810106100368 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9543] ppid=9534 vsize=26538700 memory=2416 CPUtime=0 cores=0-7
/proc/9536/task/9543/stat : 9543 (java) S 9534 9534 4731 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810105047568 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9544] ppid=9534 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/9536/task/9544/stat : 9544 (java) S 9534 9534 4731 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 145857435 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810103994768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9545] ppid=9534 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/9536/task/9545/stat : 9545 (java) S 9534 9534 4731 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 145857435 27175628800 53098 33554432000 4194304 4196468 140722953321456 139810102941968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9546] ppid=9534 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/9536/task/9546/stat : 9546 (java) S 9534 9534 4731 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 28 0 145857436 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809813560176 139810551945858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9547] ppid=9534 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/9536/task/9547/stat : 9547 (java) S 9534 9534 4731 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 145857436 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809812506144 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9548] ppid=9534 vsize=26538700 memory=8600 CPUtime=0 cores=0-7
/proc/9536/task/9548/stat : 9548 (java) S 9534 9534 4731 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 145857437 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809811453296 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9549] ppid=9534 vsize=26538700 memory=1228 CPUtime=0 cores=0-7
/proc/9536/task/9549/stat : 9549 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809810401616 139810551953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9550] ppid=9534 vsize=26538700 memory=164 CPUtime=1 cores=0-7
/proc/9536/task/9550/stat : 9550 (java) R 9534 9534 4731 0 -1 4202560 3517 0 0 0 99 1 0 0 20 0 28 0 145857439 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809809335440 139810533456048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9551] ppid=9534 vsize=26538700 memory=-7384994778349281184 CPUtime=1.14 cores=0-7
/proc/9536/task/9551/stat : 9551 (java) R 9534 9534 4731 0 -1 4202560 5788 0 0 0 113 1 0 0 20 0 28 0 145857439 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809808281520 139810533479262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9552] ppid=9534 vsize=26538700 memory=-7385037615359298921 CPUtime=1.02 cores=0-7
/proc/9536/task/9552/stat : 9552 (java) R 9534 9534 4731 0 -1 1077944384 3799 0 0 0 101 1 0 0 20 0 28 0 145857439 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809807233296 139810551944917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9553] ppid=9534 vsize=26538700 memory=7681905605394137914 CPUtime=0.56 cores=0-7
/proc/9536/task/9553/stat : 9553 (java) R 9534 9534 4731 0 -1 1077944384 3151 0 0 0 56 0 0 0 20 0 28 0 145857439 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809806190576 139810551945858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9554] ppid=9534 vsize=26538700 memory=7681905605394137914 CPUtime=0 cores=0-7
/proc/9536/task/9554/stat : 9554 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809805139040 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9555] ppid=9534 vsize=26538700 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/9536/task/9555/stat : 9555 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 53098 33554432000 4194304 4196468 140722953321456 139809804086320 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
Current children cumulated CPU time: 7.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 213776 KiB

[startup+1.70109 s]
/proc/loadavg: 6.77 7.83 8.07 5/200 9555
/proc/meminfo: memFree=27231452/32770624 swapFree=67108860/67108860
[pid=9534] ppid=9531 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/9534/stat : 9534 (xcsp3-exec) S 9531 9534 4731 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145857433 9740288 346 33554432000 4194304 5098028 140727707616240 140727707614344 139675830616700 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38273024 140727707624549 140727707624759 140727707624759 140727707627499 0
/proc/9534/statm: 2378 346 289 221 0 87 0
[pid=9536] ppid=9534 vsize=26538700 memory=212452 CPUtime=7.84 cores=0-7
/proc/9536/stat : 9536 (java) S 9534 9534 4731 0 -1 1077944320 26860 0 0 0 769 15 0 0 20 0 28 0 145857433 27175628800 53113 33554432000 4194304 4196468 140722953321456 140722953304000 139810551934711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
/proc/9536/statm: 6634675 53113 3251 1 0 6621909 0
[pid=9536/tid=9537] ppid=9534 vsize=26538700 memory=6943526294502006880 CPUtime=1.17 cores=0-7
/proc/9536/task/9537/stat : 9537 (java) S 9534 9534 4731 0 -1 1077944384 8175 0 0 0 112 5 0 0 20 0 28 0 145857434 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810556175488 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9538] ppid=9534 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/9536/task/9538/stat : 9538 (java) S 9534 9534 4731 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810515041424 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9539] ppid=9534 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/9536/task/9539/stat : 9539 (java) S 9534 9534 4731 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810109258768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9540] ppid=9534 vsize=26538700 memory=13821 CPUtime=0 cores=0-7
/proc/9536/task/9540/stat : 9540 (java) S 9534 9534 4731 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810108205968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9541] ppid=9534 vsize=26538700 memory=26780 CPUtime=0 cores=0-7
/proc/9536/task/9541/stat : 9541 (java) S 9534 9534 4731 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810107153168 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9542] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9542/stat : 9542 (java) S 9534 9534 4731 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810106100368 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9543] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9543/stat : 9543 (java) S 9534 9534 4731 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 145857434 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810105047568 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9544] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9544/stat : 9544 (java) S 9534 9534 4731 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 145857435 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810103994768 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9545] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9545/stat : 9545 (java) S 9534 9534 4731 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 145857435 27175628800 53113 33554432000 4194304 4196468 140722953321456 139810102941968 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9546] ppid=9534 vsize=26538700 memory=280317618121744 CPUtime=0 cores=0-7
/proc/9536/task/9546/stat : 9546 (java) S 9534 9534 4731 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 28 0 145857436 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809813560176 139810551945858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9547] ppid=9534 vsize=26538700 memory=140158809061920 CPUtime=0 cores=0-7
/proc/9536/task/9547/stat : 9547 (java) S 9534 9534 4731 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 145857436 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809812506144 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9548] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9548/stat : 9548 (java) S 9534 9534 4731 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 145857437 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809811453296 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9549] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9549/stat : 9549 (java) S 9534 9534 4731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809810401616 139810551953307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9550] ppid=9534 vsize=26538700 memory=0 CPUtime=1.04 cores=0-7
/proc/9536/task/9550/stat : 9550 (java) R 9534 9534 4731 0 -1 4202560 3545 0 0 0 103 1 0 0 20 0 28 0 145857439 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809809336784 139810535431440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9551] ppid=9534 vsize=26538700 memory=2244 CPUtime=1.18 cores=0-7
/proc/9536/task/9551/stat : 9551 (java) R 9534 9534 4731 0 -1 4202560 5791 0 0 0 117 1 0 0 20 0 28 0 145857439 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809808281680 139810533460609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9552] ppid=9534 vsize=26538700 memory=0 CPUtime=1.08 cores=0-7
/proc/9536/task/9552/stat : 9552 (java) R 9534 9534 4731 0 -1 4202560 3799 0 0 0 107 1 0 0 20 0 28 0 145857439 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809807233464 139810535420661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9553] ppid=9534 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7
/proc/9536/task/9553/stat : 9553 (java) R 9534 9534 4731 0 -1 1077944384 3190 0 0 0 57 0 0 0 20 0 28 0 145857439 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809806190576 139810551945858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9554] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9554/stat : 9554 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809805139040 139810551944917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
[pid=9536/tid=9555] ppid=9534 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/9536/task/9555/stat : 9555 (java) S 9534 9534 4731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145857439 27175628800 53113 33554432000 4194304 4196468 140722953321456 139809804086320 139810551945858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140722953323666 140722953323843 140722953323843 140722953326543 0
Current children cumulated CPU time: 7.84 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 213836 KiB

Child status: 0
Real time (s): 1.73863
CPU time (s): 7.94476
CPU user time (s): 7.78689
CPU system time (s): 0.157875
CPU usage (%): 456.956
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 213836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.78689
system time used= 0.157875
maximum resident set size= 213540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2914
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 9534
#   total CPU time (s): 7.94476
#   total CPU user time (s): 7.78689
#   total CPU system time (s): 0.157875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041914 second user time and 0.046213 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-13-sum.xml
MD5SUM	9d400fd9505b31c2b1343f5ecc4e80ca
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.217912
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":6},{"degree":5,"count":27},{"degree":6,"count":93},{"degree":7,"count":138},{"degree":8,"count":138},{"degree":9,"count":105},{"degree":10,"count":57},{"degree":11,"count":33}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4281047

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
