0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280766-1503134740.xml" -tl '20160s' -p 8 -x 0
0.11/0.15 c [HOME/instance-4280766-1503134740.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
2.02/0.73 c solve instance...
2.02/0.77 s SATISFIABLE
2.02/0.77 v <instantiation>
2.02/0.77 v <list>x[1][1] x[1][2] x[1][4] x[1][5] x[1][7] x[1][8] x[1][11] x[1][12] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][7] x[2][8] x[2][9] x[2][11] x[2][12] x[2][13] x[3][2] x[3][3] x[3][5] x[3][6] x[3][7] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][1] x[4][2] x[4][3] x[4][4] x[4][6] x[4][7] x[4][9] x[4][10] x[4][11] x[5][1] x[5][2] x[5][4] x[5][5] x[5][6] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][10] x[6][11] x[6][12] x[6][13] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][7] x[7][8] x[7][9] x[7][11] x[7][12] x[8][1] x[8][2] x[8][3] x[8][5] x[8][6] x[8][7] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[9][2] x[9][3] x[9][6] x[9][7] x[9][9] x[9][10] x[9][12] x[9][13] </list>
2.02/0.77 v <values>1 2 1 2 9 7 9 8 2 4 3 5 1 5 6 3 7 9 1 9 7 3 7 8 1 3 5 7 2 7 8 2 5 9 7 5 4 8 9 5 9 6 8 4 2 1 2 1 7 8 9 8 9 2 1 5 3 2 8 3 6 7 1 3 2 2 1 6 9 8 8 9 7 3 4 5 6 8 6 1 8 9 1 3 7 9 </values>
2.02/0.77 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 (12619 MiB free)
memory of node 1: 16384 MiB (13791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280766-1503134740/watcher-4280766-1503134740 -o /tmp/evaluation-result-4280766-1503134740/solver-4280766-1503134740 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 325590653 HOME/instance-4280766-1503134740.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=11661, runsolver pid=11658
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 7.22 8.01 8.15 2/199 11682
/proc/meminfo: memFree=27029100/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146562083 9740288 346 33554432000 4194304 5098028 140726251477696 140726251475800 139914843431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30412800 140726251484261 140726251484471 140726251484471 140726251487211 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=25999808 memory=26140 CPUtime=0.11 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 10779 0 -1 1077944320 5468 0 0 0 10 1 0 0 20 0 20 0 146562083 26623803392 6535 33554432000 4194304 4196468 140722397955232 140722397937776 139633956626167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
/proc/11663/statm: 6499952 6535 2847 1 0 6488269 0
[pid=11663/tid=11664] ppid=11661 vsize=25999808 memory=8112560111893781661 CPUtime=0.09 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) R 11661 11661 10779 0 -1 4202560 3474 0 0 0 8 1 0 0 20 0 20 0 146562083 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633960851856 139633940669797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11665] ppid=11661 vsize=25999808 memory=732370776486317029 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633909246224 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11666] ppid=11661 vsize=25999808 memory=140638148863616 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633908193680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11667] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633907141136 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11668] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562084 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633906088592 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11669] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633905036048 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11670] ppid=11661 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633903983504 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11671] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633902930960 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11672] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633901878416 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11673] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562086 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633352472560 139633956637314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11674] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146562086 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633351418784 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11675] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146562086 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633350366192 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11676] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633349314768 139633956644763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11677] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) R 11661 11661 10779 0 -1 4202560 313 0 0 0 0 0 0 0 20 0 20 0 146562089 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633348262384 139633956647514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11678] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) S 11661 11661 10779 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 146562089 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633010666096 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11679] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562089 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633009613552 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11680] ppid=11661 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) R 11661 11661 10779 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 146562089 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633008561008 139633936029396 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11681] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562089 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633007507680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11682] ppid=11661 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26623803392 6535 33554432000 4194304 4196468 140722397955232 139633006455216 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27524 KiB
[startup+0.210068 s]*
/proc/loadavg: 7.22 8.01 8.15 2/199 11682
/proc/meminfo: memFree=27018868/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146562083 9740288 346 33554432000 4194304 5098028 140726251477696 140726251475800 139914843431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30412800 140726251484261 140726251484471 140726251484471 140726251487211 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26004064 memory=39068 CPUtime=0.33 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 10779 0 -1 1077944320 8331 0 0 0 30 3 0 0 20 0 20 0 146562083 26628161536 9767 33554432000 4194304 4196468 140722397955232 140722397937776 139633956626167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
/proc/11663/statm: 6501016 9767 3025 1 0 6488269 0
[pid=11663/tid=11664] ppid=11661 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) R 11661 11661 10779 0 -1 4202560 5382 0 0 0 18 1 0 0 20 0 20 0 146562083 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633960847168 139633940706654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11665] ppid=11661 vsize=26004064 memory=732370776486317029 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633909246224 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11666] ppid=11661 vsize=26004064 memory=140638148863616 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633908193680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11667] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633907141136 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11668] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633906088592 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11669] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633905036048 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11670] ppid=11661 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633903983504 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11671] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633902930960 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11672] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633901878416 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11673] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562086 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633352472560 139633956637314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11674] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146562086 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633351418784 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11675] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146562086 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633350366192 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11676] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633349314768 139633956644763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11677] ppid=11661 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) S 11661 11661 10779 0 -1 1077944384 618 0 0 0 2 0 0 0 20 0 20 0 146562089 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633348262384 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11678] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) S 11661 11661 10779 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 146562089 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633010666096 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11679] ppid=11661 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) S 11661 11661 10779 0 -1 1077944384 156 0 0 0 1 0 0 0 20 0 20 0 146562089 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633009613552 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11680] ppid=11661 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) S 11661 11661 10779 0 -1 1077944384 744 0 0 0 7 0 0 0 20 0 20 0 146562089 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633008561008 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11681] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562089 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633007507680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11682] ppid=11661 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26628161536 9767 33554432000 4194304 4196468 140722397955232 139633006455216 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40452 KiB
[startup+0.309486 s]*
/proc/loadavg: 7.22 8.01 8.15 3/199 11682
/proc/meminfo: memFree=27012540/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146562083 9740288 346 33554432000 4194304 5098028 140726251477696 140726251475800 139914843431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30412800 140726251484261 140726251484471 140726251484471 140726251487211 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26004064 memory=46028 CPUtime=0.5 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 10779 0 -1 1077944320 9203 0 0 0 46 4 0 0 20 0 20 0 146562083 26628161536 11507 33554432000 4194304 4196468 140722397955232 140722397937776 139633956626167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
/proc/11663/statm: 6501016 11507 3114 1 0 6488269 0
[pid=11663/tid=11664] ppid=11661 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) R 11661 11661 10779 0 -1 4202560 6081 0 0 0 27 2 0 0 20 0 20 0 146562083 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633960865328 139633956648093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11665] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633909246224 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11666] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633908193680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11667] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633907141136 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11668] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633906088592 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11669] ppid=11661 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633905036048 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11670] ppid=11661 vsize=26004064 memory=140638033114031 CPUtime=0 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633903983504 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11671] ppid=11661 vsize=26004064 memory=140638033116336 CPUtime=0 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633902930960 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11672] ppid=11661 vsize=26004064 memory=140638033118640 CPUtime=0 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633901878416 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11673] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562086 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633352472560 139633956637314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11674] ppid=11661 vsize=26004064 memory=281276066244240 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146562086 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633351418784 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11675] ppid=11661 vsize=26004064 memory=281276066251152 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146562086 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633350366192 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11676] ppid=11661 vsize=26004064 memory=281276066192432 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633349314768 139633956644763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11677] ppid=11661 vsize=26004064 memory=281276066264976 CPUtime=0.03 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) R 11661 11661 10779 0 -1 4202560 647 0 0 0 3 0 0 0 20 0 20 0 146562089 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633348262384 139633937326464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11678] ppid=11661 vsize=26004064 memory=281276066271888 CPUtime=0 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) S 11661 11661 10779 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 146562089 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633010666096 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11679] ppid=11661 vsize=26004064 memory=281276066269584 CPUtime=0.02 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) S 11661 11661 10779 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 20 0 146562089 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633009613552 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11680] ppid=11661 vsize=26004064 memory=281276066285744 CPUtime=0.12 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) R 11661 11661 10779 0 -1 4202560 883 0 0 0 12 0 0 0 20 0 20 0 146562089 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633008560192 139633956647514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11681] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562089 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633007507680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11682] ppid=11661 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26628161536 11572 33554432000 4194304 4196468 140722397955232 139633006455216 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47412 KiB
[startup+0.700995 s]
/proc/loadavg: 7.22 8.01 8.15 3/199 11682
/proc/meminfo: memFree=26988112/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146562083 9740288 346 33554432000 4194304 5098028 140726251477696 140726251475800 139914843431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30412800 140726251484261 140726251484471 140726251484471 140726251487211 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26006188 memory=130348 CPUtime=2.02 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 10779 0 -1 1077944320 14494 0 0 0 197 5 0 0 20 0 20 0 146562083 26630336512 32587 33554432000 4194304 4196468 140722397955232 140722397937776 139633956626167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
/proc/11663/statm: 6501547 32587 3201 1 0 6488781 0
[pid=11663/tid=11664] ppid=11661 vsize=26006188 memory=281276066580672 CPUtime=0.67 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) R 11661 11661 10779 0 -1 4202560 6705 0 0 0 64 3 0 0 20 0 20 0 146562083 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633960861072 139633568182156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11665] ppid=11661 vsize=26006188 memory=1012 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633909246224 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11666] ppid=11661 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633908193680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11667] ppid=11661 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633907141136 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11668] ppid=11661 vsize=26006188 memory=4616 CPUtime=0 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633906088592 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11669] ppid=11661 vsize=26006188 memory=792 CPUtime=0 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633905036048 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11670] ppid=11661 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633903983504 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11671] ppid=11661 vsize=26006188 memory=13144 CPUtime=0 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633902930960 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11672] ppid=11661 vsize=26006188 memory=1944 CPUtime=0 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633901878416 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11673] ppid=11661 vsize=26006188 memory=1196 CPUtime=0 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 10779 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 146562086 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633352472560 139633956637314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11674] ppid=11661 vsize=26006188 memory=8588 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146562086 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633351418784 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11675] ppid=11661 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146562086 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633350366192 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11676] ppid=11661 vsize=26006188 memory=15880 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633349314768 139633956644763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11677] ppid=11661 vsize=26006188 memory=18476 CPUtime=0.33 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) R 11661 11661 10779 0 -1 4202560 1819 0 0 0 33 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633348251984 139633956647514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11678] ppid=11661 vsize=26006188 memory=22576 CPUtime=0.29 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) R 11661 11661 10779 0 -1 4202560 1409 0 0 0 29 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633010650928 139633956647514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11679] ppid=11661 vsize=26006188 memory=4040 CPUtime=0.31 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) R 11661 11661 10779 0 -1 4202560 1069 0 0 0 31 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633009599264 139633937325704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11680] ppid=11661 vsize=26006188 memory=1236 CPUtime=0.38 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) R 11661 11661 10779 0 -1 4202560 2177 0 0 0 38 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633008561008 139633935146318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11681] ppid=11661 vsize=26006188 memory=644 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633007507680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11682] ppid=11661 vsize=26006188 memory=1788 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633006455216 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 131732 KiB
[startup+0.792079 s]
# the end of solver process 11661 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.35657 s, system=0.079683 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.700995 s]
/proc/loadavg: 7.22 8.01 8.15 3/199 11682
/proc/meminfo: memFree=26988112/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 10779 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146562083 9740288 346 33554432000 4194304 5098028 140726251477696 140726251475800 139914843431548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30412800 140726251484261 140726251484471 140726251484471 140726251487211 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26006188 memory=130348 CPUtime=2.02 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 10779 0 -1 1077944320 14494 0 0 0 197 5 0 0 20 0 20 0 146562083 26630336512 32587 33554432000 4194304 4196468 140722397955232 140722397937776 139633956626167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
/proc/11663/statm: 6501547 32587 3201 1 0 6488781 0
[pid=11663/tid=11664] ppid=11661 vsize=26006188 memory=281276066580672 CPUtime=0.67 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) R 11661 11661 10779 0 -1 4202560 6705 0 0 0 64 3 0 0 20 0 20 0 146562083 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633960861072 139633568182156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11665] ppid=11661 vsize=26006188 memory=1012 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633909246224 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11666] ppid=11661 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633908193680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11667] ppid=11661 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633907141136 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11668] ppid=11661 vsize=26006188 memory=4616 CPUtime=0 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633906088592 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11669] ppid=11661 vsize=26006188 memory=792 CPUtime=0 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633905036048 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11670] ppid=11661 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633903983504 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11671] ppid=11661 vsize=26006188 memory=13144 CPUtime=0 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633902930960 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11672] ppid=11661 vsize=26006188 memory=1944 CPUtime=0 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 10779 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146562084 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633901878416 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11673] ppid=11661 vsize=26006188 memory=1196 CPUtime=0 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 10779 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 146562086 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633352472560 139633956637314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11674] ppid=11661 vsize=26006188 memory=8588 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 10779 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146562086 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633351418784 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11675] ppid=11661 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 10779 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146562086 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633350366192 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11676] ppid=11661 vsize=26006188 memory=15880 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633349314768 139633956644763 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11677] ppid=11661 vsize=26006188 memory=18476 CPUtime=0.33 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) R 11661 11661 10779 0 -1 4202560 1819 0 0 0 33 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633348251984 139633956647514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11678] ppid=11661 vsize=26006188 memory=22576 CPUtime=0.29 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) R 11661 11661 10779 0 -1 4202560 1409 0 0 0 29 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633010650928 139633956647514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11679] ppid=11661 vsize=26006188 memory=4040 CPUtime=0.31 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) R 11661 11661 10779 0 -1 4202560 1069 0 0 0 31 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633009599264 139633937325704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11680] ppid=11661 vsize=26006188 memory=1236 CPUtime=0.38 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) R 11661 11661 10779 0 -1 4202560 2177 0 0 0 38 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633008561008 139633935146318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11681] ppid=11661 vsize=26006188 memory=644 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 10779 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633007507680 139633956636373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
[pid=11663/tid=11682] ppid=11661 vsize=26006188 memory=1788 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 10779 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146562089 26630336512 32587 33554432000 4194304 4196468 140722397955232 139633006455216 139633956637314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10493952 140722397963410 140722397963587 140722397963587 140722397966287 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 131732 KiB
Child status: 0
Real time (s): 0.792119
CPU time (s): 2.43626
CPU user time (s): 2.35657
CPU system time (s): 0.079683
CPU usage (%): 307.562
Max. virtual memory (cumulated for all children) (KiB): 26015700
Max. memory (cumulated for all children) (KiB): 131732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.35657
system time used= 0.079683
maximum resident set size= 161120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15572
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= 2360
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 11661
# total CPU time (s): 2.43626
# total CPU user time (s): 2.35657
# total CPU system time (s): 0.079683
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.022607 second user time and 0.049388 second system time
The end
Begin job on node103 at 2017-08-19 11:11:20
IDJOB=4280766
IDBENCH=124873
IDSOLVER=2675
FILE ID=node103/4280766-1503134740
RUNJOBID= node103-1503131349-10806
PBS_JOBID= 20630787
Free space on /tmp= 61652 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Kakuro/Kakuro-ext-medium/Kakuro-medium-016-ext.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280766-1503134740/watcher-4280766-1503134740 -o /tmp/evaluation-result-4280766-1503134740/solver-4280766-1503134740 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1503131349-10806 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 325590653 HOME/instance-4280766-1503134740.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= af9e02b972a2aa437dfc7299482d1e73
RANDOM SEED=325590653
node103.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.56
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.56
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.56
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.56
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: 27044872 kB
MemAvailable: 31974232 kB
Buffers: 231404 kB
Cached: 4992116 kB
SwapCached: 0 kB
Active: 994264 kB
Inactive: 4283516 kB
Active(anon): 3632 kB
Inactive(anon): 86700 kB
Active(file): 990632 kB
Inactive(file): 4196816 kB
Unevictable: 7496 kB
Mlocked: 7496 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 8012 kB
Writeback: 0 kB
AnonPages: 61804 kB
Mapped: 50684 kB
Shmem: 33420 kB
Slab: 141752 kB
SReclaimable: 115496 kB
SUnreclaim: 26256 kB
KernelStack: 3168 kB
PageTables: 4708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 332848 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: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 61644 MiB
End job on node103 at 2017-08-19 11:11:21