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-09)	SAT	4.5348001	1.2722
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 (14284 MiB free)
  memory of node 1: 16384 MiB (14154 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271239-1502699843/watcher-4271239-1502699843 -o /tmp/evaluation-result-4271239-1502699843/solver-4271239-1502699843 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502692826-26075 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 882692090 HOME/instance-4271239-1502699843.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
Current StackSize limit: 8192 KiB

solver pid=26652, runsolver pid=26649

[startup+0.100133 s]*
/proc/loadavg: 0.84 0.93 1.51 2/199 26673
/proc/meminfo: memFree=29106928/32770624 swapFree=67108860/67108860
[pid=26652] ppid=26649 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/26652/stat : 26652 (xcsp3-exec) S 26649 26652 26048 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103072370 9740288 345 33554432000 4194304 5098028 140737287859200 140737287857304 140123586220668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33562624 140737287861349 140737287861559 140737287861559 140737287864299 0
/proc/26652/statm: 2378 345 289 221 0 87 0
[pid=26654] ppid=26652 vsize=25999808 memory=26200 CPUtime=0.11 cores=0-7
/proc/26654/stat : 26654 (java) S 26652 26652 26048 0 -1 1077944320 5484 0 0 0 10 1 0 0 20 0 20 0 103072370 26623803392 6550 33554432000 4194304 4196468 140721333132464 140721333115008 140019430264567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
/proc/26654/statm: 6499952 6550 2838 1 0 6488269 0
[pid=26654/tid=26655] ppid=26652 vsize=25999808 memory=8113968586288962972 CPUtime=0.09 cores=0-7
/proc/26654/task/26655/stat : 26655 (java) R 26652 26652 26048 0 -1 4202560 3475 0 0 0 8 1 0 0 20 0 20 0 103072371 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019434496560 140019430286493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26656] ppid=26652 vsize=25999808 memory=732369826583653349 CPUtime=0 cores=0-7
/proc/26654/task/26656/stat : 26656 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019382884752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26657] ppid=26652 vsize=25999808 memory=139688246199936 CPUtime=0 cores=0-7
/proc/26654/task/26657/stat : 26657 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019381831952 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26658] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26658/stat : 26658 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019380779664 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26659] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26659/stat : 26659 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072371 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019379726864 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26660] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26660/stat : 26660 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019378674576 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26661] ppid=26652 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26654/task/26661/stat : 26661 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019377621776 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26662] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26662/stat : 26662 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019376569488 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26663] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26663/stat : 26663 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072372 26623803392 6550 33554432000 4194304 4196468 140721333132464 140019375516688 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26664] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26664/stat : 26664 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072373 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018826029168 140019430275714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26665] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26665/stat : 26665 (java) S 26652 26652 26048 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103072373 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018824975136 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26666] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26666/stat : 26666 (java) S 26652 26652 26048 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103072374 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018823922800 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26667] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26667/stat : 26667 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018822871120 140019430283163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26668] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26668/stat : 26668 (java) R 26652 26652 26048 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 103072376 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018821818992 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26669] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26669/stat : 26669 (java) S 26652 26652 26048 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 103072376 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018820766192 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26670] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26670/stat : 26670 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018752416624 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26671] ppid=26652 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/26654/task/26671/stat : 26671 (java) R 26652 26652 26048 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 103072376 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018751363824 140019430276502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26672] ppid=26652 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26672/stat : 26672 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072376 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018750310752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26673] ppid=26652 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26654/task/26673/stat : 26673 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26623803392 6550 33554432000 4194304 4196468 140721333132464 140018749258032 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27580 KiB

[startup+0.210151 s]*
/proc/loadavg: 0.84 0.93 1.51 2/199 26673
/proc/meminfo: memFree=29094796/32770624 swapFree=67108860/67108860
[pid=26652] ppid=26649 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/26652/stat : 26652 (xcsp3-exec) S 26649 26652 26048 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103072370 9740288 345 33554432000 4194304 5098028 140737287859200 140737287857304 140123586220668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33562624 140737287861349 140737287861559 140737287861559 140737287864299 0
/proc/26652/statm: 2378 345 289 221 0 87 0
[pid=26654] ppid=26652 vsize=26004064 memory=39048 CPUtime=0.33 cores=0-7
/proc/26654/stat : 26654 (java) S 26652 26652 26048 0 -1 1077944320 8333 0 0 0 31 2 0 0 20 0 20 0 103072370 26628161536 9762 33554432000 4194304 4196468 140721333132464 140721333115008 140019430264567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
/proc/26654/statm: 6501016 9762 3053 1 0 6488269 0
[pid=26654/tid=26655] ppid=26652 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/26654/task/26655/stat : 26655 (java) R 26652 26652 26048 0 -1 4202560 5384 0 0 0 18 1 0 0 20 0 20 0 103072371 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019434486496 140019430286493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26656] ppid=26652 vsize=26004064 memory=732369826583653349 CPUtime=0 cores=0-7
/proc/26654/task/26656/stat : 26656 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019382884752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26657] ppid=26652 vsize=26004064 memory=139688246199936 CPUtime=0 cores=0-7
/proc/26654/task/26657/stat : 26657 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019381831952 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26658] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26658/stat : 26658 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019380779664 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26659] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26659/stat : 26659 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019379726864 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26660] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26660/stat : 26660 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019378674576 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26661] ppid=26652 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26654/task/26661/stat : 26661 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019377621776 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26662] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26662/stat : 26662 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019376569488 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26663] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26663/stat : 26663 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072372 26628161536 9762 33554432000 4194304 4196468 140721333132464 140019375516688 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26664] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26664/stat : 26664 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072373 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018826029168 140019430275714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26665] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26665/stat : 26665 (java) S 26652 26652 26048 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103072373 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018824975136 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26666] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26666/stat : 26666 (java) S 26652 26652 26048 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103072374 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018823922800 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26667] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26667/stat : 26667 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018822871120 140019430283163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26668] ppid=26652 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/26654/task/26668/stat : 26668 (java) R 26652 26652 26048 0 -1 1077944384 410 0 0 0 1 0 0 0 20 0 20 0 103072376 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018821818992 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26669] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26669/stat : 26669 (java) S 26652 26652 26048 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 20 0 103072376 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018820766192 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26670] ppid=26652 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/26654/task/26670/stat : 26670 (java) S 26652 26652 26048 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 103072376 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018752416624 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26671] ppid=26652 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/26654/task/26671/stat : 26671 (java) R 26652 26652 26048 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 103072376 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018751363824 140019422501694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26672] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26672/stat : 26672 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072376 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018750310752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26673] ppid=26652 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26654/task/26673/stat : 26673 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26628161536 9762 33554432000 4194304 4196468 140721333132464 140018749258032 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40428 KiB

[startup+0.309704 s]*
/proc/loadavg: 0.84 0.93 1.51 4/199 26673
/proc/meminfo: memFree=29090392/32770624 swapFree=67108860/67108860
[pid=26652] ppid=26649 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/26652/stat : 26652 (xcsp3-exec) S 26649 26652 26048 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103072370 9740288 345 33554432000 4194304 5098028 140737287859200 140737287857304 140123586220668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33562624 140737287861349 140737287861559 140737287861559 140737287864299 0
/proc/26652/statm: 2378 345 289 221 0 87 0
[pid=26654] ppid=26652 vsize=26004064 memory=43824 CPUtime=0.49 cores=0-7
/proc/26654/stat : 26654 (java) S 26652 26652 26048 0 -1 1077944320 9199 0 0 0 46 3 0 0 20 0 20 0 103072370 26628161536 10956 33554432000 4194304 4196468 140721333132464 140721333115008 140019430264567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
/proc/26654/statm: 6501016 10956 3088 1 0 6488269 0
[pid=26654/tid=26655] ppid=26652 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26654/task/26655/stat : 26655 (java) R 26652 26652 26048 0 -1 4202560 6048 0 0 0 27 2 0 0 20 0 20 0 103072371 26628161536 10956 33554432000 4194304 4196468 140721333132464 140019434502480 140019039789362 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26656] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26656/stat : 26656 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 10956 33554432000 4194304 4196468 140721333132464 140019382884752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26657] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26657/stat : 26657 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 10956 33554432000 4194304 4196468 140721333132464 140019381831952 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26658] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26658/stat : 26658 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 11468 33554432000 4194304 4196468 140721333132464 140019380779664 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26659] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26659/stat : 26659 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 11468 33554432000 4194304 4196468 140721333132464 140019379726864 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26660] ppid=26652 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/26654/task/26660/stat : 26660 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 11468 33554432000 4194304 4196468 140721333132464 140019378674576 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26661] ppid=26652 vsize=26004064 memory=139688107144111 CPUtime=0 cores=0-7
/proc/26654/task/26661/stat : 26661 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 11468 33554432000 4194304 4196468 140721333132464 140019377621776 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26662] ppid=26652 vsize=26004064 memory=139688107146416 CPUtime=0 cores=0-7
/proc/26654/task/26662/stat : 26662 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26628161536 11468 33554432000 4194304 4196468 140721333132464 140019376569488 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26663] ppid=26652 vsize=26004064 memory=139688107148720 CPUtime=0 cores=0-7
/proc/26654/task/26663/stat : 26663 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072372 26628161536 11468 33554432000 4194304 4196468 140721333132464 140019375516688 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26664] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26664/stat : 26664 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072373 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018826029168 140019430275714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26665] ppid=26652 vsize=26004064 memory=279376214304400 CPUtime=0 cores=0-7
/proc/26654/task/26665/stat : 26665 (java) S 26652 26652 26048 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103072373 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018824975136 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26666] ppid=26652 vsize=26004064 memory=279376214311312 CPUtime=0 cores=0-7
/proc/26654/task/26666/stat : 26666 (java) S 26652 26652 26048 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103072374 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018823922800 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26667] ppid=26652 vsize=26004064 memory=279376214252592 CPUtime=0 cores=0-7
/proc/26654/task/26667/stat : 26667 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018822871120 140019430283163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26668] ppid=26652 vsize=26004064 memory=279376214325136 CPUtime=0.02 cores=0-7
/proc/26654/task/26668/stat : 26668 (java) S 26652 26652 26048 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 103072376 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018821818992 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26669] ppid=26652 vsize=26004064 memory=279376214332048 CPUtime=0.01 cores=0-7
/proc/26654/task/26669/stat : 26669 (java) R 26652 26652 26048 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 20 0 103072376 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018820766192 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26670] ppid=26652 vsize=26004064 memory=279376214329744 CPUtime=0.02 cores=0-7
/proc/26654/task/26670/stat : 26670 (java) S 26652 26652 26048 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 103072376 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018752416624 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26671] ppid=26652 vsize=26004064 memory=279376214345904 CPUtime=0.12 cores=0-7
/proc/26654/task/26671/stat : 26671 (java) R 26652 26652 26048 0 -1 4202560 879 0 0 0 12 0 0 0 20 0 20 0 103072376 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018751360760 140019430276502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26672] ppid=26652 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26672/stat : 26672 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072376 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018750310752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26673] ppid=26652 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26654/task/26673/stat : 26673 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26628161536 11468 33554432000 4194304 4196468 140721333132464 140018749258032 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45204 KiB

[startup+0.70105 s]
/proc/loadavg: 0.84 0.93 1.51 5/199 26673
/proc/meminfo: memFree=29067192/32770624 swapFree=67108860/67108860
[pid=26652] ppid=26649 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/26652/stat : 26652 (xcsp3-exec) S 26649 26652 26048 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103072370 9740288 345 33554432000 4194304 5098028 140737287859200 140737287857304 140123586220668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33562624 140737287861349 140737287861559 140737287861559 140737287864299 0
/proc/26652/statm: 2378 345 289 221 0 87 0
[pid=26654] ppid=26652 vsize=26006188 memory=94592 CPUtime=2 cores=0-7
/proc/26654/stat : 26654 (java) S 26652 26652 26048 0 -1 1077944320 14768 0 0 0 194 6 0 0 20 0 20 0 103072370 26630336512 23648 33554432000 4194304 4196468 140721333132464 140721333115008 140019430264567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
/proc/26654/statm: 6501547 23648 3198 1 0 6488781 0
[pid=26654/tid=26655] ppid=26652 vsize=26006188 memory=279376214640832 CPUtime=0.67 cores=0-7
/proc/26654/task/26655/stat : 26655 (java) R 26652 26652 26048 0 -1 4202560 6712 0 0 0 64 3 0 0 20 0 20 0 103072371 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019434500608 140019040747762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26656] ppid=26652 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/26654/task/26656/stat : 26656 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019382884752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26657] ppid=26652 vsize=26006188 memory=11032 CPUtime=0 cores=0-7
/proc/26654/task/26657/stat : 26657 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019381831952 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26658] ppid=26652 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/26654/task/26658/stat : 26658 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019380779664 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26659] ppid=26652 vsize=26006188 memory=1952 CPUtime=0 cores=0-7
/proc/26654/task/26659/stat : 26659 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019379726864 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26660] ppid=26652 vsize=26006188 memory=8552 CPUtime=0 cores=0-7
/proc/26654/task/26660/stat : 26660 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019378674576 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26661] ppid=26652 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/26654/task/26661/stat : 26661 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019377621776 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26662] ppid=26652 vsize=26006188 memory=792 CPUtime=0 cores=0-7
/proc/26654/task/26662/stat : 26662 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019376569488 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26663] ppid=26652 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/26654/task/26663/stat : 26663 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072372 26630336512 23648 33554432000 4194304 4196468 140721333132464 140019375516688 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26664] ppid=26652 vsize=26006188 memory=5296 CPUtime=0 cores=0-7
/proc/26654/task/26664/stat : 26664 (java) S 26652 26652 26048 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103072373 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018826029168 140019430275714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26665] ppid=26652 vsize=26006188 memory=1196 CPUtime=0 cores=0-7
/proc/26654/task/26665/stat : 26665 (java) S 26652 26652 26048 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103072373 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018824975136 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26666] ppid=26652 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/26654/task/26666/stat : 26666 (java) S 26652 26652 26048 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103072374 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018823922800 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26667] ppid=26652 vsize=26006188 memory=15872 CPUtime=0 cores=0-7
/proc/26654/task/26667/stat : 26667 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018822871120 140019430283163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26668] ppid=26652 vsize=26006188 memory=18448 CPUtime=0.31 cores=0-7
/proc/26654/task/26668/stat : 26668 (java) R 26652 26652 26048 0 -1 4202560 1785 0 0 0 31 0 0 0 20 0 20 0 103072376 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018821800008 140019409919792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26669] ppid=26652 vsize=26006188 memory=16628 CPUtime=0.26 cores=0-7
/proc/26654/task/26669/stat : 26669 (java) R 26652 26652 26048 0 -1 4202560 1332 0 0 0 25 1 0 0 20 0 20 0 103072376 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018820765312 140019411810074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26670] ppid=26652 vsize=26006188 memory=4044 CPUtime=0.32 cores=0-7
/proc/26654/task/26670/stat : 26670 (java) R 26652 26652 26048 0 -1 4202560 1226 0 0 0 32 0 0 0 20 0 20 0 103072376 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018752394080 140019411808801 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26671] ppid=26652 vsize=26006188 memory=1792 CPUtime=0.4 cores=0-7
/proc/26654/task/26671/stat : 26671 (java) S 26652 26652 26048 0 -1 1077944384 2398 0 0 0 40 0 0 0 20 0 20 0 103072376 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018751363824 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26672] ppid=26652 vsize=26006188 memory=636 CPUtime=0 cores=0-7
/proc/26654/task/26672/stat : 26672 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072376 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018750310752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26673] ppid=26652 vsize=26006188 memory=956 CPUtime=0 cores=0-7
/proc/26654/task/26673/stat : 26673 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26630336512 23648 33554432000 4194304 4196468 140721333132464 140018749258032 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 95972 KiB

[startup+1.27214 s]
# the end of solver process 26652 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.3998 s, system=0.134998 s

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

[startup+0.801224 s]
/proc/loadavg: 0.84 0.93 1.51 5/199 26673
/proc/meminfo: memFree=29067192/32770624 swapFree=67108860/67108860
[pid=26652] ppid=26649 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/26652/stat : 26652 (xcsp3-exec) S 26649 26652 26048 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103072370 9740288 345 33554432000 4194304 5098028 140737287859200 140737287857304 140123586220668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33562624 140737287861349 140737287861559 140737287861559 140737287864299 0
/proc/26652/statm: 2378 345 289 221 0 87 0
[pid=26654] ppid=26652 vsize=26006188 memory=122684 CPUtime=2.41 cores=0-7
/proc/26654/stat : 26654 (java) S 26652 26652 26048 0 -1 1077944320 15725 0 0 0 234 7 0 0 20 0 20 0 103072370 26630336512 30671 33554432000 4194304 4196468 140721333132464 140721333115008 140019430264567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
/proc/26654/statm: 6501547 30671 3199 1 0 6488781 0
[pid=26654/tid=26655] ppid=26652 vsize=26006188 memory=6791534058613427641 CPUtime=0.77 cores=0-7
/proc/26654/task/26655/stat : 26655 (java) R 26652 26652 26048 0 -1 4202560 6724 0 0 0 74 3 0 0 20 0 20 0 103072371 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019434499856 140019041009148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26656] ppid=26652 vsize=26006188 memory=1236 CPUtime=0 cores=0-7
/proc/26654/task/26656/stat : 26656 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019382884752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26657] ppid=26652 vsize=26006188 memory=2240 CPUtime=0 cores=0-7
/proc/26654/task/26657/stat : 26657 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019381831952 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26658] ppid=26652 vsize=26006188 memory=4128 CPUtime=0 cores=0-7
/proc/26654/task/26658/stat : 26658 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019380779664 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26659] ppid=26652 vsize=26006188 memory=1572 CPUtime=0 cores=0-7
/proc/26654/task/26659/stat : 26659 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019379726864 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26660] ppid=26652 vsize=26006188 memory=932 CPUtime=0 cores=0-7
/proc/26654/task/26660/stat : 26660 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019378674576 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26661] ppid=26652 vsize=26006188 memory=2200 CPUtime=0 cores=0-7
/proc/26654/task/26661/stat : 26661 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019377621776 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26662] ppid=26652 vsize=26006188 memory=6504 CPUtime=0 cores=0-7
/proc/26654/task/26662/stat : 26662 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072371 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019376569488 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26663] ppid=26652 vsize=26006188 memory=840 CPUtime=0 cores=0-7
/proc/26654/task/26663/stat : 26663 (java) S 26652 26652 26048 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 103072372 26630336512 30671 33554432000 4194304 4196468 140721333132464 140019375516688 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26664] ppid=26652 vsize=26006188 memory=1696 CPUtime=0 cores=0-7
/proc/26654/task/26664/stat : 26664 (java) S 26652 26652 26048 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 103072373 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018826029168 140019430275714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26665] ppid=26652 vsize=26006188 memory=22244 CPUtime=0 cores=0-7
/proc/26654/task/26665/stat : 26665 (java) S 26652 26652 26048 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 103072373 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018824975136 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26666] ppid=26652 vsize=26006188 memory=-7749696028082845524 CPUtime=0 cores=0-7
/proc/26654/task/26666/stat : 26666 (java) S 26652 26652 26048 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 103072374 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018823922800 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26667] ppid=26652 vsize=26006188 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/26654/task/26667/stat : 26667 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018822871120 140019430283163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26668] ppid=26652 vsize=26006188 memory=-7384994778349280928 CPUtime=0.41 cores=0-7
/proc/26654/task/26668/stat : 26668 (java) R 26652 26652 26048 0 -1 4202560 2134 0 0 0 41 0 0 0 20 0 20 0 103072376 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018821799000 140019413761296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26669] ppid=26652 vsize=26006188 memory=0 CPUtime=0.35 cores=0-7
/proc/26654/task/26669/stat : 26669 (java) R 26652 26652 26048 0 -1 4202560 1700 0 0 0 34 1 0 0 20 0 20 0 103072376 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018820755984 140019410965170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26670] ppid=26652 vsize=26006188 memory=0 CPUtime=0.42 cores=0-7
/proc/26654/task/26670/stat : 26670 (java) R 26652 26652 26048 0 -1 4202560 1450 0 0 0 42 0 0 0 20 0 20 0 103072376 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018752405616 140019411784242 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26671] ppid=26652 vsize=26006188 memory=0 CPUtime=0.41 cores=0-7
/proc/26654/task/26671/stat : 26671 (java) S 26652 26652 26048 0 -1 1077944384 2402 0 0 0 41 0 0 0 20 0 20 0 103072376 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018751363824 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26672] ppid=26652 vsize=26006188 memory=56 CPUtime=0 cores=0-7
/proc/26654/task/26672/stat : 26672 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 103072376 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018750310752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26673] ppid=26652 vsize=26006188 memory=12695 CPUtime=0 cores=0-7
/proc/26654/task/26673/stat : 26673 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 103072376 26630336512 30671 33554432000 4194304 4196468 140721333132464 140018749258032 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 124064 KiB

[startup+1.20088 s]
/proc/loadavg: 0.84 0.93 1.51 5/199 26673
/proc/meminfo: memFree=28945880/32770624 swapFree=67108860/67108860
[pid=26652] ppid=26649 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/26652/stat : 26652 (xcsp3-exec) S 26649 26652 26048 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 103072370 9740288 345 33554432000 4194304 5098028 140737287859200 140737287857304 140123586220668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33562624 140737287861349 140737287861559 140737287861559 140737287864299 0
/proc/26652/statm: 2378 345 289 221 0 87 0
[pid=26654] ppid=26652 vsize=26538700 memory=216892 CPUtime=4.14 cores=0-7
/proc/26654/stat : 26654 (java) S 26652 26652 26048 0 -1 1077944320 19204 0 0 0 402 12 0 0 20 0 28 0 103072370 27175628800 54223 33554432000 4194304 4196468 140721333132464 140721333115008 140019430264567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
/proc/26654/statm: 6634675 54223 3242 1 0 6621909 0
[pid=26654/tid=26655] ppid=26652 vsize=26538700 memory=6791534058613427641 CPUtime=1.11 cores=0-7
/proc/26654/task/26655/stat : 26655 (java) S 26652 26652 26048 0 -1 1077944384 6817 0 0 0 107 4 0 0 20 0 28 0 103072371 27175628800 54223 33554432000 4194304 4196468 140721333132464 140019434505344 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26656] ppid=26652 vsize=26538700 memory=288230604624101685 CPUtime=0 cores=0-7
/proc/26654/task/26656/stat : 26656 (java) S 26652 26652 26048 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 103072371 27175628800 54223 33554432000 4194304 4196468 140721333132464 140019382884752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26657] ppid=26652 vsize=26538700 memory=14698478437665088 CPUtime=0 cores=0-7
/proc/26654/task/26657/stat : 26657 (java) S 26652 26652 26048 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 103072371 27175628800 54223 33554432000 4194304 4196468 140721333132464 140019381831952 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26658] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26658/stat : 26658 (java) S 26652 26652 26048 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 103072371 27175628800 54223 33554432000 4194304 4196468 140721333132464 140019380779664 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26659] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26659/stat : 26659 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103072371 27175628800 54223 33554432000 4194304 4196468 140721333132464 140019379726864 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26660] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26660/stat : 26660 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103072371 27175628800 54223 33554432000 4194304 4196468 140721333132464 140019378674576 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26661] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26661/stat : 26661 (java) S 26652 26652 26048 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 103072371 27175628800 54272 33554432000 4194304 4196468 140721333132464 140019377621776 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26662] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26662/stat : 26662 (java) S 26652 26652 26048 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 103072371 27175628800 54272 33554432000 4194304 4196468 140721333132464 140019376569488 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26663] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26663/stat : 26663 (java) S 26652 26652 26048 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 103072372 27175628800 54272 33554432000 4194304 4196468 140721333132464 140019375516688 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26664] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26664/stat : 26664 (java) S 26652 26652 26048 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 103072373 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018826029168 140019430275714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26665] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26665/stat : 26665 (java) S 26652 26652 26048 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 103072373 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018824975136 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26666] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26666/stat : 26666 (java) S 26652 26652 26048 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 103072374 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018823922800 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26667] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26667/stat : 26667 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103072376 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018822871120 140019430283163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26668] ppid=26652 vsize=26538700 memory=0 CPUtime=0.8 cores=0-7
/proc/26654/task/26668/stat : 26668 (java) R 26652 26652 26048 0 -1 4202560 2670 0 0 0 79 1 0 0 20 0 28 0 103072376 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018821818992 140019415389952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26669] ppid=26652 vsize=26538700 memory=288230574492221466 CPUtime=0.75 cores=0-7
/proc/26654/task/26669/stat : 26669 (java) R 26652 26652 26048 0 -1 4202560 2936 0 0 0 74 1 0 0 20 0 28 0 103072376 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018820752976 140019423364414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26670] ppid=26652 vsize=26538700 memory=288230604624101685 CPUtime=0.82 cores=0-7
/proc/26654/task/26670/stat : 26670 (java) R 26652 26652 26048 0 -1 4202560 2434 0 0 0 81 1 0 0 20 0 28 0 103072376 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018752416624 140019413651952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26671] ppid=26652 vsize=26538700 memory=14698478437665088 CPUtime=0.45 cores=0-7
/proc/26654/task/26671/stat : 26671 (java) R 26652 26652 26048 0 -1 1077944384 2581 0 0 0 44 1 0 0 20 0 28 0 103072376 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018751363824 140019430275714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26672] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26672/stat : 26672 (java) S 26652 26652 26048 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 103072376 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018750310752 140019430274773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
[pid=26654/tid=26673] ppid=26652 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/26654/task/26673/stat : 26673 (java) S 26652 26652 26048 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 103072376 27175628800 54272 33554432000 4194304 4196468 140721333132464 140018749258032 140019430275714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6479872 140721333134482 140721333134659 140721333134659 140721333137359 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 218272 KiB

Child status: 0
Real time (s): 1.2722
CPU time (s): 4.5348
CPU user time (s): 4.3998
CPU system time (s): 0.134998
CPU usage (%): 356.452
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 218272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.3998
system time used= 0.134998
maximum resident set size= 219052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19876
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= 2597
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 26652
#   total CPU time (s): 4.5348
#   total CPU user time (s): 4.3998
#   total CPU system time (s): 0.134998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031433 second user time and 0.054931 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-24-sum.xml
MD5SUM	e3989d840e6da5d4ed83bf18c49d4f4f
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.131742
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":21},{"degree":5,"count":45},{"degree":6,"count":90},{"degree":7,"count":90},{"degree":8,"count":129},{"degree":9,"count":111},{"degree":10,"count":66},{"degree":11,"count":45}]
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 4271239

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
