0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281082-1503140487.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4281082-1503140487.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.33/0.26 c parse instance...
359.73/75.09 c solve instance...
372.17/76.77 s SATISFIABLE
372.17/76.77 v <instantiation>
372.17/76.77 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] </list>
372.17/76.77 v <values>0 0 0 1 1 1 2 2 2 3 3 3 4 4 4 5 5 5 6 6 6 7 7 7 8 8 8 6 7 8 0 1 2 0 1 3 2 3 4 5 7 8 6 7 8 3 4 5 4 5 6 0 1 2 6 7 8 0 2 1 1 3 0 7 8 5 7 3 4 3 4 2 5 8 6 6 5 4 2 1 0 6 7 8 0 4 6 4 5 7 1 2 0 2 4 3 3 5 6 1 3 0 1 8 2 7 8 5 6 7 8 1 0 2 8 7 5 1 4 7 6 3 0 4 2 3 6 5 8 4 5 3 2 1 0 </values>
372.17/76.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 (13000 MiB free)
memory of node 1: 16384 MiB (13427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281082-1503140487/watcher-4281082-1503140487 -o /tmp/evaluation-result-4281082-1503140487/solver-4281082-1503140487 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503136251-22362 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 311621684 HOME/instance-4281082-1503140487.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=22761, runsolver pid=22758
Current StackSize limit: 8192 KiB
[startup+0.100126 s]*
/proc/loadavg: 1.45 1.35 2.03 2/199 22782
/proc/meminfo: memFree=27045824/32770624 swapFree=67108860/67108860
[pid=22761] ppid=22758 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22761/stat : 22761 (xcsp3-exec) S 22758 22761 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147136640 9740288 346 33554432000 4194304 5098028 140721989297040 140721989295144 140614706770556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15532032 140721989305445 140721989305655 140721989305655 140721989308395 0
/proc/22761/statm: 2378 346 289 221 0 87 0
[pid=22763] ppid=22761 vsize=25999808 memory=26660 CPUtime=0.12 cores=0-7
/proc/22763/stat : 22763 (java) S 22761 22761 22335 0 -1 1077944320 5481 0 0 0 11 1 0 0 20 0 20 0 147136640 26623803392 6665 33554432000 4194304 4196468 140727563819440 140727563801984 139706987958007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
/proc/22763/statm: 6499952 6665 2899 1 0 6488269 0
[pid=22763/tid=22764] ppid=22761 vsize=25999808 memory=8184900280420048029 CPUtime=0.08 cores=0-7
/proc/22763/task/22764/stat : 22764 (java) R 22761 22761 22335 0 -1 4202560 3483 0 0 0 8 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706992191280 139706987969942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22765] ppid=22761 vsize=25999808 memory=732370399888190437 CPUtime=0 cores=0-7
/proc/22763/task/22765/stat : 22765 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706910538512 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22766] ppid=22761 vsize=25999808 memory=140261550737024 CPUtime=0 cores=0-7
/proc/22763/task/22766/stat : 22766 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706909485968 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22767] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22767/stat : 22767 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706908433424 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22768] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22768/stat : 22768 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706907380880 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22769] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22769/stat : 22769 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706906327312 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22770] ppid=22761 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22763/task/22770/stat : 22770 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706905274768 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22771] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22771/stat : 22771 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706904222224 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22772] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22772/stat : 22772 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706903169680 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22773] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22773/stat : 22773 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136643 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706496076272 139706987969154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22774] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22774/stat : 22774 (java) S 22761 22761 22335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147136643 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706114270624 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22775] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22775/stat : 22775 (java) S 22761 22761 22335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147136644 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706113218032 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22776] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22776/stat : 22776 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136646 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706112166608 139706987976603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22777] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22777/stat : 22777 (java) S 22761 22761 22335 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 147136646 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706111113200 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22778] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22778/stat : 22778 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147136646 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706110060656 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22779] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22779/stat : 22779 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147136646 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706109008112 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22780] ppid=22761 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22763/task/22780/stat : 22780 (java) S 22761 22761 22335 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 147136646 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706107955568 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22781] ppid=22761 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22781/stat : 22781 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147136646 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706106903264 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22782] ppid=22761 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22763/task/22782/stat : 22782 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136646 26623803392 6665 33554432000 4194304 4196468 140727563819440 139706105850800 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28044 KiB
[startup+0.20972 s]*
/proc/loadavg: 1.45 1.35 2.03 2/199 22782
/proc/meminfo: memFree=27034032/32770624 swapFree=67108860/67108860
[pid=22761] ppid=22758 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22761/stat : 22761 (xcsp3-exec) S 22758 22761 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147136640 9740288 346 33554432000 4194304 5098028 140721989297040 140721989295144 140614706770556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15532032 140721989305445 140721989305655 140721989305655 140721989308395 0
/proc/22761/statm: 2378 346 289 221 0 87 0
[pid=22763] ppid=22761 vsize=26004064 memory=39140 CPUtime=0.33 cores=0-7
/proc/22763/stat : 22763 (java) S 22761 22761 22335 0 -1 1077944320 8347 0 0 0 31 2 0 0 20 0 20 0 147136640 26628161536 9785 33554432000 4194304 4196468 140727563819440 140727563801984 139706987958007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
/proc/22763/statm: 6501016 9785 3069 1 0 6488269 0
[pid=22763/tid=22764] ppid=22761 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/22763/task/22764/stat : 22764 (java) R 22761 22761 22335 0 -1 4202560 5398 0 0 0 18 1 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706992171040 139706987979933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22765] ppid=22761 vsize=26004064 memory=732370399888190437 CPUtime=0 cores=0-7
/proc/22763/task/22765/stat : 22765 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706910538512 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22766] ppid=22761 vsize=26004064 memory=140261550737024 CPUtime=0 cores=0-7
/proc/22763/task/22766/stat : 22766 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706909485968 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22767] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22767/stat : 22767 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706908433424 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22768] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22768/stat : 22768 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706907380880 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22769] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22769/stat : 22769 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706906327312 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22770] ppid=22761 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22763/task/22770/stat : 22770 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706905274768 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22771] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22771/stat : 22771 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706904222224 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22772] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22772/stat : 22772 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706903169680 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22773] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22773/stat : 22773 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136643 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706496076272 139706987969154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22774] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22774/stat : 22774 (java) S 22761 22761 22335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147136643 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706114270624 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22775] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22775/stat : 22775 (java) S 22761 22761 22335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147136644 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706113218032 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22776] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22776/stat : 22776 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136646 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706112166608 139706987976603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22777] ppid=22761 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/22763/task/22777/stat : 22777 (java) S 22761 22761 22335 0 -1 1077944384 604 0 0 0 2 0 0 0 20 0 20 0 147136646 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706111113200 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22778] ppid=22761 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22763/task/22778/stat : 22778 (java) S 22761 22761 22335 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 147136646 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706110060656 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22779] ppid=22761 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22763/task/22779/stat : 22779 (java) S 22761 22761 22335 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 20 0 147136646 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706109008112 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22780] ppid=22761 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/22763/task/22780/stat : 22780 (java) S 22761 22761 22335 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 20 0 147136646 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706107955568 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22781] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22781/stat : 22781 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147136646 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706106903264 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22782] ppid=22761 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22763/task/22782/stat : 22782 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136646 26628161536 9785 33554432000 4194304 4196468 140727563819440 139706105850800 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40524 KiB
[startup+0.309486 s]*
/proc/loadavg: 1.45 1.35 2.03 4/199 22782
/proc/meminfo: memFree=27029980/32770624 swapFree=67108860/67108860
[pid=22761] ppid=22758 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22761/stat : 22761 (xcsp3-exec) S 22758 22761 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147136640 9740288 346 33554432000 4194304 5098028 140721989297040 140721989295144 140614706770556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15532032 140721989305445 140721989305655 140721989305655 140721989308395 0
/proc/22761/statm: 2378 346 289 221 0 87 0
[pid=22763] ppid=22761 vsize=26004064 memory=43784 CPUtime=0.5 cores=0-7
/proc/22763/stat : 22763 (java) S 22761 22761 22335 0 -1 1077944320 9169 0 0 0 48 2 0 0 20 0 20 0 147136640 26628161536 10946 33554432000 4194304 4196468 140727563819440 140727563801984 139706987958007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
/proc/22763/statm: 6501016 10946 3096 1 0 6488269 0
[pid=22763/tid=22764] ppid=22761 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22763/task/22764/stat : 22764 (java) R 22761 22761 22335 0 -1 4202560 6076 0 0 0 27 2 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706992196080 139706579100375 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22765] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22765/stat : 22765 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706910538512 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22766] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22766/stat : 22766 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706909485968 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22767] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22767/stat : 22767 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706908433424 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22768] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22768/stat : 22768 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706907380880 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22769] ppid=22761 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22763/task/22769/stat : 22769 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706906327312 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22770] ppid=22761 vsize=26004064 memory=140261418169263 CPUtime=0 cores=0-7
/proc/22763/task/22770/stat : 22770 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706905274768 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22771] ppid=22761 vsize=26004064 memory=140261418171568 CPUtime=0 cores=0-7
/proc/22763/task/22771/stat : 22771 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706904222224 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22772] ppid=22761 vsize=26004064 memory=140261418173872 CPUtime=0 cores=0-7
/proc/22763/task/22772/stat : 22772 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706903169680 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22773] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22773/stat : 22773 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136643 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706496076272 139706987969154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22774] ppid=22761 vsize=26004064 memory=280522836354704 CPUtime=0 cores=0-7
/proc/22763/task/22774/stat : 22774 (java) S 22761 22761 22335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147136643 26628161536 10946 33554432000 4194304 4196468 140727563819440 139706114270624 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22775] ppid=22761 vsize=26004064 memory=280522836361616 CPUtime=0 cores=0-7
/proc/22763/task/22775/stat : 22775 (java) S 22761 22761 22335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147136644 26628161536 11458 33554432000 4194304 4196468 140727563819440 139706113218032 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22776] ppid=22761 vsize=26004064 memory=280522836302896 CPUtime=0 cores=0-7
/proc/22763/task/22776/stat : 22776 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136646 26628161536 11458 33554432000 4194304 4196468 140727563819440 139706112166608 139706987976603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22777] ppid=22761 vsize=26004064 memory=280522836375440 CPUtime=0.02 cores=0-7
/proc/22763/task/22777/stat : 22777 (java) S 22761 22761 22335 0 -1 1077944384 609 0 0 0 2 0 0 0 20 0 20 0 147136646 26628161536 11458 33554432000 4194304 4196468 140727563819440 139706111113200 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22778] ppid=22761 vsize=26004064 memory=280522836382352 CPUtime=0.02 cores=0-7
/proc/22763/task/22778/stat : 22778 (java) S 22761 22761 22335 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 147136646 26628161536 11458 33554432000 4194304 4196468 140727563819440 139706110060656 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22779] ppid=22761 vsize=26004064 memory=280522836380048 CPUtime=0.02 cores=0-7
/proc/22763/task/22779/stat : 22779 (java) R 22761 22761 22335 0 -1 4202560 239 0 0 0 2 0 0 0 20 0 20 0 147136646 26628161536 11458 33554432000 4194304 4196468 140727563819440 139706109008112 139706980943049 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22780] ppid=22761 vsize=26004064 memory=280522836396208 CPUtime=0.12 cores=0-7
/proc/22763/task/22780/stat : 22780 (java) R 22761 22761 22335 0 -1 4202560 852 0 0 0 12 0 0 0 20 0 20 0 147136646 26628161536 11458 33554432000 4194304 4196468 140727563819440 139706107955568 139706980675159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22781] ppid=22761 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22781/stat : 22781 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147136646 26628161536 11458 33554432000 4194304 4196468 140727563819440 139706106903264 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22782] ppid=22761 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22763/task/22782/stat : 22782 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136646 26628161536 11458 33554432000 4194304 4196468 140727563819440 139706105850800 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45168 KiB
[startup+0.700958 s]
/proc/loadavg: 1.45 1.35 2.03 5/199 22782
/proc/meminfo: memFree=26998356/32770624 swapFree=67108860/67108860
[pid=22761] ppid=22758 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22761/stat : 22761 (xcsp3-exec) S 22758 22761 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147136640 9740288 346 33554432000 4194304 5098028 140721989297040 140721989295144 140614706770556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15532032 140721989305445 140721989305655 140721989305655 140721989308395 0
/proc/22761/statm: 2378 346 289 221 0 87 0
[pid=22763] ppid=22761 vsize=26006188 memory=107764 CPUtime=2.06 cores=0-7
/proc/22763/stat : 22763 (java) S 22761 22761 22335 0 -1 1077944320 13460 0 0 0 202 4 0 0 20 0 20 0 147136640 26630336512 26941 33554432000 4194304 4196468 140727563819440 140727563801984 139706987958007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
/proc/22763/statm: 6501547 26941 3201 1 0 6488781 0
[pid=22763/tid=22764] ppid=22761 vsize=26006188 memory=280522836691136 CPUtime=0.67 cores=0-7
/proc/22763/task/22764/stat : 22764 (java) R 22761 22761 22335 0 -1 4202560 6621 0 0 0 64 3 0 0 20 0 20 0 147136641 26630336512 26941 33554432000 4194304 4196468 140727563819440 139706992184864 139706970479981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22765] ppid=22761 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/22763/task/22765/stat : 22765 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26630336512 26941 33554432000 4194304 4196468 140727563819440 139706910538512 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22766] ppid=22761 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/22763/task/22766/stat : 22766 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147136641 26630336512 26941 33554432000 4194304 4196468 140727563819440 139706909485968 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22767] ppid=22761 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/22763/task/22767/stat : 22767 (java) S 22761 22761 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147136641 26630336512 26941 33554432000 4194304 4196468 140727563819440 139706908433424 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
################
# More data... #
################
[pid=22763/tid=22777] ppid=22761 vsize=26538700 memory=1952 CPUtime=1.5 cores=0-7
/proc/22763/task/22777/stat : 22777 (java) S 22761 22761 22335 0 -1 1077944384 6993 0 0 0 149 1 0 0 20 0 28 0 147136646 27175628800 2857902 33554432000 4194304 4196468 140727563819440 139706111113200 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22778] ppid=22761 vsize=26538700 memory=8612 CPUtime=0.92 cores=0-7
/proc/22763/task/22778/stat : 22778 (java) S 22761 22761 22335 0 -1 1077944384 3930 0 0 0 91 1 0 0 20 0 28 0 147136646 27175628800 2857902 33554432000 4194304 4196468 140727563819440 139706110060656 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22779] ppid=22761 vsize=26538700 memory=1224 CPUtime=1.3 cores=0-7
/proc/22763/task/22779/stat : 22779 (java) S 22761 22761 22335 0 -1 1077944384 6306 0 0 0 129 1 0 0 20 0 28 0 147136646 27175628800 2857902 33554432000 4194304 4196468 140727563819440 139706109008112 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22780] ppid=22761 vsize=26538700 memory=792 CPUtime=0.59 cores=0-7
/proc/22763/task/22780/stat : 22780 (java) R 22761 22761 22335 0 -1 1077944384 5133 0 0 0 58 1 0 0 20 0 28 0 147136646 27175628800 2857902 33554432000 4194304 4196468 140727563819440 139706107955568 139706987969154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22781] ppid=22761 vsize=26538700 memory=1004 CPUtime=0 cores=0-7
/proc/22763/task/22781/stat : 22781 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147136646 27175628800 2857902 33554432000 4194304 4196468 140727563819440 139706106903264 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22782] ppid=22761 vsize=26538700 memory=5788 CPUtime=0.02 cores=0-7
/proc/22763/task/22782/stat : 22782 (java) S 22761 22761 22335 0 -1 1077944384 524 0 0 0 1 1 0 0 20 0 28 0 147136646 27175628800 2857902 33554432000 4194304 4196468 140727563819440 139706105850800 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
Current children cumulated CPU time: 360.37 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11432992 KiB
[startup+76.0015 s]*
/proc/loadavg: 4.38 2.27 2.30 13/207 22790
/proc/meminfo: memFree=15751368/32770624 swapFree=67108860/67108860
[pid=22761] ppid=22758 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22761/stat : 22761 (xcsp3-exec) S 22758 22761 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147136640 9740288 346 33554432000 4194304 5098028 140721989297040 140721989295144 140614706770556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15532032 140721989305445 140721989305655 140721989305655 140721989308395 0
/proc/22761/statm: 2378 346 289 221 0 87 0
[pid=22763] ppid=22761 vsize=26538700 memory=11302988 CPUtime=366.71 cores=0-7
/proc/22763/stat : 22763 (java) S 22761 22761 22335 0 -1 1077944320 186483 0 0 0 34245 2426 0 0 20 0 28 0 147136640 27175628800 2825747 33554432000 4194304 4196468 140727563819440 140727563801984 139706987958007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
/proc/22763/statm: 6634675 2825747 3277 1 0 6621909 0
[pid=22763/tid=22764] ppid=22761 vsize=26538700 memory=6791534058613427641 CPUtime=31.41 cores=0-7
/proc/22763/task/22764/stat : 22764 (java) S 22761 22761 22335 0 -1 1077944384 16066 0 0 0 3126 15 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706992198784 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22765] ppid=22761 vsize=26538700 memory=-7003737579269690708 CPUtime=40.52 cores=0-7
/proc/22763/task/22765/stat : 22765 (java) S 22761 22761 22335 0 -1 1077944384 16506 0 0 0 3753 299 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706910538512 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22766] ppid=22761 vsize=26538700 memory=0 CPUtime=40.49 cores=0-7
/proc/22763/task/22766/stat : 22766 (java) S 22761 22761 22335 0 -1 1077944384 11730 0 0 0 3751 298 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706909485968 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22767] ppid=22761 vsize=26538700 memory=0 CPUtime=40.46 cores=0-7
/proc/22763/task/22767/stat : 22767 (java) S 22761 22761 22335 0 -1 1077944384 12780 0 0 0 3784 262 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706908433424 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22768] ppid=22761 vsize=26538700 memory=8099281249365153383 CPUtime=40.4 cores=0-7
/proc/22763/task/22768/stat : 22768 (java) S 22761 22761 22335 0 -1 1077944384 11862 0 0 0 3739 301 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706907380880 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22769] ppid=22761 vsize=26538700 memory=5787213844361602137 CPUtime=40.58 cores=0-7
/proc/22763/task/22769/stat : 22769 (java) S 22761 22761 22335 0 -1 1077944384 11546 0 0 0 3748 310 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706906327312 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22770] ppid=22761 vsize=26538700 memory=7449357757077672033 CPUtime=40.39 cores=0-7
/proc/22763/task/22770/stat : 22770 (java) S 22761 22761 22335 0 -1 1077944384 15550 0 0 0 3738 301 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706905274768 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22771] ppid=22761 vsize=26538700 memory=7377848724936419158 CPUtime=40.42 cores=0-7
/proc/22763/task/22771/stat : 22771 (java) S 22761 22761 22335 0 -1 1077944384 11136 0 0 0 3741 301 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706904222224 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22772] ppid=22761 vsize=26538700 memory=7306056181766709590 CPUtime=40.56 cores=0-7
/proc/22763/task/22772/stat : 22772 (java) S 22761 22761 22335 0 -1 1077944384 13645 0 0 0 3762 294 0 0 20 0 28 0 147136641 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706903169680 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22773] ppid=22761 vsize=26538700 memory=0 CPUtime=2.58 cores=0-7
/proc/22763/task/22773/stat : 22773 (java) S 22761 22761 22335 0 -1 1077944384 37342 0 0 0 235 23 0 0 20 0 28 0 147136643 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706496076272 139706987969154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22774] ppid=22761 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/22763/task/22774/stat : 22774 (java) S 22761 22761 22335 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 147136643 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706114270688 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22775] ppid=22761 vsize=26538700 memory=5782692679075529345 CPUtime=0 cores=0-7
/proc/22763/task/22775/stat : 22775 (java) S 22761 22761 22335 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 28 0 147136644 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706113218048 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22776] ppid=22761 vsize=26538700 memory=9051283677730746851 CPUtime=0 cores=0-7
/proc/22763/task/22776/stat : 22776 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147136646 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706112166608 139706987976603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22777] ppid=22761 vsize=26538700 memory=4497580499151130995 CPUtime=1.74 cores=0-7
/proc/22763/task/22777/stat : 22777 (java) R 22761 22761 22335 0 -1 4202560 7905 0 0 0 172 2 0 0 20 0 28 0 147136646 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706111099744 139706972882294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22778] ppid=22761 vsize=26538700 memory=-7522837415797432224 CPUtime=1.21 cores=0-7
/proc/22763/task/22778/stat : 22778 (java) R 22761 22761 22335 0 -1 4202560 4859 0 0 0 120 1 0 0 20 0 28 0 147136646 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706110047200 139706965553024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22779] ppid=22761 vsize=26538700 memory=-8614213584521512614 CPUtime=1.6 cores=0-7
/proc/22763/task/22779/stat : 22779 (java) R 22761 22761 22335 0 -1 4202560 7037 0 0 0 159 1 0 0 20 0 28 0 147136646 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706108989872 139706980198988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22780] ppid=22761 vsize=26538700 memory=8514701219882239650 CPUtime=0.67 cores=0-7
/proc/22763/task/22780/stat : 22780 (java) R 22761 22761 22335 0 -1 1077944384 5404 0 0 0 65 2 0 0 20 0 28 0 147136646 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706107955568 139706987969154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22781] ppid=22761 vsize=26538700 memory=5450889932704941866 CPUtime=0 cores=0-7
/proc/22763/task/22781/stat : 22781 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147136646 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706106903264 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22782] ppid=22761 vsize=26538700 memory=7974038411334692957 CPUtime=0.02 cores=0-7
/proc/22763/task/22782/stat : 22782 (java) S 22761 22761 22335 0 -1 1077944384 525 0 0 0 1 1 0 0 20 0 28 0 147136646 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706105850800 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22783] ppid=22761 vsize=26538700 memory=6805124639032654198 CPUtime=0.42 cores=0-7
/proc/22763/task/22783/stat : 22783 (java) R 22761 22761 22335 0 -1 4202560 111 0 0 0 42 0 0 0 20 0 28 0 147144153 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706097839832 139706585896440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22784] ppid=22761 vsize=26538700 memory=0 CPUtime=0.43 cores=0-7
/proc/22763/task/22784/stat : 22784 (java) R 22761 22761 22335 0 -1 4202560 62 0 0 0 43 0 0 0 20 0 28 0 147144154 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706096788456 139706583427904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22785] ppid=22761 vsize=26538700 memory=10 CPUtime=0.46 cores=0-7
/proc/22763/task/22785/stat : 22785 (java) R 22761 22761 22335 0 -1 4202560 477 0 0 0 41 5 0 0 20 0 28 0 147144154 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706095736520 139706585896348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22786] ppid=22761 vsize=26538700 memory=6935650355287975249 CPUtime=0.46 cores=0-7
/proc/22763/task/22786/stat : 22786 (java) R 22761 22761 22335 0 -1 4202560 109 0 0 0 46 0 0 0 20 0 28 0 147144154 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706094684264 139706582643795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22787] ppid=22761 vsize=26538700 memory=4640213432805465251 CPUtime=0.34 cores=0-7
/proc/22763/task/22787/stat : 22787 (java) R 22761 22761 22335 0 -1 4202560 98 0 0 0 34 0 0 0 20 0 28 0 147144154 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139706093631720 139706585973051 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22788] ppid=22761 vsize=26538700 memory=7 CPUtime=0.48 cores=0-7
/proc/22763/task/22788/stat : 22788 (java) R 22761 22761 22335 0 -1 4202560 147 0 0 0 47 1 0 0 20 0 28 0 147144154 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139705169984904 139706585896231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22789] ppid=22761 vsize=26538700 memory=280522838209456 CPUtime=0.38 cores=0-7
/proc/22763/task/22789/stat : 22789 (java) R 22761 22761 22335 0 -1 4202560 51 0 0 0 38 0 0 0 20 0 28 0 147144154 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139705168937448 139706974026132 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22790] ppid=22761 vsize=26538700 memory=6791534058613427641 CPUtime=0.46 cores=0-7
/proc/22763/task/22790/stat : 22790 (java) R 22761 22761 22335 0 -1 1077944384 85 0 0 0 46 0 0 0 20 0 28 0 147144154 27175628800 2825747 33554432000 4194304 4196468 140727563819440 139705167883760 139706987968213 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
Current children cumulated CPU time: 366.71 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11304372 KiB
[startup+76.4016 s]
/proc/loadavg: 4.38 2.27 2.30 13/207 22790
/proc/meminfo: memFree=15751368/32770624 swapFree=67108860/67108860
[pid=22761] ppid=22758 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22761/stat : 22761 (xcsp3-exec) S 22758 22761 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147136640 9740288 346 33554432000 4194304 5098028 140721989297040 140721989295144 140614706770556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15532032 140721989305445 140721989305655 140721989305655 140721989308395 0
/proc/22761/statm: 2378 346 289 221 0 87 0
[pid=22763] ppid=22761 vsize=26538700 memory=11303160 CPUtime=369.81 cores=0-7
/proc/22763/stat : 22763 (java) S 22761 22761 22335 0 -1 1077944320 187120 0 0 0 34554 2427 0 0 20 0 28 0 147136640 27175628800 2825790 33554432000 4194304 4196468 140727563819440 140727563801984 139706987958007 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
/proc/22763/statm: 6634675 2825790 3278 1 0 6621909 0
[pid=22763/tid=22764] ppid=22761 vsize=26538700 memory=2240 CPUtime=31.41 cores=0-7
/proc/22763/task/22764/stat : 22764 (java) S 22761 22761 22335 0 -1 1077944384 16066 0 0 0 3126 15 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706992198784 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22765] ppid=22761 vsize=26538700 memory=4128 CPUtime=40.78 cores=0-7
/proc/22763/task/22765/stat : 22765 (java) R 22761 22761 22335 0 -1 4202560 16534 0 0 0 3779 299 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706910538400 139706972406219 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22766] ppid=22761 vsize=26538700 memory=1572 CPUtime=40.76 cores=0-7
/proc/22763/task/22766/stat : 22766 (java) R 22761 22761 22335 0 -1 4202560 11799 0 0 0 3778 298 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706909486168 139706967154072 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22767] ppid=22761 vsize=26538700 memory=932 CPUtime=40.73 cores=0-7
/proc/22763/task/22767/stat : 22767 (java) R 22761 22761 22335 0 -1 4202560 12831 0 0 0 3811 262 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706908433624 139706972985426 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22768] ppid=22761 vsize=26538700 memory=2200 CPUtime=40.66 cores=0-7
/proc/22763/task/22768/stat : 22768 (java) R 22761 22761 22335 0 -1 4202560 11892 0 0 0 3765 301 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706907381080 139706972980128 0 4 0 16800975 0 0 0 -1 7 0 0 32 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22769] ppid=22761 vsize=26538700 memory=6791534058613427641 CPUtime=40.84 cores=0-7
/proc/22763/task/22769/stat : 22769 (java) R 22761 22761 22335 0 -1 4202560 11611 0 0 0 3774 310 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706906327512 139706972980128 0 4 0 16800975 0 0 0 -1 4 0 0 26 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22770] ppid=22761 vsize=26538700 memory=-7003737579269690708 CPUtime=40.65 cores=0-7
/proc/22763/task/22770/stat : 22770 (java) R 22761 22761 22335 0 -1 4202560 15619 0 0 0 3764 301 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706905274968 139706969584039 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22771] ppid=22761 vsize=26538700 memory=956 CPUtime=40.69 cores=0-7
/proc/22763/task/22771/stat : 22771 (java) R 22761 22761 22335 0 -1 4202560 11255 0 0 0 3768 301 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706904222424 139706981061324 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22772] ppid=22761 vsize=26538700 memory=2424 CPUtime=40.82 cores=0-7
/proc/22763/task/22772/stat : 22772 (java) R 22761 22761 22335 0 -1 4202560 13669 0 0 0 3788 294 0 0 20 0 28 0 147136641 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706903169880 139706972985881 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22773] ppid=22761 vsize=26538700 memory=1236 CPUtime=2.58 cores=0-7
/proc/22763/task/22773/stat : 22773 (java) S 22761 22761 22335 0 -1 1077944384 37342 0 0 0 235 23 0 0 20 0 28 0 147136643 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706496074784 139706987968213 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22774] ppid=22761 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/22763/task/22774/stat : 22774 (java) S 22761 22761 22335 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 147136643 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706114270688 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22775] ppid=22761 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/22763/task/22775/stat : 22775 (java) S 22761 22761 22335 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 28 0 147136644 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706113218048 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22776] ppid=22761 vsize=26538700 memory=1572 CPUtime=0 cores=0-7
/proc/22763/task/22776/stat : 22776 (java) S 22761 22761 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147136646 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706112166608 139706987976603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22777] ppid=22761 vsize=26538700 memory=932 CPUtime=1.81 cores=0-7
/proc/22763/task/22777/stat : 22777 (java) S 22761 22761 22335 0 -1 1077944384 7918 0 0 0 179 2 0 0 20 0 28 0 147136646 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706111098192 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22778] ppid=22761 vsize=26538700 memory=2200 CPUtime=1.3 cores=0-7
/proc/22763/task/22778/stat : 22778 (java) S 22761 22761 22335 0 -1 1077944384 4940 0 0 0 129 1 0 0 20 0 28 0 147136646 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706110045648 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22779] ppid=22761 vsize=26538700 memory=7792 CPUtime=1.67 cores=0-7
/proc/22763/task/22779/stat : 22779 (java) S 22761 22761 22335 0 -1 1077944384 7095 0 0 0 166 1 0 0 20 0 28 0 147136646 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706108993104 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22780] ppid=22761 vsize=26538700 memory=840 CPUtime=0.69 cores=0-7
/proc/22763/task/22780/stat : 22780 (java) S 22761 22761 22335 0 -1 1077944384 5409 0 0 0 67 2 0 0 20 0 28 0 147136646 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706107955568 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22781] ppid=22761 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/22763/task/22781/stat : 22781 (java) S 22761 22761 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147136646 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706106903264 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22782] ppid=22761 vsize=26538700 memory=916 CPUtime=0.02 cores=0-7
/proc/22763/task/22782/stat : 22782 (java) S 22761 22761 22335 0 -1 1077944384 525 0 0 0 1 1 0 0 20 0 28 0 147136646 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706105850800 139706987969154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22783] ppid=22761 vsize=26538700 memory=6791534058613427641 CPUtime=0.46 cores=0-7
/proc/22763/task/22783/stat : 22783 (java) S 22761 22761 22335 0 -1 1077944384 112 0 0 0 46 0 0 0 20 0 28 0 147144153 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706097842112 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22784] ppid=22761 vsize=26538700 memory=840 CPUtime=0.54 cores=0-7
/proc/22763/task/22784/stat : 22784 (java) S 22761 22761 22335 0 -1 1077944384 63 0 0 0 54 0 0 0 20 0 28 0 147144154 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706096787952 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22785] ppid=22761 vsize=26538700 memory=1692 CPUtime=0.56 cores=0-7
/proc/22763/task/22785/stat : 22785 (java) S 22761 22761 22335 0 -1 1077944384 498 0 0 0 51 5 0 0 20 0 28 0 147144154 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706095734272 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22786] ppid=22761 vsize=26538700 memory=916 CPUtime=0.52 cores=0-7
/proc/22763/task/22786/stat : 22786 (java) S 22761 22761 22335 0 -1 1077944384 109 0 0 0 52 0 0 0 20 0 28 0 147144154 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706094685472 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22787] ppid=22761 vsize=26538700 memory=4748 CPUtime=0.44 cores=0-7
/proc/22763/task/22787/stat : 22787 (java) S 22761 22761 22335 0 -1 1077944384 99 0 0 0 44 0 0 0 20 0 28 0 147144154 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139706093629184 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22788] ppid=22761 vsize=26538700 memory=4096 CPUtime=0.59 cores=0-7
/proc/22763/task/22788/stat : 22788 (java) S 22761 22761 22335 0 -1 1077944384 148 0 0 0 58 1 0 0 20 0 28 0 147144154 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139705169993280 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22789] ppid=22761 vsize=26538700 memory=1152 CPUtime=0.49 cores=0-7
/proc/22763/task/22789/stat : 22789 (java) S 22761 22761 22335 0 -1 1077944384 51 0 0 0 49 0 0 0 20 0 28 0 147144154 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139705168936880 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
[pid=22763/tid=22790] ppid=22761 vsize=26538700 memory=3112 CPUtime=0.57 cores=0-7
/proc/22763/task/22790/stat : 22790 (java) S 22761 22761 22335 0 -1 1077944384 85 0 0 0 57 0 0 0 20 0 28 0 147144154 27175628800 2825790 33554432000 4194304 4196468 140727563819440 139705167884528 139706987968213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 11079680 140727563826322 140727563826499 140727563826499 140727563829199 0
Current children cumulated CPU time: 369.81 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 11304544 KiB
[startup+76.8012 s]
/proc/loadavg: 4.38 2.27 2.30 13/207 22790
/proc/meminfo: memFree=15751368/32770624 swapFree=67108860/67108860
[pid=22761] ppid=22758 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22761/stat : 22761 (xcsp3-exec) S 22758 22761 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147136640 9740288 346 33554432000 4194304 5098028 140721989297040 140721989295144 140614706770556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15532032 140721989305445 140721989305655 140721989305655 140721989308395 0
/proc/22761/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 76.8281
CPU time (s): 372.523
CPU user time (s): 348.187
CPU system time (s): 24.3364
CPU usage (%): 484.879
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 11503084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 348.187
system time used= 24.3364
maximum resident set size= 11509892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15355
involuntary context switches= 7916
# summary of solver processes directly reported to runsolver:
# pid: 22761
# total CPU time (s): 372.523
# total CPU user time (s): 348.187
# total CPU system time (s): 24.3364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.575029 second user time and 0.819992 second system time
The end
Begin job on node107 at 2017-08-19 12:47:07
IDJOB=4281082
IDBENCH=126553
IDSOLVER=2675
FILE ID=node107/4281082-1503140487
RUNJOBID= node107-1503136251-22362
PBS_JOBID= 20630792
Free space on /tmp= 61868 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-9-3-5-cp.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-4281082-1503140487/watcher-4281082-1503140487 -o /tmp/evaluation-result-4281082-1503140487/solver-4281082-1503140487 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503136251-22362 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 311621684 HOME/instance-4281082-1503140487.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0eeb94d3c32d9a0ecc0d968e8c219d20
RANDOM SEED=311621684
node107.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.84
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.84
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.84
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.84
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: 27062428 kB
MemAvailable: 31977600 kB
Buffers: 264052 kB
Cached: 4944672 kB
SwapCached: 0 kB
Active: 828712 kB
Inactive: 4433260 kB
Active(anon): 56172 kB
Inactive(anon): 33132 kB
Active(file): 772540 kB
Inactive(file): 4400128 kB
Unevictable: 7640 kB
Mlocked: 7640 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7872 kB
Writeback: 0 kB
AnonPages: 60648 kB
Mapped: 51176 kB
Shmem: 33420 kB
Slab: 142528 kB
SReclaimable: 116680 kB
SUnreclaim: 25848 kB
KernelStack: 3152 kB
PageTables: 4752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 91520 kB
DirectMap2M: 33454080 kB
Free space on /tmp at the end= 61860 MiB
End job on node107 at 2017-08-19 12:48:24