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

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT	3.3961201	1.70982

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 (15077 MiB free)
  memory of node 1: 16384 MiB (15441 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274180-1502745770/watcher-4274180-1502745770 -o /tmp/evaluation-result-4274180-1502745770/solver-4274180-1502745770 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 688511981 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274180-1502745770.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100091 s]*
/proc/loadavg: 2.29 1.87 1.60 9/200 28277
/proc/meminfo: memFree=31246172/32770624 swapFree=67105588/67108860
[pid=28271] ppid=28268 vsize=13358552 memory=16184 CPUtime=0.01 cores=1,3,5,7
/proc/28271/stat : 28271 (java) S 28268 28271 12560 0 -1 1077944320 3385 0 0 0 1 0 0 0 20 0 6 0 76772335 13679157248 4046 18446744073709551615 4194304 4196468 140725891581456 140725891564000 140057226645239 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
/proc/28271/statm: 3339638 4046 1909 1 0 3329135 0
[pid=28271/tid=28273] ppid=28268 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28273/stat : 28273 (java) R 28268 28271 12560 0 -1 4202560 2070 0 0 0 0 0 0 0 20 0 6 0 76772344 13679157248 4046 18446744073709551615 4194304 4196468 140725891581456 140057230881360 140057226667165 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28274] ppid=28268 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28274/stat : 28274 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76772345 13679157248 4046 18446744073709551615 4194304 4196468 140725891581456 140057146059024 140057226655445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28275] ppid=28268 vsize=13358552 memory=139752957007488 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28275/stat : 28275 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76772345 13679157248 4046 18446744073709551615 4194304 4196468 140725891581456 140057145006480 140057226655445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28276] ppid=28268 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28276/stat : 28276 (java) S 28268 28271 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 76772345 13679157248 4046 18446744073709551615 4194304 4196468 140725891581456 140057143953936 140057226655445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28277] ppid=28268 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28277/stat : 28277 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 76772345 13679157248 4046 18446744073709551615 4194304 4196468 140725891581456 140057142901392 140057226655445 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 16184 KiB

[startup+0.210204 s]*
/proc/loadavg: 2.18 1.85 1.60 3/209 28286
/proc/meminfo: memFree=31230432/32770624 swapFree=67105588/67108860
[pid=28271] ppid=28268 vsize=13975920 memory=31248 CPUtime=0.09 cores=1,3,5,7
/proc/28271/stat : 28271 (java) S 28268 28271 12560 0 -1 1077944320 6605 0 0 0 8 1 0 0 20 0 15 0 76772335 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140725891564000 140057226645239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
/proc/28271/statm: 3493980 7812 3367 1 0 3482759 0
[pid=28271/tid=28273] ppid=28268 vsize=13975920 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/28271/task/28273/stat : 28273 (java) R 28268 28271 12560 0 -1 4202560 4632 0 0 0 7 0 0 0 20 0 15 0 76772344 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140057230876496 140057210725726 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28274] ppid=28268 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28274/stat : 28274 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140057146059024 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28275] ppid=28268 vsize=13975920 memory=139752957746023 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28275/stat : 28275 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140057145006480 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28276] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28276/stat : 28276 (java) S 28268 28271 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772345 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140057143953936 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28277] ppid=28268 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28277/stat : 28277 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140057142901392 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28278] ppid=28268 vsize=13975920 memory=139752957007488 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28278/stat : 28278 (java) S 28268 28271 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772346 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056705083888 140057226656386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28279] ppid=28268 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28279/stat : 28279 (java) S 28268 28271 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772347 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056704030112 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28280] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28280/stat : 28280 (java) S 28268 28271 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772347 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056702977520 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28281] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28281/stat : 28281 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772349 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056701926096 140057226663835 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28282] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28282/stat : 28282 (java) S 28268 28271 12560 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 76772349 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056700872688 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28283] ppid=28268 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28283/stat : 28283 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772349 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056699820144 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28284] ppid=28268 vsize=13975920 memory=139752957007488 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28284/stat : 28284 (java) S 28268 28271 12560 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 76772349 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056698767600 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28285] ppid=28268 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28285/stat : 28285 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772350 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056697715296 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28286] ppid=28268 vsize=13975920 memory=139752957007488 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28286/stat : 28286 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772354 14311342080 7812 18446744073709551615 4194304 4196468 140725891581456 140056696662832 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31248 KiB

[startup+0.31013 s]*
/proc/loadavg: 2.18 1.85 1.60 4/209 28286
/proc/meminfo: memFree=31217988/32770624 swapFree=67105588/67108860
[pid=28271] ppid=28268 vsize=13975920 memory=40720 CPUtime=0.25 cores=1,3,5,7
/proc/28271/stat : 28271 (java) S 28268 28271 12560 0 -1 1077944320 10371 0 0 0 22 3 0 0 20 0 15 0 76772335 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140725891564000 140057226645239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
/proc/28271/statm: 3493980 10180 3539 1 0 3482759 0
[pid=28271/tid=28273] ppid=28268 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/28271/task/28273/stat : 28273 (java) R 28268 28271 12560 0 -1 4202560 8100 0 0 0 15 2 0 0 20 0 15 0 76772344 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140057230845024 140057210725726 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28274] ppid=28268 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28274/stat : 28274 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140057146059024 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28275] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28275/stat : 28275 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140057145006480 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28276] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28276/stat : 28276 (java) S 28268 28271 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772345 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140057143953936 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28277] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28277/stat : 28277 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140057142901392 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28278] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28278/stat : 28278 (java) S 28268 28271 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76772346 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056705083888 140057226656386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28279] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28279/stat : 28279 (java) S 28268 28271 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772347 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056704030112 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28280] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28280/stat : 28280 (java) S 28268 28271 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772347 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056702977520 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28281] ppid=28268 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28281/stat : 28281 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772349 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056701926096 140057226663835 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28282] ppid=28268 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28271/task/28282/stat : 28282 (java) S 28268 28271 12560 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 76772349 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056700872688 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28283] ppid=28268 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28283/stat : 28283 (java) S 28268 28271 12560 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 15 0 76772349 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056699820144 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28284] ppid=28268 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28271/task/28284/stat : 28284 (java) R 28268 28271 12560 0 -1 4202560 377 0 0 0 4 0 0 0 20 0 15 0 76772349 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056698767600 140057205272529 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28285] ppid=28268 vsize=13975920 memory=139752957007488 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28285/stat : 28285 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772350 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056697715296 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28286] ppid=28268 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28286/stat : 28286 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772354 14311342080 10180 18446744073709551615 4194304 4196468 140725891581456 140056696662832 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40720 KiB

[startup+0.703174 s]
/proc/loadavg: 2.18 1.85 1.60 4/209 28286
/proc/meminfo: memFree=31203908/32770624 swapFree=67105588/67108860
[pid=28271] ppid=28268 vsize=13977988 memory=68636 CPUtime=1.07 cores=1,3,5,7
/proc/28271/stat : 28271 (java) S 28268 28271 12560 0 -1 1077944320 13341 0 0 0 102 5 0 0 20 0 15 0 76772335 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140725891564000 140057226645239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
/proc/28271/statm: 3494497 17159 3724 1 0 3483271 0
[pid=28271/tid=28273] ppid=28268 vsize=13977988 memory=53 CPUtime=0.56 cores=1,3,5,7
/proc/28271/task/28273/stat : 28273 (java) S 28268 28271 12560 0 -1 1077944384 9828 0 0 0 52 4 0 0 20 0 15 0 76772344 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140057230877360 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28274] ppid=28268 vsize=13977988 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28274/stat : 28274 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140057146059024 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28275] ppid=28268 vsize=13977988 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28275/stat : 28275 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140057145006480 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28276] ppid=28268 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28276/stat : 28276 (java) S 28268 28271 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772345 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140057143953936 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28277] ppid=28268 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28277/stat : 28277 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140057142901392 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28278] ppid=28268 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28278/stat : 28278 (java) R 28268 28271 12560 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 76772346 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056705083888 140057219362391 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28279] ppid=28268 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28279/stat : 28279 (java) S 28268 28271 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772347 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056704030112 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28280] ppid=28268 vsize=13977988 memory=279505600075408 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28280/stat : 28280 (java) S 28268 28271 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772347 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056702977520 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28281] ppid=28268 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28281/stat : 28281 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772349 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056701926096 140057226663835 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28282] ppid=28268 vsize=13977988 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28271/task/28282/stat : 28282 (java) R 28268 28271 12560 0 -1 4202560 706 0 0 0 13 0 0 0 20 0 15 0 76772349 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056700864336 140057210145642 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28283] ppid=28268 vsize=13977988 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28271/task/28283/stat : 28283 (java) S 28268 28271 12560 0 -1 1077944384 574 0 0 0 12 0 0 0 20 0 15 0 76772349 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056699820144 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28284] ppid=28268 vsize=13977988 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/28271/task/28284/stat : 28284 (java) R 28268 28271 12560 0 -1 4202560 853 0 0 0 23 0 0 0 20 0 15 0 76772349 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056698767600 140057208055247 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28285] ppid=28268 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28285/stat : 28285 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772350 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056697715296 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28286] ppid=28268 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28286/stat : 28286 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772354 14313459712 17159 18446744073709551615 4194304 4196468 140725891581456 140056696662832 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68636 KiB

[startup+1.50146 s]
/proc/loadavg: 2.18 1.85 1.60 2/194 28301
/proc/meminfo: memFree=31375104/32770624 swapFree=67105588/67108860
[pid=28271] ppid=28268 vsize=13980036 memory=157864 CPUtime=3.11 cores=1,3,5,7
/proc/28271/stat : 28271 (java) S 28268 28271 12560 0 -1 1077944320 26189 0 0 0 302 9 0 0 20 0 15 0 76772335 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140725891564000 140057226645239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
/proc/28271/statm: 3495009 39466 3768 1 0 3483783 0
[pid=28271/tid=28273] ppid=28268 vsize=13980036 memory=7230638415855315031 CPUtime=1.34 cores=1,3,5,7
/proc/28271/task/28273/stat : 28273 (java) R 28268 28271 12560 0 -1 4202560 13427 0 0 0 128 6 0 0 20 0 15 0 76772344 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140057230881448 140056821059525 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28274] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28274/stat : 28274 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140057146059024 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28275] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28275/stat : 28275 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140057145006480 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28276] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28276/stat : 28276 (java) S 28268 28271 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772345 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140057143953936 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28277] ppid=28268 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28277/stat : 28277 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140057142901392 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28278] ppid=28268 vsize=13980036 memory=1404238533841559158 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28278/stat : 28278 (java) S 28268 28271 12560 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 15 0 76772346 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056705083888 140057226656386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28279] ppid=28268 vsize=13980036 memory=8247907794334132811 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28279/stat : 28279 (java) S 28268 28271 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772347 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056704030112 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28280] ppid=28268 vsize=13980036 memory=-7533522213388100735 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28280/stat : 28280 (java) S 28268 28271 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772347 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056702977520 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28281] ppid=28268 vsize=13980036 memory=-8033973737701895300 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28281/stat : 28281 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772349 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056701926096 140057226663835 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28282] ppid=28268 vsize=13980036 memory=-8253362664378450574 CPUtime=0.59 cores=1,3,5,7
/proc/28271/task/28282/stat : 28282 (java) S 28268 28271 12560 0 -1 1077944384 3032 0 0 0 59 0 0 0 20 0 15 0 76772349 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056700872688 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28283] ppid=28268 vsize=13980036 memory=8326441112149131693 CPUtime=0.57 cores=1,3,5,7
/proc/28271/task/28283/stat : 28283 (java) S 28268 28271 12560 0 -1 1077944384 2764 0 0 0 57 0 0 0 20 0 15 0 76772349 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056699820144 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28284] ppid=28268 vsize=13980036 memory=4144 CPUtime=0.56 cores=1,3,5,7
/proc/28271/task/28284/stat : 28284 (java) S 28268 28271 12560 0 -1 1077944384 5224 0 0 0 55 1 0 0 20 0 15 0 76772349 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056698767600 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28285] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28285/stat : 28285 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772350 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056697715296 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28286] ppid=28268 vsize=13980036 memory=6378026435750 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28286/stat : 28286 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772354 14315556864 39466 18446744073709551615 4194304 4196468 140725891581456 140056696662832 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 157864 KiB

[startup+1.70978 s]
# the end of solver process 28271 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.29228 s, system=0.103834 s

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

[startup+1.60147 s]
/proc/loadavg: 2.18 1.85 1.60 2/194 28301
/proc/meminfo: memFree=31375104/32770624 swapFree=67105588/67108860
[pid=28271] ppid=28268 vsize=13980036 memory=164056 CPUtime=3.21 cores=1,3,5,7
/proc/28271/stat : 28271 (java) S 28268 28271 12560 0 -1 1077944320 26196 0 0 0 312 9 0 0 20 0 15 0 76772335 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140725891564000 140057226645239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
/proc/28271/statm: 3495009 41014 3768 1 0 3483783 0
[pid=28271/tid=28273] ppid=28268 vsize=13980036 memory=15540738687502695 CPUtime=1.44 cores=1,3,5,7
/proc/28271/task/28273/stat : 28273 (java) R 28268 28271 12560 0 -1 4202560 13430 0 0 0 138 6 0 0 20 0 15 0 76772344 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140057230883192 140056826825785 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28274] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28274/stat : 28274 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140057146059024 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28275] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28275/stat : 28275 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140057145006480 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28276] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28276/stat : 28276 (java) S 28268 28271 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76772345 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140057143953936 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28277] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28277/stat : 28277 (java) S 28268 28271 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76772345 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140057142901392 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28278] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28278/stat : 28278 (java) S 28268 28271 12560 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 15 0 76772346 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056705083888 140057226656386 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28279] ppid=28268 vsize=13980036 memory=-7595761213668167008 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28279/stat : 28279 (java) S 28268 28271 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76772347 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056704030112 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28280] ppid=28268 vsize=13980036 memory=-7595761213668167008 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28280/stat : 28280 (java) S 28268 28271 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76772347 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056702977520 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28281] ppid=28268 vsize=13980036 memory=-7595718148000617580 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28281/stat : 28281 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772349 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056701926096 140057226663835 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28282] ppid=28268 vsize=13980036 memory=1414351094373861289 CPUtime=0.59 cores=1,3,5,7
/proc/28271/task/28282/stat : 28282 (java) S 28268 28271 12560 0 -1 1077944384 3032 0 0 0 59 0 0 0 20 0 15 0 76772349 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056700872688 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28283] ppid=28268 vsize=13980036 memory=-7595718147998060693 CPUtime=0.57 cores=1,3,5,7
/proc/28271/task/28283/stat : 28283 (java) S 28268 28271 12560 0 -1 1077944384 2766 0 0 0 57 0 0 0 20 0 15 0 76772349 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056699820144 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28284] ppid=28268 vsize=13980036 memory=7751995073768813331 CPUtime=0.56 cores=1,3,5,7
/proc/28271/task/28284/stat : 28284 (java) S 28268 28271 12560 0 -1 1077944384 5226 0 0 0 55 1 0 0 20 0 15 0 76772349 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056698767600 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28285] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28285/stat : 28285 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772350 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056697715296 140057226655445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
[pid=28271/tid=28286] ppid=28268 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28271/task/28286/stat : 28286 (java) S 28268 28271 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76772354 14315556864 41014 18446744073709551615 4194304 4196468 140725891581456 140056696662832 140057226656386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11882496 140725891588463 140725891588649 140725891588649 140725891592143 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 164056 KiB

[startup+1.70059 s]*
/proc/loadavg: 2.18 1.85 1.60 2/179 28320
/proc/meminfo: memFree=31413912/32770624 swapFree=67105588/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 1.70982
CPU time (s): 3.39612
CPU user time (s): 3.29228
CPU system time (s): 0.103834
CPU usage (%): 198.624
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 164056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.29228
system time used= 0.103834
maximum resident set size= 171048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26565
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= 2188
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 28271
#   total CPU time (s): 3.39612
#   total CPU user time (s): 3.29228
#   total CPU system time (s): 0.103834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032675 second user time and 0.055548 second system time

The end

Begin job on node126 at 2017-08-14 23:08:48
IDJOB=4274180
IDBENCH=123653
IDSOLVER=2666
FILE ID=node126/4274180-1502745770
RUNJOBID= node126-1502662832-10388
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-37-sum.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274180-1502745770/watcher-4274180-1502745770 -o /tmp/evaluation-result-4274180-1502745770/solver-4274180-1502745770 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 688511981 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274180-1502745770.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 069666c245bd9cd0e4e347c297fd6ca1
RANDOM SEED=688511981

node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31250576 kB
MemAvailable:   31753940 kB
Buffers:          315024 kB
Cached:           456804 kB
SwapCached:          524 kB
Active:           792892 kB
Inactive:         245160 kB
Active(anon):     214536 kB
Inactive(anon):    85388 kB
Active(file):     578356 kB
Inactive(file):   159772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             42820 kB
Writeback:             4 kB
AnonPages:        278040 kB
Mapped:            63908 kB
Shmem:             33440 kB
Slab:             188352 kB
SReclaimable:     162140 kB
SUnreclaim:        26212 kB
KernelStack:        3680 kB
PageTables:         5420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1257972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61948 MiB
End job on node126 at 2017-08-14 23:08:50

Name	Sat/ Sat-sum-flat200-479/Sat-flat200-37-sum.xml
MD5SUM	069666c245bd9cd0e4e347c297fd6ca1
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.105976
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":12},{"degree":5,"count":51},{"degree":6,"count":81},{"degree":7,"count":99},{"degree":8,"count":132},{"degree":9,"count":135},{"degree":10,"count":45},{"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 4274180

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data