0.29/0.25 c version: 2017-07-26
0.29/0.25 c seed: 1526653204
0.29/0.26 c timeout: 20160
0.29/0.26 c memlimit: 11000
0.29/0.26 c nbcore: 8
0.29/0.28 c Parsing instance...
0.88/0.58 c Parsing done, starting search...
1.44/0.82 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 (14053 MiB free)
memory of node 1: 16384 MiB (12216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275278-1502768687/watcher-4275278-1502768687 -o /tmp/evaluation-result-4275278-1502768687/solver-4275278-1502768687 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502762059-13049 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1526653204 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275278-1502768687.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=13911, runsolver pid=13908
[startup+0.100111 s]*
/proc/loadavg: 3.11 3.22 5.40 2/199 13931
/proc/meminfo: memFree=26881612/32770624 swapFree=67108860/67108860
[pid=13911] ppid=13908 vsize=14325320 memory=33820 CPUtime=0.12 cores=0-7
/proc/13911/stat : 13911 (java) S 13908 13911 13022 0 -1 1077944320 8331 0 0 0 11 1 0 0 20 0 20 0 109956522 14669127680 8455 33554432000 4194304 4196468 140733641518144 140733641500688 140248927047415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
/proc/13911/statm: 3581330 8455 3412 1 0 3569050 0
[pid=13911/tid=13913] ppid=13908 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13911/task/13913/stat : 13913 (java) R 13908 13911 13022 0 -1 4202560 6292 0 0 0 8 1 0 0 20 0 20 0 109956523 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248931264096 140248911091045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13914] ppid=13908 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13911/task/13914/stat : 13914 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248879667472 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13915] ppid=13908 vsize=14325320 memory=139914075391616 CPUtime=0 cores=0-7
/proc/13911/task/13915/stat : 13915 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248878614928 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13916] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13916/stat : 13916 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248877562384 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13917] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13917/stat : 13917 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248876509840 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13918] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13918/stat : 13918 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248875457296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13919] ppid=13908 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/13911/task/13919/stat : 13919 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248874404752 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13920] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13920/stat : 13920 (java) S 13908 13911 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248873352208 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13921] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13921/stat : 13921 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248872299664 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13922] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13922/stat : 13922 (java) S 13908 13911 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109956525 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248091719664 140248927058562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13923] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13923/stat : 13923 (java) S 13908 13911 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109956525 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248090665888 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13924] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13924/stat : 13924 (java) S 13908 13911 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109956526 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248089613296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13925] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13925/stat : 13925 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248088561872 140248927066011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13926] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13926/stat : 13926 (java) S 13908 13911 13022 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248087509488 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13927] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13927/stat : 13927 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248086456944 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13928] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13928/stat : 13928 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248085404400 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13929] ppid=13908 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/13911/task/13929/stat : 13929 (java) S 13908 13911 13022 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 109956528 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248084351856 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13930] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13930/stat : 13930 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248083298528 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13931] ppid=13908 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/13911/task/13931/stat : 13931 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 8455 33554432000 4194304 4196468 140733641518144 140248082246064 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33820 KiB
[startup+0.210006 s]*
/proc/loadavg: 3.11 3.22 5.40 3/199 13931
/proc/meminfo: memFree=26873484/32770624 swapFree=67108860/67108860
[pid=13911] ppid=13908 vsize=14325320 memory=42972 CPUtime=0.29 cores=0-7
/proc/13911/stat : 13911 (java) S 13908 13911 13022 0 -1 1077944320 9320 0 0 0 27 2 0 0 20 0 20 0 109956522 14669127680 10743 33554432000 4194304 4196468 140733641518144 140733641500688 140248927047415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
/proc/13911/statm: 3581330 10743 3639 1 0 3569050 0
[pid=13911/tid=13913] ppid=13908 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/13911/task/13913/stat : 13913 (java) R 13908 13911 13022 0 -1 4202560 6914 0 0 0 18 1 0 0 20 0 20 0 109956523 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248931267568 140248911127902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13914] ppid=13908 vsize=14325320 memory=9395 CPUtime=0 cores=0-7
/proc/13911/task/13914/stat : 13914 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248879667472 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13915] ppid=13908 vsize=14325320 memory=139914075870525 CPUtime=0 cores=0-7
/proc/13911/task/13915/stat : 13915 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248878614928 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13916] ppid=13908 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/13911/task/13916/stat : 13916 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248877562384 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13917] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13917/stat : 13917 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248876509840 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13918] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13918/stat : 13918 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248875457296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13919] ppid=13908 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/13911/task/13919/stat : 13919 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248874404752 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13920] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13920/stat : 13920 (java) S 13908 13911 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248873352208 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13921] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13921/stat : 13921 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956524 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248872299664 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13922] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13922/stat : 13922 (java) S 13908 13911 13022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 109956525 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248091719664 140248927058562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13923] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13923/stat : 13923 (java) S 13908 13911 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109956525 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248090665888 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13924] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13924/stat : 13924 (java) S 13908 13911 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109956526 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248089613296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13925] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13925/stat : 13925 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248088561872 140248927066011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13926] ppid=13908 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/13911/task/13926/stat : 13926 (java) S 13908 13911 13022 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 109956528 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248087509488 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13927] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13927/stat : 13927 (java) S 13908 13911 13022 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248086456944 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13928] ppid=13908 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/13911/task/13928/stat : 13928 (java) S 13908 13911 13022 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 20 0 109956528 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248085404400 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13929] ppid=13908 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/13911/task/13929/stat : 13929 (java) S 13908 13911 13022 0 -1 1077944384 375 0 0 0 5 0 0 0 20 0 20 0 109956528 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248084351856 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13930] ppid=13908 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13930/stat : 13930 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248083298528 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13931] ppid=13908 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/13911/task/13931/stat : 13931 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14669127680 10743 33554432000 4194304 4196468 140733641518144 140248082246064 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42972 KiB
[startup+0.30935 s]*
/proc/loadavg: 3.11 3.22 5.40 2/199 13931
/proc/meminfo: memFree=26866040/32770624 swapFree=67108860/67108860
[pid=13911] ppid=13908 vsize=14325340 memory=50960 CPUtime=0.48 cores=0-7
/proc/13911/stat : 13911 (java) S 13908 13911 13022 0 -1 1077944320 10473 0 0 0 45 3 0 0 20 0 20 0 109956522 14669148160 12740 33554432000 4194304 4196468 140733641518144 140733641500688 140248927047415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
/proc/13911/statm: 3581335 12740 3715 1 0 3569050 0
[pid=13911/tid=13913] ppid=13908 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13911/task/13913/stat : 13913 (java) R 13908 13911 13022 0 -1 4202560 7598 0 0 0 27 2 0 0 20 0 20 0 109956523 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248931269152 140248911127902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13914] ppid=13908 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13914/stat : 13914 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248879667472 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13915] ppid=13908 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13915/stat : 13915 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248878614928 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13916] ppid=13908 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13916/stat : 13916 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248877562384 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13917] ppid=13908 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13917/stat : 13917 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248876509840 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13918] ppid=13908 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/13911/task/13918/stat : 13918 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248875457296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13919] ppid=13908 vsize=14325340 memory=139913928471471 CPUtime=0 cores=0-7
/proc/13911/task/13919/stat : 13919 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248874404752 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13920] ppid=13908 vsize=14325340 memory=139913928473776 CPUtime=0 cores=0-7
/proc/13911/task/13920/stat : 13920 (java) S 13908 13911 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109956524 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248873352208 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13921] ppid=13908 vsize=14325340 memory=139913928476080 CPUtime=0 cores=0-7
/proc/13911/task/13921/stat : 13921 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956524 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248872299664 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13922] ppid=13908 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13922/stat : 13922 (java) S 13908 13911 13022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 109956525 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248091719664 140248927058562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13923] ppid=13908 vsize=14325340 memory=279827856959120 CPUtime=0 cores=0-7
/proc/13911/task/13923/stat : 13923 (java) S 13908 13911 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109956525 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248090665888 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13924] ppid=13908 vsize=14325340 memory=279827856966032 CPUtime=0 cores=0-7
/proc/13911/task/13924/stat : 13924 (java) S 13908 13911 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109956526 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248089613296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13925] ppid=13908 vsize=14325340 memory=279827856907312 CPUtime=0 cores=0-7
/proc/13911/task/13925/stat : 13925 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248088561872 140248927066011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13926] ppid=13908 vsize=14325340 memory=279827856979856 CPUtime=0.04 cores=0-7
/proc/13911/task/13926/stat : 13926 (java) S 13908 13911 13022 0 -1 1077944384 514 0 0 0 4 0 0 0 20 0 20 0 109956528 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248087509488 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13927] ppid=13908 vsize=14325340 memory=279827856986768 CPUtime=0.02 cores=0-7
/proc/13911/task/13927/stat : 13927 (java) S 13908 13911 13022 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 20 0 109956528 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248086456944 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13928] ppid=13908 vsize=14325340 memory=279827856984464 CPUtime=0.02 cores=0-7
/proc/13911/task/13928/stat : 13928 (java) S 13908 13911 13022 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 20 0 109956528 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248085404400 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13929] ppid=13908 vsize=14325340 memory=279827857001072 CPUtime=0.08 cores=0-7
/proc/13911/task/13929/stat : 13929 (java) S 13908 13911 13022 0 -1 1077944384 482 0 0 0 8 0 0 0 20 0 20 0 109956528 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248084351856 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13930] ppid=13908 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13930/stat : 13930 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956528 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248083298528 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13931] ppid=13908 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/13911/task/13931/stat : 13931 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14669148160 12740 33554432000 4194304 4196468 140733641518144 140248082246064 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50960 KiB
[startup+0.700796 s]
/proc/loadavg: 3.11 3.22 5.40 6/199 13931
/proc/meminfo: memFree=26850924/32770624 swapFree=67108860/67108860
[pid=13911] ppid=13908 vsize=14329436 memory=84376 CPUtime=1.24 cores=0-7
/proc/13911/stat : 13911 (java) S 13908 13911 13022 0 -1 1077944320 14178 0 0 0 119 5 0 0 20 0 20 0 109956522 14673342464 21094 33554432000 4194304 4196468 140733641518144 140733641500688 140248927047415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
/proc/13911/statm: 3582359 21094 3758 1 0 3570074 0
[pid=13911/tid=13913] ppid=13908 vsize=14329436 memory=0 CPUtime=0.67 cores=0-7
/proc/13911/task/13913/stat : 13913 (java) R 13908 13911 13022 0 -1 4202560 9302 0 0 0 64 3 0 0 20 0 20 0 109956523 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248931274800 140248912727581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13914] ppid=13908 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13914/stat : 13914 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248879667472 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13915] ppid=13908 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13915/stat : 13915 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248878614928 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13916] ppid=13908 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13916/stat : 13916 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248877562384 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13917] ppid=13908 vsize=14329436 memory=792 CPUtime=0 cores=0-7
/proc/13911/task/13917/stat : 13917 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248876509840 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13918] ppid=13908 vsize=14329436 memory=1008 CPUtime=0 cores=0-7
/proc/13911/task/13918/stat : 13918 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248875457296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13919] ppid=13908 vsize=14329436 memory=10652 CPUtime=0 cores=0-7
/proc/13911/task/13919/stat : 13919 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248874404752 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13920] ppid=13908 vsize=14329436 memory=1204 CPUtime=0 cores=0-7
/proc/13911/task/13920/stat : 13920 (java) S 13908 13911 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109956524 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248873352208 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13921] ppid=13908 vsize=14329436 memory=15872 CPUtime=0 cores=0-7
/proc/13911/task/13921/stat : 13921 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956524 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248872299664 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13922] ppid=13908 vsize=14329436 memory=16444 CPUtime=0 cores=0-7
/proc/13911/task/13922/stat : 13922 (java) S 13908 13911 13022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 109956525 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248091719664 140248927058562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13923] ppid=13908 vsize=14329436 memory=4052 CPUtime=0 cores=0-7
/proc/13911/task/13923/stat : 13923 (java) S 13908 13911 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109956525 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248090665888 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13924] ppid=13908 vsize=14329436 memory=17500 CPUtime=0 cores=0-7
/proc/13911/task/13924/stat : 13924 (java) S 13908 13911 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109956526 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248089613296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13925] ppid=13908 vsize=14329436 memory=1236 CPUtime=0 cores=0-7
/proc/13911/task/13925/stat : 13925 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248088561872 140248927066011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13926] ppid=13908 vsize=14329436 memory=1792 CPUtime=0.11 cores=0-7
/proc/13911/task/13926/stat : 13926 (java) S 13908 13911 13022 0 -1 1077944384 950 0 0 0 11 0 0 0 20 0 20 0 109956528 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248087509488 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13927] ppid=13908 vsize=14329436 memory=1944 CPUtime=0.11 cores=0-7
/proc/13911/task/13927/stat : 13927 (java) S 13908 13911 13022 0 -1 1077944384 866 0 0 0 11 0 0 0 20 0 20 0 109956528 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248086456944 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13928] ppid=13908 vsize=14329436 memory=1700 CPUtime=0.08 cores=0-7
/proc/13911/task/13928/stat : 13928 (java) S 13908 13911 13022 0 -1 1077944384 680 0 0 0 8 0 0 0 20 0 20 0 109956528 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248085404400 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13929] ppid=13908 vsize=14329436 memory=1228 CPUtime=0.22 cores=0-7
/proc/13911/task/13929/stat : 13929 (java) S 13908 13911 13022 0 -1 1077944384 995 0 0 0 22 0 0 0 20 0 20 0 109956528 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248084351856 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13930] ppid=13908 vsize=14329436 memory=5428 CPUtime=0 cores=0-7
/proc/13911/task/13930/stat : 13930 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956528 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248083298528 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13931] ppid=13908 vsize=14329436 memory=4624 CPUtime=0 cores=0-7
/proc/13911/task/13931/stat : 13931 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14673342464 21094 33554432000 4194304 4196468 140733641518144 140248082246064 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 14329436 KiB
Current children cumulated memory: 84376 KiB
[startup+0.83376 s]
# the end of solver process 13911 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.48897 s, system=0.073884 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800946 s]
/proc/loadavg: 3.11 3.22 5.40 6/199 13931
/proc/meminfo: memFree=26850924/32770624 swapFree=67108860/67108860
[pid=13911] ppid=13908 vsize=14331484 memory=94784 CPUtime=1.44 cores=0-7
/proc/13911/stat : 13911 (java) S 13908 13911 13022 0 -1 1077944320 14780 0 0 0 138 6 0 0 20 0 20 0 109956522 14675439616 23696 33554432000 4194304 4196468 140733641518144 140733641500688 140248927047415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
/proc/13911/statm: 3582871 23696 3769 1 0 3570586 0
[pid=13911/tid=13913] ppid=13908 vsize=14331484 memory=13056 CPUtime=0.77 cores=0-7
/proc/13911/task/13913/stat : 13913 (java) R 13908 13911 13022 0 -1 4202560 9763 0 0 0 74 3 0 0 20 0 20 0 109956523 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248931280512 140248553461216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13914] ppid=13908 vsize=14331484 memory=792 CPUtime=0 cores=0-7
/proc/13911/task/13914/stat : 13914 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248879667472 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13915] ppid=13908 vsize=14331484 memory=1008 CPUtime=0 cores=0-7
/proc/13911/task/13915/stat : 13915 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956523 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248878614928 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13916] ppid=13908 vsize=14331484 memory=10652 CPUtime=0 cores=0-7
/proc/13911/task/13916/stat : 13916 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248877562384 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13917] ppid=13908 vsize=14331484 memory=1204 CPUtime=0 cores=0-7
/proc/13911/task/13917/stat : 13917 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248876509840 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13918] ppid=13908 vsize=14331484 memory=15872 CPUtime=0 cores=0-7
/proc/13911/task/13918/stat : 13918 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248875457296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13919] ppid=13908 vsize=14331484 memory=16444 CPUtime=0 cores=0-7
/proc/13911/task/13919/stat : 13919 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956524 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248874404752 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13920] ppid=13908 vsize=14331484 memory=4052 CPUtime=0 cores=0-7
/proc/13911/task/13920/stat : 13920 (java) S 13908 13911 13022 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109956524 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248873352208 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13921] ppid=13908 vsize=14331484 memory=279827856969168 CPUtime=0 cores=0-7
/proc/13911/task/13921/stat : 13921 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956524 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248872299664 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13922] ppid=13908 vsize=14331484 memory=279827856756240 CPUtime=0 cores=0-7
/proc/13911/task/13922/stat : 13922 (java) S 13908 13911 13022 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 109956525 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248091719664 140248927058562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13923] ppid=13908 vsize=14331484 memory=279827856756112 CPUtime=0 cores=0-7
/proc/13911/task/13923/stat : 13923 (java) S 13908 13911 13022 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109956525 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248090665888 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13924] ppid=13908 vsize=14331484 memory=164 CPUtime=0 cores=0-7
/proc/13911/task/13924/stat : 13924 (java) S 13908 13911 13022 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109956526 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248089613296 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13925] ppid=13908 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13925/stat : 13925 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248088561872 140248927066011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13926] ppid=13908 vsize=14331484 memory=0 CPUtime=0.12 cores=0-7
/proc/13911/task/13926/stat : 13926 (java) R 13908 13911 13022 0 -1 4202560 967 0 0 0 12 0 0 0 20 0 20 0 109956528 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248087496272 140248927059350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13927] ppid=13908 vsize=14331484 memory=0 CPUtime=0.13 cores=0-7
/proc/13911/task/13927/stat : 13927 (java) R 13908 13911 13022 0 -1 4202560 882 0 0 0 13 0 0 0 20 0 20 0 109956528 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248086446864 140248910432247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13928] ppid=13908 vsize=14331484 memory=0 CPUtime=0.1 cores=0-7
/proc/13911/task/13928/stat : 13928 (java) R 13908 13911 13022 0 -1 4202560 694 0 0 0 10 0 0 0 20 0 20 0 109956528 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248085396352 140248927068762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13929] ppid=13908 vsize=14331484 memory=0 CPUtime=0.27 cores=0-7
/proc/13911/task/13929/stat : 13929 (java) R 13908 13911 13022 0 -1 4202560 1090 0 0 0 27 0 0 0 20 0 20 0 109956528 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248084350256 140248927068762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13930] ppid=13908 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13930/stat : 13930 (java) S 13908 13911 13022 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109956528 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248083298528 140248927057621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
[pid=13911/tid=13931] ppid=13908 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/13911/task/13931/stat : 13931 (java) S 13908 13911 13022 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109956528 14675439616 23696 33554432000 4194304 4196468 140733641518144 140248082246064 140248927058562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17522688 140733641520225 140733641520411 140733641520411 140733641523151 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 14331484 KiB
Current children cumulated memory: 94784 KiB
Child status: 0
Real time (s): 0.833803
CPU time (s): 1.56286
CPU user time (s): 1.48897
CPU system time (s): 0.073884
CPU usage (%): 187.437
Max. virtual memory (cumulated for all children) (KiB): 14331484
Max. memory (cumulated for all children) (KiB): 94784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.48897
system time used= 0.073884
maximum resident set size= 104552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15569
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= 2368
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 13911
# total CPU time (s): 1.56286
# total CPU user time (s): 1.48897
# total CPU system time (s): 0.073884
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025803 second user time and 0.044881 second system time
The end
Begin job on node114 at 2017-08-15 05:30:28
IDJOB=4275278
IDBENCH=134493
IDSOLVER=2668
FILE ID=node114/4275278-1502768687
RUNJOBID= node114-1502762059-13049
PBS_JOBID= 20629089
Free space on /tmp= 61700 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-01.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-4275278-1502768687/watcher-4275278-1502768687 -o /tmp/evaluation-result-4275278-1502768687/solver-4275278-1502768687 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502762059-13049 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1526653204 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275278-1502768687.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8a560dffd54b0877593a0147eb9ff923
RANDOM SEED=1526653204
node114.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 : 5332.98
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 : 5332.98
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 : 5332.98
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 : 5332.98
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: 26901252 kB
MemAvailable: 31984428 kB
Buffers: 209408 kB
Cached: 5161476 kB
SwapCached: 0 kB
Active: 508160 kB
Inactive: 4918128 kB
Active(anon): 58408 kB
Inactive(anon): 25124 kB
Active(file): 449752 kB
Inactive(file): 4893004 kB
Unevictable: 6432 kB
Mlocked: 6432 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42552 kB
Writeback: 0 kB
AnonPages: 61848 kB
Mapped: 45432 kB
Shmem: 25224 kB
Slab: 138288 kB
SReclaimable: 112508 kB
SUnreclaim: 25780 kB
KernelStack: 3280 kB
PageTables: 4740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 61656 MiB
End job on node114 at 2017-08-15 05:30:30