0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399808-1568702588.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4399808-1568702588.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.29 c parse instance...
1.78/0.77 c solve instance...
2.88/0.96 o 1
3.40/1.06 s OPTIMUM FOUND
3.40/1.06 v <instantiation>
3.40/1.06 v <list>z 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[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[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[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[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[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] </list>
3.40/1.06 v <values>1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 </values>
3.40/1.06 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 (14891 MiB free)
memory of node 1: 16384 MiB (15299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399808-1568702588/watcher-4399808-1568702588 -o /tmp/evaluation-result-4399808-1568702588/solver-4399808-1568702588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 583451284 HOME/instance-4399808-1568702588.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28667, runsolver pid=28664
[startup+0.100115 s]*
/proc/loadavg: 3.08 1.57 1.79 2/212 28688
/proc/meminfo: memFree=30898232/32770624 swapFree=66922436/67108860
[pid=28667] ppid=28664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28667/stat : 28667 (xcsp3-exec) S 28664 28667 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446196698 115843072 364 33554432000 4194304 5098028 140722162596368 140722162594472 139987550491260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37765120 140722162598774 140722162599017 140722162599017 140722162601930 0
/proc/28667/statm: 28282 364 305 221 0 87 0
[pid=28669] ppid=28667 vsize=28227396 memory=29940 CPUtime=0.12 cores=0-7
/proc/28669/stat : 28669 (java) S 28667 28667 27597 0 -1 1077944320 5888 0 0 0 11 1 0 0 20 0 20 0 446196699 28904853504 7485 33554432000 4194304 4196468 140733743091472 140733743074016 140093246873335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
/proc/28669/statm: 7056849 7485 3145 1 0 7019032 0
[pid=28669/tid=28670] ppid=28667 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/28669/task/28670/stat : 28670 (java) R 28667 28667 27597 0 -1 4202560 3803 0 0 0 8 0 0 0 20 0 20 0 446196699 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093251106608 140093228267475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28671] ppid=28667 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/28669/task/28671/stat : 28671 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093199493648 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28672] ppid=28667 vsize=28227396 memory=139827942532736 CPUtime=0 cores=0-7
/proc/28669/task/28672/stat : 28672 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093198441104 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28673] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28673/stat : 28673 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093197388048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28674] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28674/stat : 28674 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093196335504 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28675] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28675/stat : 28675 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093195283472 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28676] ppid=28667 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28669/task/28676/stat : 28676 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093194230928 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28677] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28677/stat : 28677 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093193177872 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28678] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28678/stat : 28678 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 7485 33554432000 4194304 4196468 140733743091472 140093192125328 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28679] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28679/stat : 28679 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196701 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091374659824 140093246884482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28680] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28680/stat : 28680 (java) S 28667 28667 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446196702 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091373606048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28681] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28681/stat : 28681 (java) S 28667 28667 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446196702 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091372552944 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28682] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28682/stat : 28682 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091371501520 140093246891931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28683] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28683/stat : 28683 (java) R 28667 28667 27597 0 -1 4202560 426 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091370449648 140093246885270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28684] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28684/stat : 28684 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091369397104 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28685] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28685/stat : 28685 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091368344144 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28686] ppid=28667 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28669/task/28686/stat : 28686 (java) R 28667 28667 27597 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 446196705 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091367291504 140093225858047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28687] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28687/stat : 28687 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091366238688 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28688] ppid=28667 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28669/task/28688/stat : 28688 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 7485 33554432000 4194304 4196468 140733743091472 140091056806576 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31396 KiB
[startup+0.210131 s]*
/proc/loadavg: 3.08 1.57 1.79 2/212 28688
/proc/meminfo: memFree=30885968/32770624 swapFree=66922436/67108860
[pid=28667] ppid=28664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28667/stat : 28667 (xcsp3-exec) S 28664 28667 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446196698 115843072 364 33554432000 4194304 5098028 140722162596368 140722162594472 139987550491260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37765120 140722162598774 140722162599017 140722162599017 140722162601930 0
/proc/28667/statm: 28282 364 305 221 0 87 0
[pid=28669] ppid=28667 vsize=28227396 memory=40896 CPUtime=0.33 cores=0-7
/proc/28669/stat : 28669 (java) S 28667 28667 27597 0 -1 1077944320 9492 0 0 0 31 2 0 0 20 0 20 0 446196699 28904853504 10224 33554432000 4194304 4196468 140733743091472 140733743074016 140093246873335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
/proc/28669/statm: 7056849 10224 3250 1 0 7019032 0
[pid=28669/tid=28670] ppid=28667 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28669/task/28670/stat : 28670 (java) R 28667 28667 27597 0 -1 4202560 6658 0 0 0 18 1 0 0 20 0 20 0 446196699 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093251103056 140093230953822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28671] ppid=28667 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/28669/task/28671/stat : 28671 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093199493648 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28672] ppid=28667 vsize=28227396 memory=139827945520140 CPUtime=0 cores=0-7
/proc/28669/task/28672/stat : 28672 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093198441104 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28673] ppid=28667 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28669/task/28673/stat : 28673 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093197388048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28674] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28674/stat : 28674 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093196335504 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28675] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28675/stat : 28675 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093195283472 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28676] ppid=28667 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28669/task/28676/stat : 28676 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093194230928 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28677] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28677/stat : 28677 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093193177872 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28678] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28678/stat : 28678 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28904853504 10224 33554432000 4194304 4196468 140733743091472 140093192125328 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28679] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28679/stat : 28679 (java) S 28667 28667 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446196701 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091374659824 140093246884482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28680] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28680/stat : 28680 (java) S 28667 28667 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446196702 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091373606048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28681] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28681/stat : 28681 (java) S 28667 28667 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446196702 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091372552944 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28682] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28682/stat : 28682 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091371501520 140093246891931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28683] ppid=28667 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/28669/task/28683/stat : 28683 (java) S 28667 28667 27597 0 -1 1077944384 677 0 0 0 2 0 0 0 20 0 20 0 446196705 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091370449648 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28684] ppid=28667 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28669/task/28684/stat : 28684 (java) S 28667 28667 27597 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 446196705 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091369397104 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28685] ppid=28667 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/28669/task/28685/stat : 28685 (java) S 28667 28667 27597 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 446196705 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091368344048 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28686] ppid=28667 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/28669/task/28686/stat : 28686 (java) S 28667 28667 27597 0 -1 1077944384 734 0 0 0 7 0 0 0 20 0 20 0 446196705 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091367291504 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28687] ppid=28667 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28687/stat : 28687 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091366238688 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28688] ppid=28667 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28669/task/28688/stat : 28688 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28904853504 10224 33554432000 4194304 4196468 140733743091472 140091056806576 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42352 KiB
[startup+0.309609 s]*
/proc/loadavg: 2.84 1.54 1.78 4/212 28688
/proc/meminfo: memFree=30879080/32770624 swapFree=66922436/67108860
[pid=28667] ppid=28664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28667/stat : 28667 (xcsp3-exec) S 28664 28667 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446196698 115843072 364 33554432000 4194304 5098028 140722162596368 140722162594472 139987550491260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37765120 140722162598774 140722162599017 140722162599017 140722162601930 0
/proc/28667/statm: 28282 364 305 221 0 87 0
[pid=28669] ppid=28667 vsize=28231652 memory=49932 CPUtime=0.52 cores=0-7
/proc/28669/stat : 28669 (java) S 28667 28667 27597 0 -1 1077944320 10881 0 0 0 49 3 0 0 20 0 20 0 446196699 28909211648 12483 33554432000 4194304 4196468 140733743091472 140733743074016 140093246873335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
/proc/28669/statm: 7057913 12483 3353 1 0 7019032 0
[pid=28669/tid=28670] ppid=28667 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/28669/task/28670/stat : 28670 (java) R 28667 28667 27597 0 -1 4202560 7754 0 0 0 27 2 0 0 20 0 20 0 446196699 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093251104448 140093246895261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28671] ppid=28667 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28671/stat : 28671 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093199493648 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28672] ppid=28667 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28672/stat : 28672 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196700 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093198441104 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28673] ppid=28667 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28673/stat : 28673 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093197388048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28674] ppid=28667 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28674/stat : 28674 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196700 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093196335504 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28675] ppid=28667 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28675/stat : 28675 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093195283472 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28676] ppid=28667 vsize=28231652 memory=139827827796655 CPUtime=0 cores=0-7
/proc/28669/task/28676/stat : 28676 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093194230928 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28677] ppid=28667 vsize=28231652 memory=139827827798960 CPUtime=0 cores=0-7
/proc/28669/task/28677/stat : 28677 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196700 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093193177872 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28678] ppid=28667 vsize=28231652 memory=139827827801264 CPUtime=0 cores=0-7
/proc/28669/task/28678/stat : 28678 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28909211648 12522 33554432000 4194304 4196468 140733743091472 140093192125328 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28679] ppid=28667 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28679/stat : 28679 (java) S 28667 28667 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446196701 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091374659824 140093246884482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28680] ppid=28667 vsize=28231652 memory=279655655616400 CPUtime=0 cores=0-7
/proc/28669/task/28680/stat : 28680 (java) S 28667 28667 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446196702 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091373606048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28681] ppid=28667 vsize=28231652 memory=279655655614096 CPUtime=0 cores=0-7
/proc/28669/task/28681/stat : 28681 (java) S 28667 28667 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446196702 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091372552944 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28682] ppid=28667 vsize=28231652 memory=279655655621008 CPUtime=0 cores=0-7
/proc/28669/task/28682/stat : 28682 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091371501520 140093246891931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28683] ppid=28667 vsize=28231652 memory=279655655562288 CPUtime=0.03 cores=0-7
/proc/28669/task/28683/stat : 28683 (java) S 28667 28667 27597 0 -1 1077944384 690 0 0 0 3 0 0 0 20 0 20 0 446196705 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091370449648 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28684] ppid=28667 vsize=28231652 memory=279655655634832 CPUtime=0.02 cores=0-7
/proc/28669/task/28684/stat : 28684 (java) S 28667 28667 27597 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 20 0 446196705 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091369397104 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28685] ppid=28667 vsize=28231652 memory=279655655641744 CPUtime=0.03 cores=0-7
/proc/28669/task/28685/stat : 28685 (java) R 28667 28667 27597 0 -1 4202560 198 0 0 0 3 0 0 0 20 0 20 0 446196705 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091368334432 140093224525200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28686] ppid=28667 vsize=28231652 memory=279655655639440 CPUtime=0.12 cores=0-7
/proc/28669/task/28686/stat : 28686 (java) S 28667 28667 27597 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 20 0 446196705 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091367291504 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28687] ppid=28667 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28687/stat : 28687 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196705 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091366238688 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28688] ppid=28667 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28669/task/28688/stat : 28688 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28909211648 12522 33554432000 4194304 4196468 140733743091472 140091056806576 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51388 KiB
[startup+0.700908 s]
/proc/loadavg: 2.84 1.54 1.78 4/212 28688
/proc/meminfo: memFree=30865264/32770624 swapFree=66922436/67108860
[pid=28667] ppid=28664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28667/stat : 28667 (xcsp3-exec) S 28664 28667 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446196698 115843072 364 33554432000 4194304 5098028 140722162596368 140722162594472 139987550491260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37765120 140722162598774 140722162599017 140722162599017 140722162601930 0
/proc/28667/statm: 28282 364 305 221 0 87 0
[pid=28669] ppid=28667 vsize=28233776 memory=94972 CPUtime=1.78 cores=0-7
/proc/28669/stat : 28669 (java) S 28667 28667 27597 0 -1 1077944320 14903 0 0 0 173 5 0 0 20 0 20 0 446196699 28911386624 23743 33554432000 4194304 4196468 140733743091472 140733743074016 140093246873335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
/proc/28669/statm: 7058444 23743 3457 1 0 7019544 0
[pid=28669/tid=28670] ppid=28667 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/28669/task/28670/stat : 28670 (java) R 28667 28667 27597 0 -1 4202560 9215 0 0 0 65 3 0 0 20 0 20 0 446196699 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093251109248 140093246885270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28671] ppid=28667 vsize=28233776 memory=139827828007792 CPUtime=0 cores=0-7
/proc/28669/task/28671/stat : 28671 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093199493648 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28672] ppid=28667 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28672/stat : 28672 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196700 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093198441104 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28673] ppid=28667 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/28669/task/28673/stat : 28673 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093197388048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28674] ppid=28667 vsize=28233776 memory=1172 CPUtime=0 cores=0-7
/proc/28669/task/28674/stat : 28674 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196700 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093196335504 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28675] ppid=28667 vsize=28233776 memory=14008 CPUtime=0 cores=0-7
/proc/28669/task/28675/stat : 28675 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093195283472 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28676] ppid=28667 vsize=28233776 memory=14076 CPUtime=0 cores=0-7
/proc/28669/task/28676/stat : 28676 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093194230928 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28677] ppid=28667 vsize=28233776 memory=2116 CPUtime=0 cores=0-7
/proc/28669/task/28677/stat : 28677 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446196700 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093193177872 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28678] ppid=28667 vsize=28233776 memory=13100 CPUtime=0 cores=0-7
/proc/28669/task/28678/stat : 28678 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196700 28911386624 23743 33554432000 4194304 4196468 140733743091472 140093192125328 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28679] ppid=28667 vsize=28233776 memory=528 CPUtime=0 cores=0-7
/proc/28669/task/28679/stat : 28679 (java) S 28667 28667 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446196701 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091374659824 140093246884482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28680] ppid=28667 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/28669/task/28680/stat : 28680 (java) S 28667 28667 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446196702 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091373606048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28681] ppid=28667 vsize=28233776 memory=932 CPUtime=0 cores=0-7
/proc/28669/task/28681/stat : 28681 (java) S 28667 28667 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446196702 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091372552944 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28682] ppid=28667 vsize=28233776 memory=1492 CPUtime=0 cores=0-7
/proc/28669/task/28682/stat : 28682 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091371501520 140093246891931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28683] ppid=28667 vsize=28233776 memory=33 CPUtime=0.22 cores=0-7
/proc/28669/task/28683/stat : 28683 (java) R 28667 28667 27597 0 -1 4202560 1424 0 0 0 22 0 0 0 20 0 20 0 446196705 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091370449648 140093246894682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28684] ppid=28667 vsize=28233776 memory=-2025810976467231676 CPUtime=0.21 cores=0-7
/proc/28669/task/28684/stat : 28684 (java) R 28667 28667 27597 0 -1 4202560 670 0 0 0 21 0 0 0 20 0 20 0 446196705 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091369386896 140093231997376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28685] ppid=28667 vsize=28233776 memory=5972 CPUtime=0.23 cores=0-7
/proc/28669/task/28685/stat : 28685 (java) S 28667 28667 27597 0 -1 1077944384 496 0 0 0 23 0 0 0 20 0 20 0 446196705 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091368344048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28686] ppid=28667 vsize=28233776 memory=588 CPUtime=0.41 cores=0-7
/proc/28669/task/28686/stat : 28686 (java) R 28667 28667 27597 0 -1 4202560 1787 0 0 0 40 1 0 0 20 0 20 0 446196705 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091367285888 140093239970171 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28687] ppid=28667 vsize=28233776 memory=780 CPUtime=0 cores=0-7
/proc/28669/task/28687/stat : 28687 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446196705 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091366238688 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28688] ppid=28667 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/28669/task/28688/stat : 28688 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446196705 28911386624 23743 33554432000 4194304 4196468 140733743091472 140091056806576 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 96428 KiB
[startup+1.19208 s]
# the end of solver process 28667 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.34128 s, system=0.082225 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.810602 s]
/proc/loadavg: 2.84 1.54 1.78 4/212 28688
/proc/meminfo: memFree=30865264/32770624 swapFree=66922436/67108860
[pid=28667] ppid=28664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28667/stat : 28667 (xcsp3-exec) S 28664 28667 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446196698 115843072 364 33554432000 4194304 5098028 140722162596368 140722162594472 139987550491260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37765120 140722162598774 140722162599017 140722162599017 140722162601930 0
/proc/28667/statm: 28282 364 305 221 0 87 0
[pid=28669] ppid=28667 vsize=28766288 memory=137552 CPUtime=2.22 cores=0-7
/proc/28669/stat : 28669 (java) S 28667 28667 27597 0 -1 1077944320 16052 0 0 0 216 6 0 0 20 0 28 0 446196699 29456678912 34388 33554432000 4194304 4196468 140733743091472 140733743074016 140093246873335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
/proc/28669/statm: 7191572 34388 3466 1 0 7152672 0
[pid=28669/tid=28670] ppid=28667 vsize=28766288 memory=2828 CPUtime=0.77 cores=0-7
/proc/28669/task/28670/stat : 28670 (java) S 28667 28667 27597 0 -1 1077944384 9342 0 0 0 74 3 0 0 20 0 28 0 446196699 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093251114112 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28671] ppid=28667 vsize=28766288 memory=1000 CPUtime=0 cores=0-7
/proc/28669/task/28671/stat : 28671 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446196700 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093199493648 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28672] ppid=28667 vsize=28766288 memory=1560 CPUtime=0 cores=0-7
/proc/28669/task/28672/stat : 28672 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446196700 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093198441104 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28673] ppid=28667 vsize=28766288 memory=1172 CPUtime=0 cores=0-7
/proc/28669/task/28673/stat : 28673 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446196700 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093197388048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28674] ppid=28667 vsize=28766288 memory=7014751519617078609 CPUtime=0 cores=0-7
/proc/28669/task/28674/stat : 28674 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446196700 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093196335504 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28675] ppid=28667 vsize=28766288 memory=6081104596516956522 CPUtime=0 cores=0-7
/proc/28669/task/28675/stat : 28675 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446196700 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093195283472 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28676] ppid=28667 vsize=28766288 memory=6154282490091891024 CPUtime=0 cores=0-7
/proc/28669/task/28676/stat : 28676 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446196700 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093194230928 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28677] ppid=28667 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28677/stat : 28677 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446196700 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093193177872 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28678] ppid=28667 vsize=28766288 memory=33 CPUtime=0 cores=0-7
/proc/28669/task/28678/stat : 28678 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446196700 29456678912 34388 33554432000 4194304 4196468 140733743091472 140093192125328 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28679] ppid=28667 vsize=28766288 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/28669/task/28679/stat : 28679 (java) S 28667 28667 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 446196701 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091374659824 140093246884482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28680] ppid=28667 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28680/stat : 28680 (java) S 28667 28667 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446196702 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091373606048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28681] ppid=28667 vsize=28766288 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/28669/task/28681/stat : 28681 (java) S 28667 28667 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 446196702 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091372552944 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28682] ppid=28667 vsize=28766288 memory=6296683616950112606 CPUtime=0 cores=0-7
/proc/28669/task/28682/stat : 28682 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446196705 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091371501520 140093246891931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28683] ppid=28667 vsize=28766288 memory=7523637450995688806 CPUtime=0.3 cores=0-7
/proc/28669/task/28683/stat : 28683 (java) D 28667 28667 27597 0 -1 4202560 1521 0 0 0 30 0 0 0 20 0 28 0 446196705 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091370435672 140093239110462 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28684] ppid=28667 vsize=28766288 memory=5859271421084521832 CPUtime=0.28 cores=0-7
/proc/28669/task/28684/stat : 28684 (java) D 28667 28667 27597 0 -1 4202560 934 0 0 0 28 0 0 0 20 0 28 0 446196705 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091369383128 140093228417058 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28685] ppid=28667 vsize=28766288 memory=5450916479880885802 CPUtime=0.31 cores=0-7
/proc/28669/task/28685/stat : 28685 (java) D 28667 28667 27597 0 -1 4202560 773 0 0 0 31 0 0 0 20 0 28 0 446196705 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091368325160 140093239162784 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28686] ppid=28667 vsize=28766288 memory=-6808994639057120388 CPUtime=0.47 cores=0-7
/proc/28669/task/28686/stat : 28686 (java) D 28667 28667 27597 0 -1 4202560 2002 0 0 0 46 1 0 0 20 0 28 0 446196705 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091367287760 140093239970171 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28687] ppid=28667 vsize=28766288 memory=-7457052372387209120 CPUtime=0 cores=0-7
/proc/28669/task/28687/stat : 28687 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446196705 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091366238688 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28688] ppid=28667 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28688/stat : 28688 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446196705 29456678912 34388 33554432000 4194304 4196468 140733743091472 140091056806576 140093246884482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 139008 KiB
[startup+1.00128 s]*
/proc/loadavg: 2.84 1.54 1.78 1/210 28704
/proc/meminfo: memFree=30753088/32770624 swapFree=66922436/67108860
[pid=28667] ppid=28664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28667/stat : 28667 (xcsp3-exec) S 28664 28667 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446196698 115843072 364 33554432000 4194304 5098028 140722162596368 140722162594472 139987550491260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37765120 140722162598774 140722162599017 140722162599017 140722162601930 0
/proc/28667/statm: 28282 364 305 221 0 87 0
[pid=28669] ppid=28667 vsize=28766288 memory=172424 CPUtime=3.4 cores=0-7
/proc/28669/stat : 28669 (java) S 28667 28667 27597 0 -1 1077944320 17687 0 0 0 333 7 0 0 20 0 18 0 446196699 29456678912 43106 33554432000 4194304 4196468 140733743091472 140733743074016 140093246873335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
/proc/28669/statm: 7191572 43106 3482 1 0 7152672 0
[pid=28669/tid=28670] ppid=28667 vsize=28766288 memory=120703167587562 CPUtime=0.77 cores=0-7
/proc/28669/task/28670/stat : 28670 (java) D 28667 28667 27597 0 -1 4202560 9349 0 0 0 74 3 0 0 20 0 18 0 446196699 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093251116344 140093239558967 0 0 0 16800975 18446744072100220037 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28671] ppid=28667 vsize=28766288 memory=279655655783076 CPUtime=0 cores=0-7
/proc/28669/task/28671/stat : 28671 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 446196700 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093199493648 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28672] ppid=28667 vsize=28766288 memory=3904814719190065079 CPUtime=0 cores=0-7
/proc/28669/task/28672/stat : 28672 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 446196700 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093198441104 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28673] ppid=28667 vsize=28766288 memory=2319406795981862450 CPUtime=0 cores=0-7
/proc/28669/task/28673/stat : 28673 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 446196700 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093197388048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28674] ppid=28667 vsize=28766288 memory=7309166713115274601 CPUtime=0 cores=0-7
/proc/28669/task/28674/stat : 28674 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 446196700 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093196335504 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28675] ppid=28667 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28675/stat : 28675 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 446196700 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093195283472 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28676] ppid=28667 vsize=28766288 memory=-1 CPUtime=0 cores=0-7
/proc/28669/task/28676/stat : 28676 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 446196700 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093194230928 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28677] ppid=28667 vsize=28766288 memory=29678448712876256 CPUtime=0 cores=0-7
/proc/28669/task/28677/stat : 28677 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 446196700 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093193177872 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28678] ppid=28667 vsize=28766288 memory=288230604660466583 CPUtime=0 cores=0-7
/proc/28669/task/28678/stat : 28678 (java) S 28667 28667 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 446196700 29456678912 43106 33554432000 4194304 4196468 140733743091472 140093192125328 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28680] ppid=28667 vsize=28766288 memory=2984013 CPUtime=0 cores=0-7
/proc/28669/task/28680/stat : 28680 (java) S 28667 28667 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 446196702 29456678912 43106 33554432000 4194304 4196468 140733743091472 140091373606048 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28681] ppid=28667 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28681/stat : 28681 (java) S 28667 28667 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 446196702 29456678912 43106 33554432000 4194304 4196468 140733743091472 140091372552944 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28682] ppid=28667 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28682/stat : 28682 (java) S 28667 28667 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 446196705 29456678912 43106 33554432000 4194304 4196468 140733743091472 140091371501168 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28683] ppid=28667 vsize=28766288 memory=0 CPUtime=0.42 cores=0-7
/proc/28669/task/28683/stat : 28683 (java) S 28667 28667 27597 0 -1 1077944384 1801 0 0 0 41 1 0 0 20 0 18 0 446196705 29456678912 43106 33554432000 4194304 4196468 140733743091472 140091370439008 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28684] ppid=28667 vsize=28766288 memory=0 CPUtime=0.39 cores=0-7
/proc/28669/task/28684/stat : 28684 (java) S 28667 28667 27597 0 -1 1077944384 1188 0 0 0 39 0 0 0 20 0 18 0 446196705 29456678912 43106 33554432000 4194304 4196468 140733743091472 140091369381616 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28685] ppid=28667 vsize=28766288 memory=0 CPUtime=0.45 cores=0-7
/proc/28669/task/28685/stat : 28685 (java) S 28667 28667 27597 0 -1 1077944384 1358 0 0 0 45 0 0 0 20 0 18 0 446196705 29456678912 43106 33554432000 4194304 4196468 140733743091472 140091368329008 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28686] ppid=28667 vsize=28766288 memory=0 CPUtime=0.55 cores=0-7
/proc/28669/task/28686/stat : 28686 (java) S 28667 28667 27597 0 -1 1077944384 2188 0 0 0 54 1 0 0 20 0 18 0 446196705 29456678912 43106 33554432000 4194304 4196468 140733743091472 140091367287376 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
[pid=28669/tid=28687] ppid=28667 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/28669/task/28687/stat : 28687 (java) S 28667 28667 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 446196705 29456678912 43106 33554432000 4194304 4196468 140733743091472 140091366238688 140093246883541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16990208 140733743096810 140733743096982 140733743096982 140733743099855 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 173880 KiB
[startup+1.11043 s]
/proc/loadavg: 2.84 1.54 1.78 1/210 28704
/proc/meminfo: memFree=30753088/32770624 swapFree=66922436/67108860
[pid=28667] ppid=28664 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28667/stat : 28667 (xcsp3-exec) S 28664 28667 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446196698 115843072 364 33554432000 4194304 5098028 140722162596368 140722162594472 139987550491260 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37765120 140722162598774 140722162599017 140722162599017 140722162601930 0
/proc/28667/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 0
Real time (s): 1.19213
CPU time (s): 3.42351
CPU user time (s): 3.34128
CPU system time (s): 0.082225
CPU usage (%): 287.176
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 173880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.34128
system time used= 0.082225
maximum resident set size= 173076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3020
involuntary context switches= 23
# summary of solver processes directly reported to runsolver:
# pid: 28667
# total CPU time (s): 3.42351
# total CPU user time (s): 3.34128
# total CPU system time (s): 0.082225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038043 second user time and 0.047943 second system time
The end
Begin job on node141 at 2019-09-17 08:42:26
IDJOB=4399808
IDBENCH=122978
IDSOLVER=2854
FILE ID=node141/4399808-1568702588
RUNJOBID= node141-1568702487-27624
PBS_JOBID= 21703919
Free space on /tmp= 58544 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-15-015-004.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399808-1568702588/watcher-4399808-1568702588 -o /tmp/evaluation-result-4399808-1568702588/solver-4399808-1568702588 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 583451284 HOME/instance-4399808-1568702588.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 1a7c138b4bdf03d361f31c5b4036df8a
RANDOM SEED=583451284
node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
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: 30915044 kB
MemAvailable: 31826304 kB
Buffers: 229980 kB
Cached: 977788 kB
SwapCached: 77736 kB
Active: 563540 kB
Inactive: 725980 kB
Active(anon): 10172 kB
Inactive(anon): 114804 kB
Active(file): 553368 kB
Inactive(file): 611176 kB
Unevictable: 109460 kB
Mlocked: 109460 kB
SwapTotal: 67108860 kB
SwapFree: 66922436 kB
Dirty: 26680 kB
Writeback: 0 kB
AnonPages: 130076 kB
Mapped: 43076 kB
Shmem: 34616 kB
Slab: 155380 kB
SReclaimable: 125100 kB
SUnreclaim: 30280 kB
KernelStack: 3728 kB
PageTables: 6052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506496 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 83968 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 128384 kB
DirectMap2M: 33417216 kB
Free space on /tmp at the end= 58516 MiB
End job on node141 at 2019-09-17 08:42:28