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	8.6805201	1.82885
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 (11630 MiB free)
  memory of node 1: 16384 MiB (14880 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271241-1502698351/watcher-4271241-1502698351 -o /tmp/evaluation-result-4271241-1502698351/solver-4271241-1502698351 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502692440-29941 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 211819047 HOME/instance-4271241-1502698351.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=30675, runsolver pid=30672
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 8.35 8.90 8.86 2/199 30696
/proc/meminfo: memFree=27134016/32770624 swapFree=67108860/67108860
[pid=30675] ppid=30672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30675/stat : 30675 (xcsp3-exec) S 30672 30675 29914 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102916241 9740288 346 33554432000 4194304 5098028 140733863820880 140733863818984 139650240258684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37720064 140733863826533 140733863826743 140733863826743 140733863829483 0
/proc/30675/statm: 2378 346 289 221 0 87 0
[pid=30677] ppid=30675 vsize=25999808 memory=24760 CPUtime=0.11 cores=0-7
/proc/30677/stat : 30677 (java) S 30675 30675 29914 0 -1 1077944320 5588 0 0 0 10 1 0 0 20 0 20 0 102916241 26623803392 6190 33554432000 4194304 4196468 140729786360752 140729786343296 140042139606775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
/proc/30677/statm: 6499952 6190 2859 1 0 6488269 0
[pid=30677/tid=30678] ppid=30675 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30677/task/30678/stat : 30678 (java) R 30675 30675 29914 0 -1 4202560 3552 0 0 0 8 1 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140042143831248 140042139618710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30679] ppid=30675 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30677/task/30679/stat : 30679 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140041697495568 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30680] ppid=30675 vsize=25999808 memory=140173947090560 CPUtime=0 cores=0-7
/proc/30677/task/30680/stat : 30680 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140041696443024 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30681] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30681/stat : 30681 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140041695389968 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30682] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30682/stat : 30682 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140041694337424 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30683] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30683/stat : 30683 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140041693285392 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30684] ppid=30675 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30677/task/30684/stat : 30684 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140041692232848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30685] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30685/stat : 30685 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140041691179792 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30686] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30686/stat : 30686 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26623803392 6190 33554432000 4194304 4196468 140729786360752 140041690127248 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30687] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30687/stat : 30687 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916244 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040747280624 140042139617922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30688] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30688/stat : 30688 (java) S 30675 30675 29914 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102916244 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040746226848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30689] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30689/stat : 30689 (java) S 30675 30675 29914 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102916245 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040745173744 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30690] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30690/stat : 30690 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916247 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040744122320 140042139625371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30691] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30691/stat : 30691 (java) S 30675 30675 29914 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 102916247 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040743070448 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30692] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30692/stat : 30692 (java) S 30675 30675 29914 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 102916247 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040742017904 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30693] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30693/stat : 30693 (java) R 30675 30675 29914 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102916247 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040740964848 140042139617922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30694] ppid=30675 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/30677/task/30694/stat : 30694 (java) R 30675 30675 29914 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 102916247 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040739912304 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30695] ppid=30675 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30695/stat : 30695 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102916247 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040738859488 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30696] ppid=30675 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/30677/task/30696/stat : 30696 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916247 26623803392 6190 33554432000 4194304 4196468 140729786360752 140040737807024 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 26144 KiB

[startup+0.210414 s]*
/proc/loadavg: 8.35 8.90 8.86 3/199 30696
/proc/meminfo: memFree=27121844/32770624 swapFree=67108860/67108860
[pid=30675] ppid=30672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30675/stat : 30675 (xcsp3-exec) S 30672 30675 29914 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102916241 9740288 346 33554432000 4194304 5098028 140733863820880 140733863818984 139650240258684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37720064 140733863826533 140733863826743 140733863826743 140733863829483 0
/proc/30675/statm: 2378 346 289 221 0 87 0
[pid=30677] ppid=30675 vsize=26004064 memory=37844 CPUtime=0.33 cores=0-7
/proc/30677/stat : 30677 (java) S 30675 30675 29914 0 -1 1077944320 8498 0 0 0 31 2 0 0 20 0 20 0 102916241 26628161536 9461 33554432000 4194304 4196468 140729786360752 140729786343296 140042139606775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
/proc/30677/statm: 6501016 9461 3079 1 0 6488269 0
[pid=30677/tid=30678] ppid=30675 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30677/task/30678/stat : 30678 (java) R 30675 30675 29914 0 -1 4202560 5466 0 0 0 18 1 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140042143826976 140042132284789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30679] ppid=30675 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/30677/task/30679/stat : 30679 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140041697495568 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30680] ppid=30675 vsize=26004064 memory=3618279143866021536 CPUtime=0 cores=0-7
/proc/30677/task/30680/stat : 30680 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140041696443024 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30681] ppid=30675 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30677/task/30681/stat : 30681 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140041695389968 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30682] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30682/stat : 30682 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140041694337424 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30683] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30683/stat : 30683 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140041693285392 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30684] ppid=30675 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30677/task/30684/stat : 30684 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140041692232848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30685] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30685/stat : 30685 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140041691179792 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30686] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30686/stat : 30686 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 9461 33554432000 4194304 4196468 140729786360752 140041690127248 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30687] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30687/stat : 30687 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916244 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040747280624 140042139617922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30688] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30688/stat : 30688 (java) S 30675 30675 29914 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102916244 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040746226848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30689] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30689/stat : 30689 (java) S 30675 30675 29914 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102916245 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040745173744 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30690] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30690/stat : 30690 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916247 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040744122320 140042139625371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30691] ppid=30675 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/30677/task/30691/stat : 30691 (java) S 30675 30675 29914 0 -1 1077944384 537 0 0 0 1 0 0 0 20 0 20 0 102916247 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040743070448 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30692] ppid=30675 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/30677/task/30692/stat : 30692 (java) S 30675 30675 29914 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 102916247 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040742017904 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30693] ppid=30675 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/30677/task/30693/stat : 30693 (java) S 30675 30675 29914 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 102916247 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040740964848 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30694] ppid=30675 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/30677/task/30694/stat : 30694 (java) R 30675 30675 29914 0 -1 4202560 903 0 0 0 8 0 0 0 20 0 20 0 102916247 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040739912304 140042131843902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30695] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30695/stat : 30695 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102916247 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040738859488 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30696] ppid=30675 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30677/task/30696/stat : 30696 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916247 26628161536 9461 33554432000 4194304 4196468 140729786360752 140040737807024 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39228 KiB

[startup+0.310282 s]*
/proc/loadavg: 8.35 8.90 8.86 4/199 30696
/proc/meminfo: memFree=27113400/32770624 swapFree=67108860/67108860
[pid=30675] ppid=30672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30675/stat : 30675 (xcsp3-exec) S 30672 30675 29914 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102916241 9740288 346 33554432000 4194304 5098028 140733863820880 140733863818984 139650240258684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37720064 140733863826533 140733863826743 140733863826743 140733863829483 0
/proc/30675/statm: 2378 346 289 221 0 87 0
[pid=30677] ppid=30675 vsize=26004064 memory=43004 CPUtime=0.5 cores=0-7
/proc/30677/stat : 30677 (java) S 30675 30675 29914 0 -1 1077944320 9514 0 0 0 47 3 0 0 20 0 20 0 102916241 26628161536 10751 33554432000 4194304 4196468 140729786360752 140729786343296 140042139606775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
/proc/30677/statm: 6501016 10751 3102 1 0 6488269 0
[pid=30677/tid=30678] ppid=30675 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30677/task/30678/stat : 30678 (java) R 30675 30675 29914 0 -1 4202560 6134 0 0 0 27 2 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140042143844728 140041778642955 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30679] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30679/stat : 30679 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140041697495568 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30680] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30680/stat : 30680 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140041696443024 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30681] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30681/stat : 30681 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140041695389968 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30682] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30682/stat : 30682 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140041694337424 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30683] ppid=30675 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/30677/task/30683/stat : 30683 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140041693285392 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30684] ppid=30675 vsize=26004064 memory=140173841101743 CPUtime=0 cores=0-7
/proc/30677/task/30684/stat : 30684 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140041692232848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30685] ppid=30675 vsize=26004064 memory=140173841104048 CPUtime=0 cores=0-7
/proc/30677/task/30685/stat : 30685 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140041691179792 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30686] ppid=30675 vsize=26004064 memory=140173841106352 CPUtime=0 cores=0-7
/proc/30677/task/30686/stat : 30686 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916242 26628161536 10751 33554432000 4194304 4196468 140729786360752 140041690127248 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30687] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30687/stat : 30687 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916244 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040747280624 140042139617922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30688] ppid=30675 vsize=26004064 memory=280347682219664 CPUtime=0 cores=0-7
/proc/30677/task/30688/stat : 30688 (java) S 30675 30675 29914 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102916244 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040746226848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30689] ppid=30675 vsize=26004064 memory=280347682226576 CPUtime=0 cores=0-7
/proc/30677/task/30689/stat : 30689 (java) S 30675 30675 29914 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102916245 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040745173744 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30690] ppid=30675 vsize=26004064 memory=280347682167856 CPUtime=0 cores=0-7
/proc/30677/task/30690/stat : 30690 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102916247 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040744122320 140042139625371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30691] ppid=30675 vsize=26004064 memory=280347682240400 CPUtime=0.02 cores=0-7
/proc/30677/task/30691/stat : 30691 (java) S 30675 30675 29914 0 -1 1077944384 593 0 0 0 2 0 0 0 20 0 20 0 102916247 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040743070448 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30692] ppid=30675 vsize=26004064 memory=280347682247312 CPUtime=0.02 cores=0-7
/proc/30677/task/30692/stat : 30692 (java) S 30675 30675 29914 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 102916247 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040742017904 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30693] ppid=30675 vsize=26004064 memory=280347682245008 CPUtime=0.02 cores=0-7
/proc/30677/task/30693/stat : 30693 (java) S 30675 30675 29914 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 102916247 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040740964848 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30694] ppid=30675 vsize=26004064 memory=280347682261168 CPUtime=0.13 cores=0-7
/proc/30677/task/30694/stat : 30694 (java) R 30675 30675 29914 0 -1 4202560 1075 0 0 0 13 0 0 0 20 0 20 0 102916247 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040739909240 140042123687262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30695] ppid=30675 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30695/stat : 30695 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102916247 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040738859488 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30696] ppid=30675 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/30677/task/30696/stat : 30696 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102916247 26628161536 10751 33554432000 4194304 4196468 140729786360752 140040737807024 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44388 KiB

[startup+0.710309 s]
/proc/loadavg: 8.35 8.90 8.86 5/199 30696
/proc/meminfo: memFree=27080224/32770624 swapFree=67108860/67108860
[pid=30675] ppid=30672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30675/stat : 30675 (xcsp3-exec) S 30672 30675 29914 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102916241 9740288 346 33554432000 4194304 5098028 140733863820880 140733863818984 139650240258684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37720064 140733863826533 140733863826743 140733863826743 140733863829483 0
/proc/30675/statm: 2378 346 289 221 0 87 0
[pid=30677] ppid=30675 vsize=26006188 memory=98908 CPUtime=2.01 cores=0-7
/proc/30677/stat : 30677 (java) S 30675 30675 29914 0 -1 1077944320 15367 0 0 0 195 6 0 0 20 0 20 0 102916241 26630336512 24727 33554432000 4194304 4196468 140729786360752 140729786343296 140042139606775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
/proc/30677/statm: 6501547 24727 3201 1 0 6488781 0
[pid=30677/tid=30678] ppid=30675 vsize=26006188 memory=3906369346070642720 CPUtime=0.68 cores=0-7
/proc/30677/task/30678/stat : 30678 (java) R 30675 30675 29914 0 -1 4202560 6871 0 0 0 65 3 0 0 20 0 20 0 102916242 26630336512 24727 33554432000 4194304 4196468 140729786360752 140042143842720 140042122066416 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30679] ppid=30675 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30679/stat : 30679 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26630336512 24727 33554432000 4194304 4196468 140729786360752 140041697495568 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30680] ppid=30675 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30680/stat : 30680 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26630336512 24793 33554432000 4194304 4196468 140729786360752 140041696443024 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30681] ppid=30675 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30681/stat : 30681 (java) S 30675 30675 29914 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102916242 26630336512 24793 33554432000 4194304 4196468 140729786360752 140041695389968 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0

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

/proc/loadavg: 8.35 8.90 8.86 5/199 30696
/proc/meminfo: memFree=26947016/32770624 swapFree=67108860/67108860
[pid=30675] ppid=30672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30675/stat : 30675 (xcsp3-exec) S 30672 30675 29914 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102916241 9740288 346 33554432000 4194304 5098028 140733863820880 140733863818984 139650240258684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37720064 140733863826533 140733863826743 140733863826743 140733863829483 0
/proc/30675/statm: 2378 346 289 221 0 87 0
[pid=30677] ppid=30675 vsize=26538700 memory=219792 CPUtime=6.27 cores=0-7
/proc/30677/stat : 30677 (java) S 30675 30675 29914 0 -1 1077944320 29851 0 0 0 614 13 0 0 20 0 28 0 102916241 27175628800 54948 33554432000 4194304 4196468 140729786360752 140729786343296 140042139606775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
/proc/30677/statm: 6634675 54948 3255 1 0 6621909 0
[pid=30677/tid=30678] ppid=30675 vsize=26538700 memory=523 CPUtime=1.17 cores=0-7
/proc/30677/task/30678/stat : 30678 (java) S 30675 30675 29914 0 -1 1077944384 7863 0 0 0 113 4 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140042143847552 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30679] ppid=30675 vsize=26538700 memory=152 CPUtime=0.01 cores=0-7
/proc/30677/task/30679/stat : 30679 (java) S 30675 30675 29914 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140041697495568 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30680] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30680/stat : 30680 (java) S 30675 30675 29914 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140041696443024 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30681] ppid=30675 vsize=26538700 memory=258 CPUtime=0.01 cores=0-7
/proc/30677/task/30681/stat : 30681 (java) S 30675 30675 29914 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140041695389968 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30682] ppid=30675 vsize=26538700 memory=54 CPUtime=0 cores=0-7
/proc/30677/task/30682/stat : 30682 (java) S 30675 30675 29914 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140041694337424 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30683] ppid=30675 vsize=26538700 memory=70 CPUtime=0 cores=0-7
/proc/30677/task/30683/stat : 30683 (java) S 30675 30675 29914 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140041693285392 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30684] ppid=30675 vsize=26538700 memory=12793 CPUtime=0 cores=0-7
/proc/30677/task/30684/stat : 30684 (java) S 30675 30675 29914 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140041692232848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30685] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30685/stat : 30685 (java) S 30675 30675 29914 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140041691179792 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30686] ppid=30675 vsize=26538700 memory=131748121866166 CPUtime=0.01 cores=0-7
/proc/30677/task/30686/stat : 30686 (java) S 30675 30675 29914 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 54948 33554432000 4194304 4196468 140729786360752 140041690127248 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30687] ppid=30675 vsize=26538700 memory=131748121866167 CPUtime=0 cores=0-7
/proc/30677/task/30687/stat : 30687 (java) S 30675 30675 29914 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 28 0 102916244 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040747280624 140042139617922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30688] ppid=30675 vsize=26538700 memory=131748121866168 CPUtime=0 cores=0-7
/proc/30677/task/30688/stat : 30688 (java) S 30675 30675 29914 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 102916244 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040746226848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30689] ppid=30675 vsize=26538700 memory=131748121866169 CPUtime=0 cores=0-7
/proc/30677/task/30689/stat : 30689 (java) S 30675 30675 29914 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 102916245 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040745173744 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30690] ppid=30675 vsize=26538700 memory=131748121866170 CPUtime=0 cores=0-7
/proc/30677/task/30690/stat : 30690 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040744122320 140042139625371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30691] ppid=30675 vsize=26538700 memory=131748121866171 CPUtime=1.05 cores=0-7
/proc/30677/task/30691/stat : 30691 (java) R 30675 30675 29914 0 -1 4202560 5065 0 0 0 104 1 0 0 20 0 28 0 102916247 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040743069632 140042121150498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30692] ppid=30675 vsize=26538700 memory=9857 CPUtime=1.04 cores=0-7
/proc/30677/task/30692/stat : 30692 (java) R 30675 30675 29914 0 -1 4202560 4054 0 0 0 103 1 0 0 20 0 28 0 102916247 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040742004472 140042139628122 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30693] ppid=30675 vsize=26538700 memory=0 CPUtime=1.13 cores=0-7
/proc/30677/task/30693/stat : 30693 (java) R 30675 30675 29914 0 -1 4202560 6892 0 0 0 112 1 0 0 20 0 28 0 102916247 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040740957872 140042139628122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30694] ppid=30675 vsize=26538700 memory=0 CPUtime=0.51 cores=0-7
/proc/30677/task/30694/stat : 30694 (java) R 30675 30675 29914 0 -1 1077944384 3579 0 0 0 50 1 0 0 20 0 28 0 102916247 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040739912432 140042139616981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30695] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30695/stat : 30695 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040738859488 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30696] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30696/stat : 30696 (java) S 30675 30675 29914 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 54948 33554432000 4194304 4196468 140729786360752 140040737807024 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 221176 KiB

[startup+1.82881 s]
# the end of solver process 30675 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.53314 s, system=0.14738 s

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

[startup+1.70537 s]
/proc/loadavg: 8.35 8.90 8.86 5/199 30696
/proc/meminfo: memFree=26947016/32770624 swapFree=67108860/67108860
[pid=30675] ppid=30672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30675/stat : 30675 (xcsp3-exec) S 30672 30675 29914 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102916241 9740288 346 33554432000 4194304 5098028 140733863820880 140733863818984 139650240258684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37720064 140733863826533 140733863826743 140733863826743 140733863829483 0
/proc/30675/statm: 2378 346 289 221 0 87 0
[pid=30677] ppid=30675 vsize=26538700 memory=221740 CPUtime=7.83 cores=0-7
/proc/30677/stat : 30677 (java) S 30675 30675 29914 0 -1 1077944320 30311 0 0 0 770 13 0 0 20 0 28 0 102916241 27175628800 55435 33554432000 4194304 4196468 140729786360752 140729786343296 140042139606775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
/proc/30677/statm: 6634675 55435 3263 1 0 6621909 0
[pid=30677/tid=30678] ppid=30675 vsize=26538700 memory=6944652177228980320 CPUtime=1.17 cores=0-7
/proc/30677/task/30678/stat : 30678 (java) S 30675 30675 29914 0 -1 1077944384 7863 0 0 0 113 4 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140042143847552 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30679] ppid=30675 vsize=26538700 memory=6944656592455360604 CPUtime=0.01 cores=0-7
/proc/30677/task/30679/stat : 30679 (java) S 30675 30675 29914 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140041697495568 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30680] ppid=30675 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/30677/task/30680/stat : 30680 (java) S 30675 30675 29914 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140041696443024 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30681] ppid=30675 vsize=26538700 memory=4140 CPUtime=0.01 cores=0-7
/proc/30677/task/30681/stat : 30681 (java) S 30675 30675 29914 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140041695389968 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30682] ppid=30675 vsize=26538700 memory=29812 CPUtime=0 cores=0-7
/proc/30677/task/30682/stat : 30682 (java) S 30675 30675 29914 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140041694337424 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30683] ppid=30675 vsize=26538700 memory=1296 CPUtime=0 cores=0-7
/proc/30677/task/30683/stat : 30683 (java) S 30675 30675 29914 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140041693285392 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30684] ppid=30675 vsize=26538700 memory=2396 CPUtime=0 cores=0-7
/proc/30677/task/30684/stat : 30684 (java) S 30675 30675 29914 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140041692232848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30685] ppid=30675 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/30677/task/30685/stat : 30685 (java) S 30675 30675 29914 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140041691179792 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30686] ppid=30675 vsize=26538700 memory=1004 CPUtime=0.01 cores=0-7
/proc/30677/task/30686/stat : 30686 (java) S 30675 30675 29914 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 55435 33554432000 4194304 4196468 140729786360752 140041690127248 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30687] ppid=30675 vsize=26538700 memory=11040 CPUtime=0 cores=0-7
/proc/30677/task/30687/stat : 30687 (java) S 30675 30675 29914 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 28 0 102916244 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040747280624 140042139617922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30688] ppid=30675 vsize=26538700 memory=5700 CPUtime=0 cores=0-7
/proc/30677/task/30688/stat : 30688 (java) S 30675 30675 29914 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 102916244 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040746226848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30689] ppid=30675 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/30677/task/30689/stat : 30689 (java) S 30675 30675 29914 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 102916245 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040745173744 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30690] ppid=30675 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/30677/task/30690/stat : 30690 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040744122320 140042139625371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30691] ppid=30675 vsize=26538700 memory=164 CPUtime=1.2 cores=0-7
/proc/30677/task/30691/stat : 30691 (java) R 30675 30675 29914 0 -1 4202560 5423 0 0 0 119 1 0 0 20 0 28 0 102916247 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040743057648 140042123100905 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30692] ppid=30675 vsize=26538700 memory=-7384994778349281184 CPUtime=1.13 cores=0-7
/proc/30677/task/30692/stat : 30692 (java) R 30675 30675 29914 0 -1 4202560 4078 0 0 0 112 1 0 0 20 0 28 0 102916247 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040742004128 140042120782791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30693] ppid=30675 vsize=26538700 memory=7681905605394137914 CPUtime=1.18 cores=0-7
/proc/30677/task/30693/stat : 30693 (java) R 30675 30675 29914 0 -1 4202560 6908 0 0 0 117 1 0 0 20 0 28 0 102916247 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040740956800 140042119101714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30694] ppid=30675 vsize=26538700 memory=7681905605394137914 CPUtime=0.55 cores=0-7
/proc/30677/task/30694/stat : 30694 (java) S 30675 30675 29914 0 -1 1077944384 3633 0 0 0 54 1 0 0 20 0 28 0 102916247 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040739912304 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30695] ppid=30675 vsize=26538700 memory=1399101730491701635 CPUtime=0 cores=0-7
/proc/30677/task/30695/stat : 30695 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040738859488 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30696] ppid=30675 vsize=26538700 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/30677/task/30696/stat : 30696 (java) S 30675 30675 29914 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 55435 33554432000 4194304 4196468 140729786360752 140040737807024 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
Current children cumulated CPU time: 7.83 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 223124 KiB

[startup+1.80137 s]
/proc/loadavg: 8.35 8.90 8.86 5/199 30696
/proc/meminfo: memFree=26947016/32770624 swapFree=67108860/67108860
[pid=30675] ppid=30672 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/30675/stat : 30675 (xcsp3-exec) S 30672 30675 29914 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 102916241 9740288 346 33554432000 4194304 5098028 140733863820880 140733863818984 139650240258684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37720064 140733863826533 140733863826743 140733863826743 140733863829483 0
/proc/30675/statm: 2378 346 289 221 0 87 0
[pid=30677] ppid=30675 vsize=26538700 memory=221908 CPUtime=8.59 cores=0-7
/proc/30677/stat : 30677 (java) S 30675 30675 29914 0 -1 1077944320 30385 0 0 0 846 13 0 0 20 0 28 0 102916241 27175628800 55477 33554432000 4194304 4196468 140729786360752 140729786343296 140042139606775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
/proc/30677/statm: 6634675 55477 3265 1 0 6621909 0
[pid=30677/tid=30678] ppid=30675 vsize=26538700 memory=6944652177228980320 CPUtime=1.17 cores=0-7
/proc/30677/task/30678/stat : 30678 (java) S 30675 30675 29914 0 -1 1077944384 7863 0 0 0 113 4 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140042143847552 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30679] ppid=30675 vsize=26538700 memory=6944656592455097440 CPUtime=0.01 cores=0-7
/proc/30677/task/30679/stat : 30679 (java) S 30675 30675 29914 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140041697495568 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30680] ppid=30675 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/30677/task/30680/stat : 30680 (java) S 30675 30675 29914 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140041696443024 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30681] ppid=30675 vsize=26538700 memory=9229 CPUtime=0.01 cores=0-7
/proc/30677/task/30681/stat : 30681 (java) S 30675 30675 29914 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140041695389968 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30682] ppid=30675 vsize=26538700 memory=19278 CPUtime=0 cores=0-7
/proc/30677/task/30682/stat : 30682 (java) S 30675 30675 29914 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140041694337424 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30683] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30683/stat : 30683 (java) S 30675 30675 29914 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140041693285392 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30684] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30684/stat : 30684 (java) S 30675 30675 29914 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140041692232848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30685] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30685/stat : 30685 (java) S 30675 30675 29914 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140041691179792 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30686] ppid=30675 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/30677/task/30686/stat : 30686 (java) S 30675 30675 29914 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 28 0 102916242 27175628800 55477 33554432000 4194304 4196468 140729786360752 140041690127248 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30687] ppid=30675 vsize=26538700 memory=280347682892816 CPUtime=0 cores=0-7
/proc/30677/task/30687/stat : 30687 (java) S 30675 30675 29914 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 28 0 102916244 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040747280624 140042139617922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30688] ppid=30675 vsize=26538700 memory=140173841447456 CPUtime=0 cores=0-7
/proc/30677/task/30688/stat : 30688 (java) S 30675 30675 29914 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 102916244 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040746226848 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30689] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30689/stat : 30689 (java) S 30675 30675 29914 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 102916245 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040745173744 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30690] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30690/stat : 30690 (java) S 30675 30675 29914 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040744122320 140042139625371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30691] ppid=30675 vsize=26538700 memory=0 CPUtime=1.24 cores=0-7
/proc/30677/task/30691/stat : 30691 (java) R 30675 30675 29914 0 -1 4202560 5431 0 0 0 123 1 0 0 20 0 28 0 102916247 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040743051856 140042120792738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30692] ppid=30675 vsize=26538700 memory=2244 CPUtime=1.17 cores=0-7
/proc/30677/task/30692/stat : 30692 (java) R 30675 30675 29914 0 -1 1077944384 4090 0 0 0 116 1 0 0 20 0 28 0 102916247 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040742009360 140042139616981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30693] ppid=30675 vsize=26538700 memory=0 CPUtime=1.24 cores=0-7
/proc/30677/task/30693/stat : 30693 (java) R 30675 30675 29914 0 -1 4202560 6927 0 0 0 123 1 0 0 20 0 28 0 102916247 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040740949728 140042123993824 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30694] ppid=30675 vsize=26538700 memory=0 CPUtime=0.56 cores=0-7
/proc/30677/task/30694/stat : 30694 (java) R 30675 30675 29914 0 -1 1077944384 3667 0 0 0 55 1 0 0 20 0 28 0 102916247 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040739912304 140042139617922 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30695] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30695/stat : 30695 (java) S 30675 30675 29914 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040738859488 140042139616981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
[pid=30677/tid=30696] ppid=30675 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/30677/task/30696/stat : 30696 (java) S 30675 30675 29914 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 102916247 27175628800 55477 33554432000 4194304 4196468 140729786360752 140040737807024 140042139617922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32546816 140729786369170 140729786369347 140729786369347 140729786372047 0
Current children cumulated CPU time: 8.59 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 223292 KiB

Child status: 0
Real time (s): 1.82885
CPU time (s): 8.68052
CPU user time (s): 8.53314
CPU system time (s): 0.14738
CPU usage (%): 474.644
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 223292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.53314
system time used= 0.14738
maximum resident set size= 223008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30969
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2994
involuntary context switches= 332


# summary of solver processes directly reported to runsolver:
#   pid: 30675
#   total CPU time (s): 8.68052
#   total CPU user time (s): 8.53314
#   total CPU system time (s): 0.14738

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035214 second user time and 0.05814 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-65-sum.xml
MD5SUM	509258906292bc50c375c4c8839ad257
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.513255
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":42},{"degree":6,"count":93},{"degree":7,"count":96},{"degree":8,"count":126},{"degree":9,"count":99},{"degree":10,"count":78},{"degree":11,"count":42}]
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 4271241

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
