0.29/0.26 c version: 2017-07-26
0.29/0.26 c seed: 214803388
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.96/0.61 c Parsing done, starting search...
2.74/1.27 s SATISFIABLE
2.74/1.28 v <instantiation>
2.74/1.28 v <list>
2.74/1.28 v x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105
2.74/1.28 v </list>
2.74/1.28 v <values>
2.74/1.28 v 9 10 8 5 7 4 6 1 9 6 12 5 10 11 8 12 14 10 4 9 6 11 2 12 6 7 14 9 13 1 11 12 0 9 5 9 8 6 5 12 3 2 1 4 12 7 10 0 8 11 9 14 13 10 2 1 0 1 5 8 4 3 10 9 2 10 4 5 0 7 3 5 8 11 2 6 14 2 8 12 6 9 7 5 6 14 10 3 12 11 13 6 7 4 11 14 3 5 0 5 11 12 14 10 2 1
2.74/1.28 v </values>
2.74/1.28 v </instantiation>
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 (15323 MiB free)
memory of node 1: 16384 MiB (15432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275412-1502820065/watcher-4275412-1502820065 -o /tmp/evaluation-result-4275412-1502820065/solver-4275412-1502820065 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502815183-30951 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 214803388 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275412-1502820065.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=736, runsolver pid=733
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 5.67 3.25 2.77 2/198 756
/proc/meminfo: memFree=31478656/32770624 swapFree=67108860/67108860
[pid=736] ppid=733 vsize=14325320 memory=31496 CPUtime=0.11 cores=0-7
/proc/736/stat : 736 (java) S 733 736 30924 0 -1 1077944320 8259 0 0 0 9 2 0 0 20 0 20 0 115094219 14669127680 7874 33554432000 4194304 4196468 140723819045856 140723819028400 139757392031479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
/proc/736/statm: 3581330 7874 3389 1 0 3569050 0
[pid=736/tid=738] ppid=733 vsize=14325320 memory=8318255677412212789 CPUtime=0.08 cores=0-7
/proc/736/task/738/stat : 738 (java) R 733 736 30924 0 -1 4202560 6146 0 0 0 7 1 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139757396229072 139757392043414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=739] ppid=733 vsize=14325320 memory=331 CPUtime=0 cores=0-7
/proc/736/task/739/stat : 739 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756987849872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=740] ppid=733 vsize=14325320 memory=288370789378832000 CPUtime=0 cores=0-7
/proc/736/task/740/stat : 740 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756986797072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=741] ppid=733 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/736/task/741/stat : 741 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756985744272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=742] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/742/stat : 742 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756984691472 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=743] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/743/stat : 743 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756983638672 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=744] ppid=733 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/736/task/744/stat : 744 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756982585872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=745] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/745/stat : 745 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756981533072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=746] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/746/stat : 746 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756980480272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=747] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/747/stat : 747 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094222 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756581612400 139757392042626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=748] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/748/stat : 748 (java) S 733 736 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115094222 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756580558368 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=749] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/749/stat : 749 (java) S 733 736 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115094223 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756579505520 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=750] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/750/stat : 750 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094225 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756578453840 139757392050075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=751] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/751/stat : 751 (java) S 733 736 30924 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 115094225 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756577401200 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=752] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/752/stat : 752 (java) S 733 736 30924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 115094225 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756576348400 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=753] ppid=733 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/736/task/753/stat : 753 (java) S 733 736 30924 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 115094225 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756575295600 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=754] ppid=733 vsize=14325320 memory=-1 CPUtime=0.01 cores=0-7
/proc/736/task/754/stat : 754 (java) R 733 736 30924 0 -1 4202560 426 0 0 0 1 0 0 0 20 0 20 0 115094225 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756574242800 139757376111966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=755] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/755/stat : 755 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094225 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756573191264 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=756] ppid=733 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/736/task/756/stat : 756 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094226 14669127680 7880 33554432000 4194304 4196468 140723819045856 139756572138544 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 31496 KiB
[startup+0.210182 s]*
/proc/loadavg: 5.67 3.25 2.77 2/198 756
/proc/meminfo: memFree=31467056/32770624 swapFree=67108860/67108860
[pid=736] ppid=733 vsize=14325320 memory=41376 CPUtime=0.29 cores=0-7
/proc/736/stat : 736 (java) S 733 736 30924 0 -1 1077944320 9383 0 0 0 26 3 0 0 20 0 20 0 115094219 14669127680 10344 33554432000 4194304 4196468 140723819045856 140723819028400 139757392031479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
/proc/736/statm: 3581330 10344 3642 1 0 3569050 0
[pid=736/tid=738] ppid=733 vsize=14325320 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/736/task/738/stat : 738 (java) R 733 736 30924 0 -1 4202560 6822 0 0 0 17 2 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139757396241080 139757392053405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=739] ppid=733 vsize=14325320 memory=288230613264367639 CPUtime=0 cores=0-7
/proc/736/task/739/stat : 739 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756987849872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=740] ppid=733 vsize=14325320 memory=140413227146572 CPUtime=0 cores=0-7
/proc/736/task/740/stat : 740 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756986797072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=741] ppid=733 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/736/task/741/stat : 741 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756985744272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=742] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/742/stat : 742 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756984691472 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=743] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/743/stat : 743 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756983638672 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=744] ppid=733 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/736/task/744/stat : 744 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756982585872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=745] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/745/stat : 745 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756981533072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=746] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/746/stat : 746 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094220 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756980480272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=747] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/747/stat : 747 (java) S 733 736 30924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 115094222 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756581612400 139757392042626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=748] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/748/stat : 748 (java) S 733 736 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115094222 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756580558368 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=749] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/749/stat : 749 (java) S 733 736 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115094223 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756579505520 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=750] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/750/stat : 750 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094225 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756578453840 139757392050075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=751] ppid=733 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/736/task/751/stat : 751 (java) S 733 736 30924 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 115094225 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756577401200 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=752] ppid=733 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/736/task/752/stat : 752 (java) S 733 736 30924 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 115094225 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756576348400 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=753] ppid=733 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/736/task/753/stat : 753 (java) S 733 736 30924 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 20 0 115094225 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756575295600 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=754] ppid=733 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/736/task/754/stat : 754 (java) S 733 736 30924 0 -1 1077944384 535 0 0 0 5 0 0 0 20 0 20 0 115094225 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756574242800 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=755] ppid=733 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/736/task/755/stat : 755 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094225 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756573191264 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=756] ppid=733 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/736/task/756/stat : 756 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094226 14669127680 10344 33554432000 4194304 4196468 140723819045856 139756572138544 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 41376 KiB
[startup+0.309756 s]*
/proc/loadavg: 5.67 3.25 2.77 2/198 756
/proc/meminfo: memFree=31458480/32770624 swapFree=67108860/67108860
[pid=736] ppid=733 vsize=14325340 memory=49728 CPUtime=0.47 cores=0-7
/proc/736/stat : 736 (java) S 733 736 30924 0 -1 1077944320 10688 0 0 0 44 3 0 0 20 0 20 0 115094219 14669148160 12432 33554432000 4194304 4196468 140723819045856 140723819028400 139757392031479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
/proc/736/statm: 3581335 12432 3717 1 0 3569050 0
[pid=736/tid=738] ppid=733 vsize=14325340 memory=836 CPUtime=0.29 cores=0-7
/proc/736/task/738/stat : 738 (java) R 733 736 30924 0 -1 4202560 7567 0 0 0 26 3 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139757396253888 139757029476528 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=739] ppid=733 vsize=14325340 memory=1 CPUtime=0 cores=0-7
/proc/736/task/739/stat : 739 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756987849872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=740] ppid=733 vsize=14325340 memory=140413227121172 CPUtime=0 cores=0-7
/proc/736/task/740/stat : 740 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756986797072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=741] ppid=733 vsize=14325340 memory=46918 CPUtime=0 cores=0-7
/proc/736/task/741/stat : 741 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756985744272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=742] ppid=733 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/736/task/742/stat : 742 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756984691472 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=743] ppid=733 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/736/task/743/stat : 743 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756983638672 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=744] ppid=733 vsize=14325340 memory=331 CPUtime=0 cores=0-7
/proc/736/task/744/stat : 744 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756982585872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=745] ppid=733 vsize=14325340 memory=493339 CPUtime=0 cores=0-7
/proc/736/task/745/stat : 745 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756981533072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=746] ppid=733 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/736/task/746/stat : 746 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094220 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756980480272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=747] ppid=733 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/736/task/747/stat : 747 (java) S 733 736 30924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 115094222 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756581612400 139757392042626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=748] ppid=733 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/736/task/748/stat : 748 (java) S 733 736 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115094222 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756580558368 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=749] ppid=733 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/736/task/749/stat : 749 (java) S 733 736 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115094223 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756579505520 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=750] ppid=733 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/736/task/750/stat : 750 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094225 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756578453840 139757392050075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=751] ppid=733 vsize=14325340 memory=0 CPUtime=0.03 cores=0-7
/proc/736/task/751/stat : 751 (java) S 733 736 30924 0 -1 1077944384 305 0 0 0 3 0 0 0 20 0 20 0 115094225 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756577401200 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=752] ppid=733 vsize=14325340 memory=0 CPUtime=0.02 cores=0-7
/proc/736/task/752/stat : 752 (java) S 733 736 30924 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 115094225 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756576348400 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=753] ppid=733 vsize=14325340 memory=0 CPUtime=0.03 cores=0-7
/proc/736/task/753/stat : 753 (java) S 733 736 30924 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 20 0 115094225 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756575295600 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=754] ppid=733 vsize=14325340 memory=0 CPUtime=0.08 cores=0-7
/proc/736/task/754/stat : 754 (java) S 733 736 30924 0 -1 1077944384 716 0 0 0 8 0 0 0 20 0 20 0 115094225 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756574242800 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=755] ppid=733 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/736/task/755/stat : 755 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094225 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756573191264 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=756] ppid=733 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/736/task/756/stat : 756 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094226 14669148160 12432 33554432000 4194304 4196468 140723819045856 139756572138544 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 49728 KiB
[startup+0.700867 s]
/proc/loadavg: 5.67 3.25 2.77 2/198 756
/proc/meminfo: memFree=31445168/32770624 swapFree=67108860/67108860
[pid=736] ppid=733 vsize=14329436 memory=78300 CPUtime=1.07 cores=0-7
/proc/736/stat : 736 (java) S 733 736 30924 0 -1 1077944320 13173 0 0 0 102 5 0 0 20 0 20 0 115094219 14673342464 19510 33554432000 4194304 4196468 140723819045856 140723819028400 139757392031479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
/proc/736/statm: 3582359 19510 3747 1 0 3570074 0
[pid=736/tid=738] ppid=733 vsize=14329436 memory=32372 CPUtime=0.67 cores=0-7
/proc/736/task/738/stat : 738 (java) R 733 736 30924 0 -1 4202560 9427 0 0 0 63 4 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139757396261088 139757376111966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=739] ppid=733 vsize=14329436 memory=2200 CPUtime=0 cores=0-7
/proc/736/task/739/stat : 739 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756987849872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=740] ppid=733 vsize=14329436 memory=6508 CPUtime=0 cores=0-7
/proc/736/task/740/stat : 740 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756986797072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=741] ppid=733 vsize=14329436 memory=836 CPUtime=0 cores=0-7
/proc/736/task/741/stat : 741 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756985744272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=742] ppid=733 vsize=14329436 memory=5793430504730542180 CPUtime=0 cores=0-7
/proc/736/task/742/stat : 742 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756984691472 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=743] ppid=733 vsize=14329436 memory=5939234598300509539 CPUtime=0 cores=0-7
/proc/736/task/743/stat : 743 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756983638672 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=744] ppid=733 vsize=14329436 memory=7593183743244985957 CPUtime=0 cores=0-7
/proc/736/task/744/stat : 744 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756982585872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=745] ppid=733 vsize=14329436 memory=7588684550706915689 CPUtime=0 cores=0-7
/proc/736/task/745/stat : 745 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756981533072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=746] ppid=733 vsize=14329436 memory=132 CPUtime=0 cores=0-7
/proc/736/task/746/stat : 746 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094220 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756980480272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=747] ppid=733 vsize=14329436 memory=140413084391984 CPUtime=0 cores=0-7
/proc/736/task/747/stat : 747 (java) S 733 736 30924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 115094222 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756581612400 139757392042626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=748] ppid=733 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/736/task/748/stat : 748 (java) S 733 736 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115094222 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756580558368 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=749] ppid=733 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/736/task/749/stat : 749 (java) S 733 736 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115094223 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756579505520 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=750] ppid=733 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/736/task/750/stat : 750 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094225 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756578453840 139757392050075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=751] ppid=733 vsize=14329436 memory=0 CPUtime=0.07 cores=0-7
/proc/736/task/751/stat : 751 (java) S 733 736 30924 0 -1 1077944384 415 0 0 0 7 0 0 0 20 0 20 0 115094225 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756577401200 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=752] ppid=733 vsize=14329436 memory=0 CPUtime=0.06 cores=0-7
/proc/736/task/752/stat : 752 (java) S 733 736 30924 0 -1 1077944384 448 0 0 0 6 0 0 0 20 0 20 0 115094225 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756576348400 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=753] ppid=733 vsize=14329436 memory=0 CPUtime=0.07 cores=0-7
/proc/736/task/753/stat : 753 (java) S 733 736 30924 0 -1 1077944384 465 0 0 0 7 0 0 0 20 0 20 0 115094225 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756575295600 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=754] ppid=733 vsize=14329436 memory=1788 CPUtime=0.18 cores=0-7
/proc/736/task/754/stat : 754 (java) S 733 736 30924 0 -1 1077944384 1032 0 0 0 18 0 0 0 20 0 20 0 115094225 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756574242800 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=755] ppid=733 vsize=14329436 memory=640 CPUtime=0 cores=0-7
/proc/736/task/755/stat : 755 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094225 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756573191264 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=756] ppid=733 vsize=14329436 memory=952 CPUtime=0 cores=0-7
/proc/736/task/756/stat : 756 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094226 14673342464 19575 33554432000 4194304 4196468 140723819045856 139756572138544 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 14329436 KiB
Current children cumulated memory: 78300 KiB
[startup+1.30055 s]
# the end of solver process 736 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.01936 s, system=0.140862 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801009 s]
/proc/loadavg: 5.67 3.25 2.77 2/198 756
/proc/meminfo: memFree=31445168/32770624 swapFree=67108860/67108860
[pid=736] ppid=733 vsize=14331484 memory=86748 CPUtime=1.26 cores=0-7
/proc/736/stat : 736 (java) S 733 736 30924 0 -1 1077944320 13780 0 0 0 120 6 0 0 20 0 20 0 115094219 14675439616 21687 33554432000 4194304 4196468 140723819045856 140723819028400 139757392031479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
/proc/736/statm: 3582871 21687 3761 1 0 3570586 0
[pid=736/tid=738] ppid=733 vsize=14331484 memory=-6366275496874131391 CPUtime=0.77 cores=0-7
/proc/736/task/738/stat : 738 (java) R 733 736 30924 0 -1 4202560 9875 0 0 0 73 4 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139757396266864 139757392053405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=739] ppid=733 vsize=14331484 memory=-2915668804123743646 CPUtime=0 cores=0-7
/proc/736/task/739/stat : 739 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756987849872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=740] ppid=733 vsize=14331484 memory=5792001212746981976 CPUtime=0 cores=0-7
/proc/736/task/740/stat : 740 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756986797072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=741] ppid=733 vsize=14331484 memory=5936679324719535719 CPUtime=0 cores=0-7
/proc/736/task/741/stat : 741 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756985744272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=742] ppid=733 vsize=14331484 memory=4639087545783262621 CPUtime=0 cores=0-7
/proc/736/task/742/stat : 742 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756984691472 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=743] ppid=733 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/736/task/743/stat : 743 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756983638672 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=744] ppid=733 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/736/task/744/stat : 744 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756982585872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=745] ppid=733 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/736/task/745/stat : 745 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756981533072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=746] ppid=733 vsize=14331484 memory=2241 CPUtime=0 cores=0-7
/proc/736/task/746/stat : 746 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094220 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756980480272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=747] ppid=733 vsize=14331484 memory=0 CPUtime=0 cores=0-7
/proc/736/task/747/stat : 747 (java) S 733 736 30924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 115094222 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756581612400 139757392042626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=748] ppid=733 vsize=14331484 memory=11524 CPUtime=0 cores=0-7
/proc/736/task/748/stat : 748 (java) S 733 736 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115094222 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756580558368 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=749] ppid=733 vsize=14331484 memory=2244 CPUtime=0 cores=0-7
/proc/736/task/749/stat : 749 (java) S 733 736 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115094223 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756579505520 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=750] ppid=733 vsize=14331484 memory=3472464311265349808 CPUtime=0 cores=0-7
/proc/736/task/750/stat : 750 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094225 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756578453840 139757392050075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=751] ppid=733 vsize=14331484 memory=4206468019014099040 CPUtime=0.08 cores=0-7
/proc/736/task/751/stat : 751 (java) S 733 736 30924 0 -1 1077944384 421 0 0 0 8 0 0 0 20 0 20 0 115094225 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756577401200 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=752] ppid=733 vsize=14331484 memory=8171313571697021013 CPUtime=0.07 cores=0-7
/proc/736/task/752/stat : 752 (java) S 733 736 30924 0 -1 1077944384 466 0 0 0 7 0 0 0 20 0 20 0 115094225 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756576348400 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=753] ppid=733 vsize=14331484 memory=796 CPUtime=0.08 cores=0-7
/proc/736/task/753/stat : 753 (java) S 733 736 30924 0 -1 1077944384 495 0 0 0 8 0 0 0 20 0 20 0 115094225 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756575295600 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=754] ppid=733 vsize=14331484 memory=1424 CPUtime=0.22 cores=0-7
/proc/736/task/754/stat : 754 (java) S 733 736 30924 0 -1 1077944384 1136 0 0 0 22 0 0 0 20 0 20 0 115094225 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756574242800 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=755] ppid=733 vsize=14331484 memory=15872 CPUtime=0 cores=0-7
/proc/736/task/755/stat : 755 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115094225 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756573191264 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=756] ppid=733 vsize=14331484 memory=1156 CPUtime=0 cores=0-7
/proc/736/task/756/stat : 756 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115094226 14675439616 21687 33554432000 4194304 4196468 140723819045856 139756572138544 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 14331484 KiB
Current children cumulated memory: 86748 KiB
[startup+1.20944 s]
/proc/loadavg: 5.67 3.25 2.77 5/199 757
/proc/meminfo: memFree=31363344/32770624 swapFree=67108860/67108860
[pid=736] ppid=733 vsize=15134348 memory=186744 CPUtime=2.74 cores=0-7
/proc/736/stat : 736 (java) S 733 736 30924 0 -1 1077944320 33234 0 0 0 263 11 0 0 20 0 32 0 115094219 15497572352 46686 33554432000 4194304 4196468 140723819045856 140723819028400 139757392031479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
/proc/736/statm: 3783587 46686 3778 1 0 3771302 0
[pid=736/tid=738] ppid=733 vsize=15134348 memory=6947385649911455296 CPUtime=1.13 cores=0-7
/proc/736/task/738/stat : 738 (java) S 733 736 30924 0 -1 1077944384 13065 0 0 0 108 5 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139757396268864 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=739] ppid=733 vsize=15134348 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/736/task/739/stat : 739 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756987849872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=740] ppid=733 vsize=15134348 memory=14974460151204210 CPUtime=0 cores=0-7
/proc/736/task/740/stat : 740 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756986797072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=741] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/741/stat : 741 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756985744272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=742] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/742/stat : 742 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756984691472 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=743] ppid=733 vsize=15134348 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/736/task/743/stat : 743 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756983638672 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=744] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/744/stat : 744 (java) S 733 736 30924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756982585872 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=745] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/745/stat : 745 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756981533072 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=746] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/746/stat : 746 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 32 0 115094220 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756980480272 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=747] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/747/stat : 747 (java) S 733 736 30924 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 32 0 115094222 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756581612400 139757392042626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=748] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/748/stat : 748 (java) S 733 736 30924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 32 0 115094222 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756580558368 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=749] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/749/stat : 749 (java) S 733 736 30924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 32 0 115094223 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756579505520 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=750] ppid=733 vsize=15134348 memory=0 CPUtime=0 cores=0-7
/proc/736/task/750/stat : 750 (java) S 733 736 30924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 32 0 115094225 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756578453840 139757392050075 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=751] ppid=733 vsize=15134348 memory=0 CPUtime=0.34 cores=0-7
/proc/736/task/751/stat : 751 (java) R 733 736 30924 0 -1 4202560 5241 0 0 0 33 1 0 0 20 0 32 0 115094225 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756577389952 139757376021926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=752] ppid=733 vsize=15134348 memory=301741373374332954 CPUtime=0.29 cores=0-7
/proc/736/task/752/stat : 752 (java) R 733 736 30924 0 -1 4202560 3019 0 0 0 29 0 0 0 20 0 32 0 115094225 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756576348528 139757392052826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=753] ppid=733 vsize=15134348 memory=0 CPUtime=0.31 cores=0-7
/proc/736/task/753/stat : 753 (java) R 733 736 30924 0 -1 4202560 4388 0 0 0 31 0 0 0 20 0 32 0 115094225 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756575284360 139757384272460 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=754] ppid=733 vsize=15134348 memory=6655300316396806240 CPUtime=0.42 cores=0-7
/proc/736/task/754/stat : 754 (java) R 733 736 30924 0 -1 4202560 5252 0 0 0 41 1 0 0 20 0 32 0 115094225 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756574241984 139757392043414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=755] ppid=733 vsize=15134348 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/736/task/755/stat : 755 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 32 0 115094225 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756573191264 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=756] ppid=733 vsize=15134348 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/736/task/756/stat : 756 (java) S 733 736 30924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 32 0 115094226 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756572138544 139757392042626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
[pid=736/tid=757] ppid=733 vsize=15134348 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/736/task/757/stat : 757 (java) S 733 736 30924 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 32 0 115094309 15497572352 46686 33554432000 4194304 4196468 140723819045856 139756561851520 139757392041685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23515136 140723819054178 140723819054363 140723819054363 140723819057103 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 15134348 KiB
Current children cumulated memory: 186744 KiB
Child status: 0
Real time (s): 1.3006
CPU time (s): 3.16022
CPU user time (s): 3.01936
CPU system time (s): 0.140862
CPU usage (%): 242.982
Max. virtual memory (cumulated for all children) (KiB): 15134348
Max. memory (cumulated for all children) (KiB): 186744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.01936
system time used= 0.140862
maximum resident set size= 215680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34647
page faults= 0
swaps= 0
block input operations= 56
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4159
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 736
# total CPU time (s): 3.16022
# total CPU user time (s): 3.01936
# total CPU system time (s): 0.140862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028432 second user time and 0.055884 second system time
The end
Begin job on node115 at 2017-08-15 19:46:46
IDJOB=4275412
IDBENCH=138849
IDSOLVER=2668
FILE ID=node115/4275412-1502820065
RUNJOBID= node115-1502815183-30951
PBS_JOBID= 20629824
Free space on /tmp= 61824 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-bqwh15-106/bqwh-15-106-36_X2.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-4275412-1502820065/watcher-4275412-1502820065 -o /tmp/evaluation-result-4275412-1502820065/solver-4275412-1502820065 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1502815183-30951 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 214803388 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275412-1502820065.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 419f192ede46110223acbf79f19a6c6b
RANDOM SEED=214803388
node115.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.69
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.69
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.69
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.69
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: 31494508 kB
MemAvailable: 31984764 kB
Buffers: 191020 kB
Cached: 586424 kB
SwapCached: 0 kB
Active: 579136 kB
Inactive: 254396 kB
Active(anon): 4804 kB
Inactive(anon): 79412 kB
Active(file): 574332 kB
Inactive(file): 174984 kB
Unevictable: 6188 kB
Mlocked: 6188 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42500 kB
Writeback: 0 kB
AnonPages: 75820 kB
Mapped: 46568 kB
Shmem: 25224 kB
Slab: 139712 kB
SReclaimable: 113548 kB
SUnreclaim: 26164 kB
KernelStack: 3520 kB
PageTables: 4488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61780 MiB
End job on node115 at 2017-08-15 19:46:48