0.30/0.25 c version: 2017-07-26
0.30/0.25 c seed: 242092737
0.30/0.25 c timeout: 20160
0.30/0.25 c memlimit: 11000
0.30/0.25 c nbcore: 8
0.30/0.28 c Parsing instance...
0.85/0.60 c Parsing done, starting search...
1.29/0.83 s UNSATISFIABLE
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 (12918 MiB free)
memory of node 1: 16384 MiB (14921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275677-1502730273/watcher-4275677-1502730273 -o /tmp/evaluation-result-4275677-1502730273/solver-4275677-1502730273 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502721839-26554 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 242092737 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275677-1502730273.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27420, runsolver pid=27417
[startup+0.100135 s]*
/proc/loadavg: 4.10 6.12 4.67 3/198 27440
/proc/meminfo: memFree=28489120/32770624 swapFree=67108860/67108860
[pid=27420] ppid=27417 vsize=14325320 memory=33968 CPUtime=0.12 cores=0-7
/proc/27420/stat : 27420 (java) S 27417 27420 26527 0 -1 1077944320 8396 0 0 0 10 2 0 0 20 0 20 0 106115190 14669127680 8492 33554432000 4194304 4196468 140722481331056 140722481313600 140510903447287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
/proc/27420/statm: 3581330 8492 3410 1 0 3569050 0
[pid=27420/tid=27422] ppid=27417 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/27420/task/27422/stat : 27422 (java) R 27417 27420 26527 0 -1 4202560 6341 0 0 0 8 1 0 0 20 0 20 0 106115190 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510907663984 140510887527774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27423] ppid=27417 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27420/task/27423/stat : 27423 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510499256976 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27424] ppid=27417 vsize=14325320 memory=139907376760448 CPUtime=0 cores=0-7
/proc/27420/task/27424/stat : 27424 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510498204176 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27425] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27425/stat : 27425 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510497151376 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27426] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27426/stat : 27426 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510496098576 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27427] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27427/stat : 27427 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510495046800 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27428] ppid=27417 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/27420/task/27428/stat : 27428 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510493994000 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27429] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27429/stat : 27429 (java) S 27417 27420 26527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510492941200 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27430] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27430/stat : 27430 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510491888400 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27431] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27431/stat : 27431 (java) S 27417 27420 26527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106115193 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510361594224 140510903458434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27432] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27432/stat : 27432 (java) S 27417 27420 26527 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106115193 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510360540192 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27433] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27433/stat : 27433 (java) S 27417 27420 26527 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106115193 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510359487344 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27434] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27434/stat : 27434 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510358435664 140510903465883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27435] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27435/stat : 27435 (java) S 27417 27420 26527 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510357384048 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27436] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27436/stat : 27436 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510356331248 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27437] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27437/stat : 27437 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510355278448 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27438] ppid=27417 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/27420/task/27438/stat : 27438 (java) S 27417 27420 26527 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 20 0 106115196 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510354225648 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27439] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27439/stat : 27439 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510353173088 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27440] ppid=27417 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/27420/task/27440/stat : 27440 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 8492 33554432000 4194304 4196468 140722481331056 140510352120368 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33968 KiB
[startup+0.210403 s]*
/proc/loadavg: 4.10 6.12 4.67 3/198 27440
/proc/meminfo: memFree=28479504/32770624 swapFree=67108860/67108860
[pid=27420] ppid=27417 vsize=14325320 memory=43116 CPUtime=0.3 cores=0-7
/proc/27420/stat : 27420 (java) S 27417 27420 26527 0 -1 1077944320 9428 0 0 0 27 3 0 0 20 0 20 0 106115190 14669127680 10779 33554432000 4194304 4196468 140722481331056 140722481313600 140510903447287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
/proc/27420/statm: 3581330 10779 3610 1 0 3569050 0
[pid=27420/tid=27422] ppid=27417 vsize=14325320 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/27420/task/27422/stat : 27422 (java) R 27417 27420 26527 0 -1 4202560 6972 0 0 0 18 2 0 0 20 0 20 0 106115190 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510907652368 140510887527774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27423] ppid=27417 vsize=14325320 memory=9234 CPUtime=0 cores=0-7
/proc/27420/task/27423/stat : 27423 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510499256976 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27424] ppid=27417 vsize=14325320 memory=139907376786575 CPUtime=0 cores=0-7
/proc/27420/task/27424/stat : 27424 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510498204176 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27425] ppid=27417 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/27420/task/27425/stat : 27425 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510497151376 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27426] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27426/stat : 27426 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510496098576 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27427] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27427/stat : 27427 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510495046800 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27428] ppid=27417 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/27420/task/27428/stat : 27428 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510493994000 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27429] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27429/stat : 27429 (java) S 27417 27420 26527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510492941200 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27430] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27430/stat : 27430 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115191 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510491888400 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27431] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27431/stat : 27431 (java) S 27417 27420 26527 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 106115193 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510361594224 140510903458434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27432] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27432/stat : 27432 (java) S 27417 27420 26527 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106115193 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510360540192 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27433] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27433/stat : 27433 (java) S 27417 27420 26527 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106115193 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510359487344 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27434] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27434/stat : 27434 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510358435664 140510903465883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27435] ppid=27417 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/27420/task/27435/stat : 27435 (java) S 27417 27420 26527 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 20 0 106115196 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510357384048 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27436] ppid=27417 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/27420/task/27436/stat : 27436 (java) S 27417 27420 26527 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 106115196 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510356331248 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27437] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27437/stat : 27437 (java) S 27417 27420 26527 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510355278448 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27438] ppid=27417 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/27420/task/27438/stat : 27438 (java) S 27417 27420 26527 0 -1 1077944384 426 0 0 0 5 0 0 0 20 0 20 0 106115196 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510354225648 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27439] ppid=27417 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27439/stat : 27439 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115196 14669127680 10779 33554432000 4194304 4196468 140722481331056 140510353173088 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27440] ppid=27417 vsize=14325352 memory=-1 CPUtime=0 cores=0-7
/proc/27420/task/27440/stat : 27440 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14669160448 10779 33554432000 4194304 4196468 140722481331056 140510352120368 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43116 KiB
[startup+0.310167 s]*
/proc/loadavg: 3.86 6.04 4.65 2/198 27440
/proc/meminfo: memFree=28472184/32770624 swapFree=67108860/67108860
[pid=27420] ppid=27417 vsize=14325340 memory=51056 CPUtime=0.49 cores=0-7
/proc/27420/stat : 27420 (java) S 27417 27420 26527 0 -1 1077944320 10497 0 0 0 45 4 0 0 20 0 20 0 106115190 14669148160 12764 33554432000 4194304 4196468 140722481331056 140722481313600 140510903447287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
/proc/27420/statm: 3581335 12764 3717 1 0 3569050 0
[pid=27420/tid=27422] ppid=27417 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27420/task/27422/stat : 27422 (java) R 27417 27420 26527 0 -1 4202560 7627 0 0 0 27 2 0 0 20 0 20 0 106115190 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510907670128 140510540843552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27423] ppid=27417 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27423/stat : 27423 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510499256976 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27424] ppid=27417 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27424/stat : 27424 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510498204176 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27425] ppid=27417 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27425/stat : 27425 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510497151376 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27426] ppid=27417 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27426/stat : 27426 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510496098576 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27427] ppid=27417 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/27420/task/27427/stat : 27427 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510495046800 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27428] ppid=27417 vsize=14325340 memory=139907217585071 CPUtime=0 cores=0-7
/proc/27420/task/27428/stat : 27428 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510493994000 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27429] ppid=27417 vsize=14325340 memory=139907217587376 CPUtime=0 cores=0-7
/proc/27420/task/27429/stat : 27429 (java) S 27417 27420 26527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106115191 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510492941200 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27430] ppid=27417 vsize=14325340 memory=139907217589680 CPUtime=0 cores=0-7
/proc/27420/task/27430/stat : 27430 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115191 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510491888400 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27431] ppid=27417 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27431/stat : 27431 (java) S 27417 27420 26527 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 106115193 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510361594224 140510903458434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27432] ppid=27417 vsize=14325340 memory=279814435186320 CPUtime=0 cores=0-7
/proc/27420/task/27432/stat : 27432 (java) S 27417 27420 26527 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106115193 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510360540192 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27433] ppid=27417 vsize=14325340 memory=279814435193232 CPUtime=0 cores=0-7
/proc/27420/task/27433/stat : 27433 (java) S 27417 27420 26527 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106115193 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510359487344 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27434] ppid=27417 vsize=14325340 memory=279814435134512 CPUtime=0 cores=0-7
/proc/27420/task/27434/stat : 27434 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510358435664 140510903465883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27435] ppid=27417 vsize=14325340 memory=279814435207056 CPUtime=0.04 cores=0-7
/proc/27420/task/27435/stat : 27435 (java) S 27417 27420 26527 0 -1 1077944384 623 0 0 0 4 0 0 0 20 0 20 0 106115196 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510357384048 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27436] ppid=27417 vsize=14325340 memory=279814435213968 CPUtime=0.02 cores=0-7
/proc/27420/task/27436/stat : 27436 (java) S 27417 27420 26527 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 20 0 106115196 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510356331248 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27437] ppid=27417 vsize=14325340 memory=279814435211664 CPUtime=0.02 cores=0-7
/proc/27420/task/27437/stat : 27437 (java) R 27417 27420 26527 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 106115196 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510355278448 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27438] ppid=27417 vsize=14325340 memory=279814435228272 CPUtime=0.08 cores=0-7
/proc/27420/task/27438/stat : 27438 (java) R 27417 27420 26527 0 -1 4202560 511 0 0 0 8 0 0 0 20 0 20 0 106115196 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510354223184 140510903459222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27439] ppid=27417 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27439/stat : 27439 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115196 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510353173088 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27440] ppid=27417 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/27420/task/27440/stat : 27440 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14669148160 12764 33554432000 4194304 4196468 140722481331056 140510352120368 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51056 KiB
[startup+0.70087 s]
/proc/loadavg: 3.86 6.04 4.65 4/198 27440
/proc/meminfo: memFree=28459668/32770624 swapFree=67108860/67108860
[pid=27420] ppid=27417 vsize=14329436 memory=79608 CPUtime=1.14 cores=0-7
/proc/27420/stat : 27420 (java) S 27417 27420 26527 0 -1 1077944320 12932 0 0 0 108 6 0 0 20 0 20 0 106115190 14673342464 19902 33554432000 4194304 4196468 140722481331056 140722481313600 140510903447287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
/proc/27420/statm: 3582359 19902 3762 1 0 3570074 0
[pid=27420/tid=27422] ppid=27417 vsize=14329436 memory=0 CPUtime=0.68 cores=0-7
/proc/27420/task/27422/stat : 27422 (java) R 27417 27420 26527 0 -1 4202560 9363 0 0 0 64 4 0 0 20 0 20 0 106115190 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510907674592 140510903459222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27423] ppid=27417 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27423/stat : 27423 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510499256976 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27424] ppid=27417 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27424/stat : 27424 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510498204176 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27425] ppid=27417 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27425/stat : 27425 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510497151376 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27426] ppid=27417 vsize=14329436 memory=1008 CPUtime=0 cores=0-7
/proc/27420/task/27426/stat : 27426 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510496098576 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27427] ppid=27417 vsize=14329436 memory=11008 CPUtime=0 cores=0-7
/proc/27420/task/27427/stat : 27427 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510495046800 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27428] ppid=27417 vsize=14329436 memory=1228 CPUtime=0 cores=0-7
/proc/27420/task/27428/stat : 27428 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510493994000 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27429] ppid=27417 vsize=14329436 memory=1420 CPUtime=0 cores=0-7
/proc/27420/task/27429/stat : 27429 (java) S 27417 27420 26527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106115191 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510492941200 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27430] ppid=27417 vsize=14329436 memory=15872 CPUtime=0 cores=0-7
/proc/27420/task/27430/stat : 27430 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115191 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510491888400 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27431] ppid=27417 vsize=14329436 memory=16448 CPUtime=0 cores=0-7
/proc/27420/task/27431/stat : 27431 (java) S 27417 27420 26527 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 106115193 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510361594224 140510903458434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27432] ppid=27417 vsize=14329436 memory=16904 CPUtime=0 cores=0-7
/proc/27420/task/27432/stat : 27432 (java) S 27417 27420 26527 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106115193 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510360540192 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27433] ppid=27417 vsize=14329436 memory=4048 CPUtime=0 cores=0-7
/proc/27420/task/27433/stat : 27433 (java) S 27417 27420 26527 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106115193 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510359487344 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27434] ppid=27417 vsize=14329436 memory=1236 CPUtime=0 cores=0-7
/proc/27420/task/27434/stat : 27434 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510358435664 140510903465883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27435] ppid=27417 vsize=14329436 memory=644 CPUtime=0.07 cores=0-7
/proc/27420/task/27435/stat : 27435 (java) S 27417 27420 26527 0 -1 1077944384 694 0 0 0 7 0 0 0 20 0 20 0 106115196 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510357384048 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27436] ppid=27417 vsize=14329436 memory=1716 CPUtime=0.06 cores=0-7
/proc/27420/task/27436/stat : 27436 (java) S 27417 27420 26527 0 -1 1077944384 237 0 0 0 6 0 0 0 20 0 20 0 106115196 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510356331248 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27437] ppid=27417 vsize=14329436 memory=796 CPUtime=0.07 cores=0-7
/proc/27420/task/27437/stat : 27437 (java) S 27417 27420 26527 0 -1 1077944384 341 0 0 0 7 0 0 0 20 0 20 0 106115196 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510355278448 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27438] ppid=27417 vsize=14329436 memory=1952 CPUtime=0.22 cores=0-7
/proc/27420/task/27438/stat : 27438 (java) R 27417 27420 26527 0 -1 4202560 915 0 0 0 22 0 0 0 20 0 20 0 106115196 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510354225648 140510896544123 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27439] ppid=27417 vsize=14329436 memory=1200 CPUtime=0 cores=0-7
/proc/27420/task/27439/stat : 27439 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115196 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510353173088 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27440] ppid=27417 vsize=14329436 memory=8564 CPUtime=0 cores=0-7
/proc/27420/task/27440/stat : 27440 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14673342464 19902 33554432000 4194304 4196468 140722481331056 140510352120368 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 14329436 KiB
Current children cumulated memory: 79608 KiB
[startup+0.837423 s]
# the end of solver process 27420 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.28036 s, system=0.081681 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801043 s]
/proc/loadavg: 3.86 6.04 4.65 4/198 27440
/proc/meminfo: memFree=28459668/32770624 swapFree=67108860/67108860
[pid=27420] ppid=27417 vsize=14331484 memory=90512 CPUtime=1.29 cores=0-7
/proc/27420/stat : 27420 (java) S 27417 27420 26527 0 -1 1077944320 13685 0 0 0 122 7 0 0 20 0 20 0 106115190 14675439616 22628 33554432000 4194304 4196468 140722481331056 140722481313600 140510903447287 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
/proc/27420/statm: 3582871 22628 3768 1 0 3570586 0
[pid=27420/tid=27422] ppid=27417 vsize=14331484 memory=4616 CPUtime=0.78 cores=0-7
/proc/27420/task/27422/stat : 27422 (java) R 27417 27420 26527 0 -1 4202560 9955 0 0 0 74 4 0 0 20 0 20 0 106115190 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510907680880 140510540879328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27423] ppid=27417 vsize=14331484 memory=1008 CPUtime=0 cores=0-7
/proc/27420/task/27423/stat : 27423 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510499256976 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27424] ppid=27417 vsize=14331484 memory=11008 CPUtime=0 cores=0-7
/proc/27420/task/27424/stat : 27424 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510498204176 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27425] ppid=27417 vsize=14331484 memory=1228 CPUtime=0 cores=0-7
/proc/27420/task/27425/stat : 27425 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510497151376 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27426] ppid=27417 vsize=14331484 memory=1420 CPUtime=0 cores=0-7
/proc/27420/task/27426/stat : 27426 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510496098576 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27427] ppid=27417 vsize=14331484 memory=15872 CPUtime=0 cores=0-7
/proc/27420/task/27427/stat : 27427 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510495046800 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27428] ppid=27417 vsize=14331484 memory=16448 CPUtime=0 cores=0-7
/proc/27420/task/27428/stat : 27428 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115191 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510493994000 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27429] ppid=27417 vsize=14331484 memory=16904 CPUtime=0 cores=0-7
/proc/27420/task/27429/stat : 27429 (java) S 27417 27420 26527 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106115191 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510492941200 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27430] ppid=27417 vsize=14331484 memory=279814435196368 CPUtime=0 cores=0-7
/proc/27420/task/27430/stat : 27430 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115191 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510491888400 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27431] ppid=27417 vsize=14331484 memory=279814434983440 CPUtime=0 cores=0-7
/proc/27420/task/27431/stat : 27431 (java) S 27417 27420 26527 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 106115193 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510361594224 140510903458434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27432] ppid=27417 vsize=14331484 memory=279814434983312 CPUtime=0 cores=0-7
/proc/27420/task/27432/stat : 27432 (java) S 27417 27420 26527 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106115193 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510360540192 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27433] ppid=27417 vsize=14331484 memory=164 CPUtime=0 cores=0-7
/proc/27420/task/27433/stat : 27433 (java) S 27417 27420 26527 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106115193 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510359487344 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27434] ppid=27417 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27434/stat : 27434 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510358435664 140510903465883 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27435] ppid=27417 vsize=14331484 memory=0 CPUtime=0.08 cores=0-7
/proc/27420/task/27435/stat : 27435 (java) S 27417 27420 26527 0 -1 1077944384 697 0 0 0 8 0 0 0 20 0 20 0 106115196 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510357384048 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27436] ppid=27417 vsize=14331484 memory=0 CPUtime=0.07 cores=0-7
/proc/27420/task/27436/stat : 27436 (java) S 27417 27420 26527 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 20 0 106115196 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510356331248 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27437] ppid=27417 vsize=14331484 memory=0 CPUtime=0.07 cores=0-7
/proc/27420/task/27437/stat : 27437 (java) S 27417 27420 26527 0 -1 1077944384 350 0 0 0 7 0 0 0 20 0 20 0 106115196 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510355278448 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27438] ppid=27417 vsize=14331484 memory=0 CPUtime=0.24 cores=0-7
/proc/27420/task/27438/stat : 27438 (java) R 27417 27420 26527 0 -1 4202560 966 0 0 0 24 0 0 0 20 0 20 0 106115196 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510354223440 140510883162102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27439] ppid=27417 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27439/stat : 27439 (java) S 27417 27420 26527 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106115196 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510353173088 140510903457493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
[pid=27420/tid=27440] ppid=27417 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/27420/task/27440/stat : 27440 (java) S 27417 27420 26527 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106115196 14675439616 22628 33554432000 4194304 4196468 140722481331056 140510352120368 140510903458434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140722481337442 140722481337627 140722481337627 140722481340367 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 14331484 KiB
Current children cumulated memory: 90512 KiB
Child status: 0
Real time (s): 0.837473
CPU time (s): 1.36204
CPU user time (s): 1.28036
CPU system time (s): 0.081681
CPU usage (%): 162.637
Max. virtual memory (cumulated for all children) (KiB): 14331484
Max. memory (cumulated for all children) (KiB): 90512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.28036
system time used= 0.081681
maximum resident set size= 96056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13910
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= 2479
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 27420
# total CPU time (s): 1.36204
# total CPU user time (s): 1.28036
# total CPU system time (s): 0.081681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02509 second user time and 0.048858 second system time
The end
Begin job on node104 at 2017-08-14 18:50:14
IDJOB=4275677
IDBENCH=126707
IDSOLVER=2668
FILE ID=node104/4275677-1502730273
RUNJOBID= node104-1502721839-26554
PBS_JOBID= 20629037
Free space on /tmp= 61864 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-2-3-3-cp.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275677-1502730273/watcher-4275677-1502730273 -o /tmp/evaluation-result-4275677-1502730273/solver-4275677-1502730273 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502721839-26554 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 242092737 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275677-1502730273.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 6091961dfca420de1023e437b45b8889
RANDOM SEED=242092737
node104.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.43
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.43
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.43
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.43
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: 28509112 kB
MemAvailable: 31981160 kB
Buffers: 199232 kB
Cached: 3552900 kB
SwapCached: 0 kB
Active: 448740 kB
Inactive: 3354976 kB
Active(anon): 54652 kB
Inactive(anon): 25024 kB
Active(file): 394088 kB
Inactive(file): 3329952 kB
Unevictable: 6532 kB
Mlocked: 6532 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42388 kB
Writeback: 0 kB
AnonPages: 78564 kB
Mapped: 44556 kB
Shmem: 25228 kB
Slab: 152920 kB
SReclaimable: 127684 kB
SUnreclaim: 25236 kB
KernelStack: 2992 kB
PageTables: 4832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 325440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 112000 kB
DirectMap2M: 33433600 kB
Free space on /tmp at the end= 61824 MiB
End job on node104 at 2017-08-14 18:50:15