2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering 2018-07-02	SAT	2.85815	1.42685
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 (7285 MiB free)
  memory of node 1: 16384 MiB (10274 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290926-1532234861/watcher-4290926-1532234861 -o /tmp/evaluation-result-4290926-1532234861/solver-4290926-1532234861 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532226506-31899 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 74626444 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290926-1532234861.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=668, runsolver pid=665


[startup+0.100092 s]*
/proc/loadavg: 1.51 1.52 1.45 3/215 683
/proc/meminfo: memFree=17963876/32770624 swapFree=67108860/67108860
[pid=668] ppid=665 vsize=14082740 memory=31268 CPUtime=0.11 cores=0,2,4,6
/proc/668/stat : 668 (java) S 665 668 31868 0 -1 1077944320 6741 0 0 0 10 1 0 0 20 0 15 0 41048945 14420725760 7817 33554432000 4194304 4196468 140732028680768 140732028663312 140468657327863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
/proc/668/statm: 3520685 7817 3137 1 0 3482761 0
[pid=668/tid=670] ppid=665 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/668/task/670/stat : 670 (java) R 665 668 31868 0 -1 4202560 4829 0 0 0 8 1 0 0 20 0 15 0 41048946 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468661557384 140468657349210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=671] ppid=665 vsize=14082740 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/668/task/671/stat : 671 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468587416208 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=672] ppid=665 vsize=14082740 memory=140452270184092 CPUtime=0 cores=0,2,4,6
/proc/668/task/672/stat : 672 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468586363408 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=673] ppid=665 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/673/stat : 673 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468585310608 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=674] ppid=665 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/668/task/674/stat : 674 (java) S 665 668 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468584257808 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=675] ppid=665 vsize=14082740 memory=140452270155392 CPUtime=0 cores=0,2,4,6
/proc/668/task/675/stat : 675 (java) S 665 668 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468131834736 140468657339010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=676] ppid=665 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/668/task/676/stat : 676 (java) S 665 668 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468130780704 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=677] ppid=665 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/677/stat : 677 (java) S 665 668 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468129727856 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=678] ppid=665 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/678/stat : 678 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468128676176 140468657346459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=679] ppid=665 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/679/stat : 679 (java) S 665 668 31868 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468127623536 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=680] ppid=665 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/668/task/680/stat : 680 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468126570736 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=681] ppid=665 vsize=14082740 memory=140452270155392 CPUtime=0.01 cores=0,2,4,6
/proc/668/task/681/stat : 681 (java) R 665 668 31868 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 41048951 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468125517936 140468657339798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=682] ppid=665 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/668/task/682/stat : 682 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468124465376 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=683] ppid=665 vsize=14082740 memory=140452270155392 CPUtime=0 cores=0,2,4,6
/proc/668/task/683/stat : 683 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 7817 33554432000 4194304 4196468 140732028680768 140468123413680 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31268 KiB

[startup+0.211352 s]*
/proc/loadavg: 1.51 1.52 1.45 5/215 683
/proc/meminfo: memFree=17948108/32770624 swapFree=67108860/67108860
[pid=668] ppid=665 vsize=14082740 memory=47324 CPUtime=0.29 cores=0,2,4,6
/proc/668/stat : 668 (java) S 665 668 31868 0 -1 1077944320 10414 0 0 0 27 2 0 0 20 0 15 0 41048945 14420725760 11831 33554432000 4194304 4196468 140732028680768 140732028663312 140468657327863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
/proc/668/statm: 3520685 11831 3373 1 0 3482761 0
[pid=668/tid=670] ppid=665 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/668/task/670/stat : 670 (java) R 665 668 31868 0 -1 4202560 8164 0 0 0 19 1 0 0 20 0 15 0 41048946 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468661550672 140468641371493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=671] ppid=665 vsize=14082740 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/668/task/671/stat : 671 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468587416208 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=672] ppid=665 vsize=14082740 memory=140452270184092 CPUtime=0 cores=0,2,4,6
/proc/668/task/672/stat : 672 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468586363408 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=673] ppid=665 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/673/stat : 673 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468585310608 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=674] ppid=665 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/668/task/674/stat : 674 (java) S 665 668 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468584257808 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=675] ppid=665 vsize=14082740 memory=140452270155392 CPUtime=0 cores=0,2,4,6
/proc/668/task/675/stat : 675 (java) S 665 668 31868 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468131834736 140468657339010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=676] ppid=665 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/668/task/676/stat : 676 (java) S 665 668 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468130780704 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=677] ppid=665 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/677/stat : 677 (java) S 665 668 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468129727856 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=678] ppid=665 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/678/stat : 678 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468128676176 140468657346459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=679] ppid=665 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/668/task/679/stat : 679 (java) R 665 668 31868 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 41048951 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468127623536 140468657339010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=680] ppid=665 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/668/task/680/stat : 680 (java) S 665 668 31868 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 15 0 41048951 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468126570864 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=681] ppid=665 vsize=14082740 memory=140452270155392 CPUtime=0.05 cores=0,2,4,6
/proc/668/task/681/stat : 681 (java) R 665 668 31868 0 -1 4202560 283 0 0 0 5 0 0 0 20 0 15 0 41048951 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468125514304 140468637039160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=682] ppid=665 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/668/task/682/stat : 682 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468124465376 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=683] ppid=665 vsize=14082740 memory=140452270155392 CPUtime=0 cores=0,2,4,6
/proc/668/task/683/stat : 683 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 11831 33554432000 4194304 4196468 140732028680768 140468123413680 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47324 KiB

[startup+0.310409 s]*
/proc/loadavg: 1.51 1.52 1.45 4/215 683
/proc/meminfo: memFree=17944556/32770624 swapFree=67108860/67108860
[pid=668] ppid=665 vsize=14082740 memory=50740 CPUtime=0.43 cores=0,2,4,6
/proc/668/stat : 668 (java) S 665 668 31868 0 -1 1077944320 10786 0 0 0 41 2 0 0 20 0 15 0 41048945 14420725760 12685 33554432000 4194304 4196468 140732028680768 140732028663312 140468657327863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
/proc/668/statm: 3520685 12685 3416 1 0 3482761 0
[pid=668/tid=670] ppid=665 vsize=14082740 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/668/task/670/stat : 670 (java) R 665 668 31868 0 -1 4202560 8494 0 0 0 28 1 0 0 20 0 15 0 41048946 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468661507872 140468637603558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=671] ppid=665 vsize=14082740 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/668/task/671/stat : 671 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468587416208 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=672] ppid=665 vsize=14082740 memory=792 CPUtime=0 cores=0,2,4,6
/proc/668/task/672/stat : 672 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468586363408 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=673] ppid=665 vsize=14082740 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/668/task/673/stat : 673 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468585310608 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=674] ppid=665 vsize=14082740 memory=8388 CPUtime=0 cores=0,2,4,6
/proc/668/task/674/stat : 674 (java) S 665 668 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41048946 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468584257808 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=675] ppid=665 vsize=14082740 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/668/task/675/stat : 675 (java) S 665 668 31868 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468131834736 140468657339010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=676] ppid=665 vsize=14082740 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/668/task/676/stat : 676 (java) S 665 668 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468130780704 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=677] ppid=665 vsize=14082740 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/668/task/677/stat : 677 (java) S 665 668 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41048948 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468129727856 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=678] ppid=665 vsize=14082740 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/668/task/678/stat : 678 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468128676176 140468657346459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=679] ppid=665 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/668/task/679/stat : 679 (java) S 665 668 31868 0 -1 1077944384 402 0 0 0 3 0 0 0 20 0 15 0 41048951 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468127623536 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=680] ppid=665 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/668/task/680/stat : 680 (java) S 665 668 31868 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 15 0 41048951 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468126570736 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=681] ppid=665 vsize=14082740 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/668/task/681/stat : 681 (java) S 665 668 31868 0 -1 1077944384 293 0 0 0 7 0 0 0 20 0 15 0 41048951 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468125517936 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=682] ppid=665 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/682/stat : 682 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468124465376 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=683] ppid=665 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/668/task/683/stat : 683 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048951 14420725760 12685 33554432000 4194304 4196468 140732028680768 140468123413680 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50740 KiB

[startup+0.700742 s]
/proc/loadavg: 1.51 1.52 1.45 3/215 683
/proc/meminfo: memFree=17920744/32770624 swapFree=67108860/67108860
[pid=668] ppid=665 vsize=14084808 memory=88776 CPUtime=0.98 cores=0,2,4,6
/proc/668/stat : 668 (java) S 665 668 31868 0 -1 1077944320 17613 0 0 0 94 4 0 0 20 0 15 0 41048945 14422843392 22194 33554432000 4194304 4196468 140732028680768 140732028663312 140468657327863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
/proc/668/statm: 3521202 22194 3497 1 0 3483273 0
[pid=668/tid=670] ppid=665 vsize=14084808 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/668/task/670/stat : 670 (java) R 665 668 31868 0 -1 4202560 14937 0 0 0 64 3 0 0 20 0 15 0 41048946 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468661551968 140468641408350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=671] ppid=665 vsize=14084808 memory=5788924701885091942 CPUtime=0 cores=0,2,4,6
/proc/668/task/671/stat : 671 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468587416208 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=672] ppid=665 vsize=14084808 memory=8095326254380639065 CPUtime=0 cores=0,2,4,6
/proc/668/task/672/stat : 672 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468586363408 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=673] ppid=665 vsize=14084808 memory=5795126054908095849 CPUtime=0 cores=0,2,4,6
/proc/668/task/673/stat : 673 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468585310608 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=674] ppid=665 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/674/stat : 674 (java) S 665 668 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41048946 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468584257808 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=675] ppid=665 vsize=14084808 memory=143351244530402 CPUtime=0 cores=0,2,4,6
/proc/668/task/675/stat : 675 (java) S 665 668 31868 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41048948 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468131834736 140468657339010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=676] ppid=665 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/676/stat : 676 (java) S 665 668 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41048948 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468130780704 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=677] ppid=665 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/677/stat : 677 (java) S 665 668 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41048948 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468129727856 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=678] ppid=665 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/678/stat : 678 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468128676176 140468657346459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=679] ppid=665 vsize=14084808 memory=280904282931440 CPUtime=0.06 cores=0,2,4,6
/proc/668/task/679/stat : 679 (java) S 665 668 31868 0 -1 1077944384 550 0 0 0 6 0 0 0 20 0 15 0 41048951 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468127623536 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=680] ppid=665 vsize=14084808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/668/task/680/stat : 680 (java) S 665 668 31868 0 -1 1077944384 372 0 0 0 7 0 0 0 20 0 15 0 41048951 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468126570736 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=681] ppid=665 vsize=14084808 memory=-1807685287724412255 CPUtime=0.14 cores=0,2,4,6
/proc/668/task/681/stat : 681 (java) S 665 668 31868 0 -1 1077944384 373 0 0 0 14 0 0 0 20 0 15 0 41048951 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468125517936 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=682] ppid=665 vsize=14084808 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/668/task/682/stat : 682 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468124465376 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=683] ppid=665 vsize=14084808 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/668/task/683/stat : 683 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048951 14422843392 22194 33554432000 4194304 4196468 140732028680768 140468123413680 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88776 KiB

[startup+1.42679 s]
# the end of solver process 668 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.77807 s, system=0.080077 s

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

[startup+0.800806 s]
/proc/loadavg: 1.51 1.52 1.45 3/215 683
/proc/meminfo: memFree=17920744/32770624 swapFree=67108860/67108860
[pid=668] ppid=665 vsize=14086856 memory=95056 CPUtime=1.19 cores=0,2,4,6
/proc/668/stat : 668 (java) S 665 668 31868 0 -1 1077944320 18121 0 0 0 114 5 0 0 20 0 15 0 41048945 14424940544 23764 33554432000 4194304 4196468 140732028680768 140732028663312 140468657327863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
/proc/668/statm: 3521714 23764 3503 1 0 3483785 0
[pid=668/tid=670] ppid=665 vsize=14086856 memory=-7361174377247368086 CPUtime=0.77 cores=0,2,4,6
/proc/668/task/670/stat : 670 (java) R 665 668 31868 0 -1 4202560 15266 0 0 0 74 3 0 0 20 0 15 0 41048946 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468661560144 140468264522048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=671] ppid=665 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/671/stat : 671 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468587416208 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=672] ppid=665 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/672/stat : 672 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468586363408 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=673] ppid=665 vsize=14086856 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/668/task/673/stat : 673 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468585310608 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=674] ppid=665 vsize=14086856 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/668/task/674/stat : 674 (java) S 665 668 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41048946 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468584257808 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=675] ppid=665 vsize=14086856 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/668/task/675/stat : 675 (java) S 665 668 31868 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41048948 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468131834736 140468657339010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=676] ppid=665 vsize=14086856 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/668/task/676/stat : 676 (java) S 665 668 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41048948 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468130780704 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=677] ppid=665 vsize=14086856 memory=208520 CPUtime=0 cores=0,2,4,6
/proc/668/task/677/stat : 677 (java) S 665 668 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41048948 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468129727856 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=678] ppid=665 vsize=14086856 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/668/task/678/stat : 678 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468128676176 140468657346459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=679] ppid=665 vsize=14086856 memory=1004 CPUtime=0.09 cores=0,2,4,6
/proc/668/task/679/stat : 679 (java) R 665 668 31868 0 -1 1077944384 576 0 0 0 9 0 0 0 20 0 15 0 41048951 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468127623536 140468657339010 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=680] ppid=665 vsize=14086856 memory=1952 CPUtime=0.1 cores=0,2,4,6
/proc/668/task/680/stat : 680 (java) R 665 668 31868 0 -1 4202560 389 0 0 0 10 0 0 0 20 0 15 0 41048951 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468126570736 140468637547889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=681] ppid=665 vsize=14086856 memory=1704 CPUtime=0.2 cores=0,2,4,6
/proc/668/task/681/stat : 681 (java) R 665 668 31868 0 -1 4202560 508 0 0 0 20 0 0 0 20 0 15 0 41048951 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468125514304 140468641408350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=682] ppid=665 vsize=14086856 memory=792 CPUtime=0 cores=0,2,4,6
/proc/668/task/682/stat : 682 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468124465376 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=683] ppid=665 vsize=14086856 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/668/task/683/stat : 683 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048951 14424940544 23764 33554432000 4194304 4196468 140732028680768 140468123413680 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 95056 KiB

[startup+1.20065 s]
/proc/loadavg: 1.51 1.52 1.45 6/215 683
/proc/meminfo: memFree=17887676/32770624 swapFree=67108860/67108860
[pid=668] ppid=665 vsize=14088904 memory=135320 CPUtime=2.29 cores=0,2,4,6
/proc/668/stat : 668 (java) S 665 668 31868 0 -1 1077944320 24414 0 0 0 223 6 0 0 20 0 15 0 41048945 14427037696 33830 33554432000 4194304 4196468 140732028680768 140732028663312 140468657327863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
/proc/668/statm: 3522226 33830 3543 1 0 3484297 0
[pid=668/tid=670] ppid=665 vsize=14088904 memory=-8369150782663583395 CPUtime=1.16 cores=0,2,4,6
/proc/668/task/670/stat : 670 (java) R 665 668 31868 0 -1 4202560 19283 0 0 0 112 4 0 0 20 0 15 0 41048946 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468661563696 140468641408350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=671] ppid=665 vsize=14088904 memory=8761640388971749472 CPUtime=0 cores=0,2,4,6
/proc/668/task/671/stat : 671 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468587416208 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=672] ppid=665 vsize=14088904 memory=6944656425123094137 CPUtime=0 cores=0,2,4,6
/proc/668/task/672/stat : 672 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468586363408 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=673] ppid=665 vsize=14088904 memory=6944658624146216565 CPUtime=0 cores=0,2,4,6
/proc/668/task/673/stat : 673 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468585310608 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=674] ppid=665 vsize=14088904 memory=-2331055268852096867 CPUtime=0 cores=0,2,4,6
/proc/668/task/674/stat : 674 (java) S 665 668 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41048946 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468584257808 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=675] ppid=665 vsize=14088904 memory=-3252517613198930781 CPUtime=0 cores=0,2,4,6
/proc/668/task/675/stat : 675 (java) S 665 668 31868 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41048948 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468131834736 140468657339010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=676] ppid=665 vsize=14088904 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/668/task/676/stat : 676 (java) S 665 668 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41048948 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468130780704 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=677] ppid=665 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/677/stat : 677 (java) S 665 668 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41048948 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468129727856 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=678] ppid=665 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/678/stat : 678 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468128676176 140468657346459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=679] ppid=665 vsize=14088904 memory=280904283000176 CPUtime=0.35 cores=0,2,4,6
/proc/668/task/679/stat : 679 (java) S 665 668 31868 0 -1 1077944384 1276 0 0 0 35 0 0 0 20 0 15 0 41048951 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468127623536 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=680] ppid=665 vsize=14088904 memory=-7093856181963027648 CPUtime=0.34 cores=0,2,4,6
/proc/668/task/680/stat : 680 (java) S 665 668 31868 0 -1 1077944384 939 0 0 0 34 0 0 0 20 0 15 0 41048951 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468126570736 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=681] ppid=665 vsize=14088904 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/668/task/681/stat : 681 (java) S 665 668 31868 0 -1 1077944384 1534 0 0 0 39 0 0 0 20 0 15 0 41048951 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468125517936 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=682] ppid=665 vsize=14088904 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/668/task/682/stat : 682 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468124465376 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=683] ppid=665 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/683/stat : 683 (java) S 665 668 31868 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41048951 14427037696 33830 33554432000 4194304 4196468 140732028680768 140468123413680 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 135320 KiB

[startup+1.40135 s]
/proc/loadavg: 1.51 1.52 1.45 6/215 683
/proc/meminfo: memFree=17887676/32770624 swapFree=67108860/67108860
[pid=668] ppid=665 vsize=14090952 memory=150352 CPUtime=2.8 cores=0,2,4,6
/proc/668/stat : 668 (java) S 665 668 31868 0 -1 1077944320 26630 0 0 0 273 7 0 0 20 0 15 0 41048945 14429134848 37588 33554432000 4194304 4196468 140732028680768 140732028663312 140468657327863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
/proc/668/statm: 3522738 37588 3545 1 0 3484809 0
[pid=668/tid=670] ppid=665 vsize=14090952 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/668/task/670/stat : 670 (java) R 665 668 31868 0 -1 4202560 20600 0 0 0 131 5 0 0 20 0 15 0 41048946 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468661538544 140468657339798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=671] ppid=665 vsize=14090952 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/668/task/671/stat : 671 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468587416208 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=672] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/672/stat : 672 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468586363408 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=673] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/673/stat : 673 (java) S 665 668 31868 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41048946 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468585310608 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=674] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/674/stat : 674 (java) S 665 668 31868 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41048946 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468584257808 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=675] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/675/stat : 675 (java) S 665 668 31868 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 41048948 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468131834736 140468657339010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=676] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/676/stat : 676 (java) S 665 668 31868 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41048948 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468130780704 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=677] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/677/stat : 677 (java) S 665 668 31868 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41048948 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468129727856 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=678] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/678/stat : 678 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468128676176 140468657346459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=679] ppid=665 vsize=14090952 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/668/task/679/stat : 679 (java) R 665 668 31868 0 -1 4202560 1487 0 0 0 45 0 0 0 20 0 15 0 41048951 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468127623664 140468640714821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=680] ppid=665 vsize=14090952 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/668/task/680/stat : 680 (java) R 665 668 31868 0 -1 4202560 998 0 0 0 44 0 0 0 20 0 15 0 41048951 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468126557552 140468638519737 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=681] ppid=665 vsize=14090952 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/668/task/681/stat : 681 (java) R 665 668 31868 0 -1 4202560 2143 0 0 0 51 0 0 0 20 0 15 0 41048951 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468125517936 140468657349210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=682] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/682/stat : 682 (java) S 665 668 31868 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41048951 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468124465376 140468657338069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
[pid=668/tid=683] ppid=665 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/668/task/683/stat : 683 (java) S 665 668 31868 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41048951 14429134848 37588 33554432000 4194304 4196468 140732028680768 140468123413680 140468657339010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24760320 140732028683346 140732028683529 140732028683529 140732028686287 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 150352 KiB

Child status: 0
Real time (s): 1.42685
CPU time (s): 2.85815
CPU user time (s): 2.77807
CPU system time (s): 0.080077
CPU usage (%): 200.312
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 150352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.77807
system time used= 0.080077
maximum resident set size= 153536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26943
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= 2541
involuntary context switches= 7


# summary of solver processes directly reported to runsolver:
#   pid: 668
#   total CPU time (s): 2.85815
#   total CPU user time (s): 2.77807
#   total CPU system time (s): 0.080077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02594 second user time and 0.061219 second system time

The end
Name	PseudoBoolean-dec/ Pb-robin08_c18.xml
MD5SUM	1bc3f3e5ba546c0eba55cc781441057a
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.095834
Satisfiable
(Un)Satisfiability was proved
Number of variables	784
Number of constraints	256
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":784}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":784}]
Minimum constraint arity	28
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":28,"count":224},{"arity":49,"count":32}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":256}]
Optimization problem	NO
Type of objective
Trace number 4290926

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
