0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404728-1569002137.xml" -tl '20160s' -p 8
0.12/0.18 c Choco 3fb4b153
0.12/0.18 c [HOME/instance-4404728-1569002137.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.29 c parse instance...
0.71/0.47 c solve instance...
0.71/0.49 o 181
0.71/0.51 o 199
0.71/0.51 o 213
0.71/0.51 o 364
1.05/0.52 o 368
1.05/0.53 o 383
1.05/0.53 o 397
1.05/0.53 o 406
1.05/0.53 o 448
1.05/0.54 o 453
1.05/0.54 o 472
1.05/0.54 o 486
1.05/0.54 o 487
1.05/0.54 o 537
1.05/0.54 o 539
1.05/0.54 o 572
1.05/0.54 o 573
1.05/0.55 o 581
1.05/0.55 o 599
1.05/0.55 o 602
1.05/0.55 o 614
1.05/0.55 o 617
1.05/0.55 o 667
1.05/0.56 o 681
1.05/0.56 o 681
1.05/0.56 o 703
1.05/0.56 o 712
1.05/0.56 o 740
1.05/0.57 o 760
1.05/0.57 o 761
1.05/0.57 o 769
1.05/0.57 o 785
1.05/0.58 o 868
1.05/0.60 o 883
1.05/0.61 o 907
1.54/0.62 o 927
1.54/0.67 o 966
1.54/0.69 o 969
2.18/0.70 o 975
2.18/0.71 o 989
2.18/0.73 o 993
2.18/0.75 o 997
2.18/0.78 o 1032
2.18/0.79 o 1045
2.89/0.80 o 1053
2.89/0.82 o 1056
2.89/0.84 o 1069
2.89/0.84 o 1112
3.63/0.93 o 1120
4.42/1.09 o 1121
179.10/24.12 s OPTIMUM FOUND
179.10/24.12 v <instantiation>
179.10/24.12 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] </list>
179.10/24.12 v <values>1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 </values>
179.10/24.12 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 (9726 MiB free)
memory of node 1: 16384 MiB (8265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404728-1569002137/watcher-4404728-1569002137 -o /tmp/evaluation-result-4404728-1569002137/solver-4404728-1569002137 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 395036411 HOME/instance-4404728-1569002137.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=18639, runsolver pid=18636
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 6.22 7.59 8.00 3/210 18660
/proc/meminfo: memFree=18407832/32770624 swapFree=66986244/67108860
[pid=18639] ppid=18636 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18639/stat : 18639 (xcsp3-exec) S 18636 18639 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470563 115843072 364 33554432000 4194304 5098028 140731665184320 140731665182424 140638654259836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35192832 140731665191798 140731665192041 140731665192041 140731665194954 0
/proc/18639/statm: 28282 364 305 221 0 87 0
[pid=18641] ppid=18639 vsize=28227396 memory=28984 CPUtime=0.12 cores=0-7
/proc/18641/stat : 18641 (java) S 18639 18639 14667 0 -1 1077944320 5707 0 0 0 11 1 0 0 20 0 20 0 476470563 28904853504 7246 33554432000 4194304 4196468 140725687271712 140725687254256 140643730820855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
/proc/18641/statm: 7056849 7246 3124 1 0 7019032 0
[pid=18641/tid=18642] ppid=18639 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/18641/task/18642/stat : 18642 (java) S 18639 18639 14667 0 -1 1077944384 3628 0 0 0 8 0 0 0 20 0 20 0 476470563 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643735053632 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18643] ppid=18639 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/18641/task/18643/stat : 18643 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643683441680 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18644] ppid=18639 vsize=28227396 memory=140655537399424 CPUtime=0 cores=0-7
/proc/18641/task/18644/stat : 18644 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643682389136 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18645] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18645/stat : 18645 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643681336080 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18646] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18646/stat : 18646 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643680283536 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18647] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18647/stat : 18647 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643679230480 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18648] ppid=18639 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18641/task/18648/stat : 18648 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643678177936 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18649] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18649/stat : 18649 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643677124880 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18650] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18650/stat : 18650 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 7246 33554432000 4194304 4196468 140725687271712 140643676072336 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18651] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18651/stat : 18651 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470566 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641926400752 140643730832002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18652] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18652/stat : 18652 (java) S 18639 18639 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476470566 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641858217632 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18653] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18653/stat : 18653 (java) S 18639 18639 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476470566 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641857164528 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18654] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18654/stat : 18654 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641856113104 140643730839451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18655] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18655/stat : 18655 (java) S 18639 18639 14667 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641855060208 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18656] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18656/stat : 18656 (java) S 18639 18639 14667 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641854007664 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18657] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18657/stat : 18657 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641852954608 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18658] ppid=18639 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18641/task/18658/stat : 18658 (java) R 18639 18639 14667 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 20 0 476470569 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641851902064 140643730832790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18659] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18659/stat : 18659 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641850850272 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18660] ppid=18639 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18641/task/18660/stat : 18660 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 7246 33554432000 4194304 4196468 140725687271712 140641849797808 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30440 KiB
[startup+0.210058 s]*
/proc/loadavg: 6.22 7.59 8.00 2/210 18660
/proc/meminfo: memFree=18395528/32770624 swapFree=66986244/67108860
[pid=18639] ppid=18636 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18639/stat : 18639 (xcsp3-exec) S 18636 18639 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470563 115843072 364 33554432000 4194304 5098028 140731665184320 140731665182424 140638654259836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35192832 140731665191798 140731665192041 140731665192041 140731665194954 0
/proc/18639/statm: 28282 364 305 221 0 87 0
[pid=18641] ppid=18639 vsize=28227396 memory=40396 CPUtime=0.34 cores=0-7
/proc/18641/stat : 18641 (java) S 18639 18639 14667 0 -1 1077944320 9351 0 0 0 31 3 0 0 20 0 20 0 476470563 28904853504 10099 33554432000 4194304 4196468 140725687271712 140725687254256 140643730820855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
/proc/18641/statm: 7056849 10099 3289 1 0 7019032 0
[pid=18641/tid=18642] ppid=18639 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18641/task/18642/stat : 18642 (java) R 18639 18639 14667 0 -1 4202560 6592 0 0 0 18 2 0 0 20 0 20 0 476470563 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643735049568 140643730842781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18643] ppid=18639 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/18641/task/18643/stat : 18643 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643683441680 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18644] ppid=18639 vsize=28227396 memory=140655540791100 CPUtime=0 cores=0-7
/proc/18641/task/18644/stat : 18644 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643682389136 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18645] ppid=18639 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18641/task/18645/stat : 18645 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643681336080 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18646] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18646/stat : 18646 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643680283536 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18647] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18647/stat : 18647 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643679230480 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18648] ppid=18639 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18641/task/18648/stat : 18648 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643678177936 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18649] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18649/stat : 18649 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643677124880 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18650] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18650/stat : 18650 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28904853504 10099 33554432000 4194304 4196468 140725687271712 140643676072336 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18651] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18651/stat : 18651 (java) S 18639 18639 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476470566 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641926400752 140643730832002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18652] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18652/stat : 18652 (java) S 18639 18639 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476470566 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641858217632 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18653] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18653/stat : 18653 (java) S 18639 18639 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476470566 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641857164528 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18654] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18654/stat : 18654 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641856113104 140643730839451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18655] ppid=18639 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18641/task/18655/stat : 18655 (java) S 18639 18639 14667 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 20 0 476470569 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641855060208 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18656] ppid=18639 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18641/task/18656/stat : 18656 (java) S 18639 18639 14667 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 20 0 476470569 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641854007664 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18657] ppid=18639 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/18641/task/18657/stat : 18657 (java) S 18639 18639 14667 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 20 0 476470569 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641852954608 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18658] ppid=18639 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/18641/task/18658/stat : 18658 (java) S 18639 18639 14667 0 -1 1077944384 791 0 0 0 7 0 0 0 20 0 20 0 476470569 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641851902064 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18659] ppid=18639 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18659/stat : 18659 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641850850272 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18660] ppid=18639 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18641/task/18660/stat : 18660 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470569 28904853504 10099 33554432000 4194304 4196468 140725687271712 140641849797808 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41852 KiB
[startup+0.309704 s]*
/proc/loadavg: 6.22 7.59 8.00 4/210 18660
/proc/meminfo: memFree=18390552/32770624 swapFree=66986244/67108860
[pid=18639] ppid=18636 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18639/stat : 18639 (xcsp3-exec) S 18636 18639 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470563 115843072 364 33554432000 4194304 5098028 140731665184320 140731665182424 140638654259836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35192832 140731665191798 140731665192041 140731665192041 140731665194954 0
/proc/18639/statm: 28282 364 305 221 0 87 0
[pid=18641] ppid=18639 vsize=28231652 memory=49632 CPUtime=0.52 cores=0-7
/proc/18641/stat : 18641 (java) S 18639 18639 14667 0 -1 1077944320 10768 0 0 0 48 4 0 0 20 0 20 0 476470563 28909211648 12408 33554432000 4194304 4196468 140725687271712 140725687254256 140643730820855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
/proc/18641/statm: 7057913 12408 3364 1 0 7019032 0
[pid=18641/tid=18642] ppid=18639 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/18641/task/18642/stat : 18642 (java) R 18639 18639 14667 0 -1 4202560 7693 0 0 0 27 3 0 0 20 0 20 0 476470563 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643735054640 140643714901342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18643] ppid=18639 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18643/stat : 18643 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643683441680 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18644] ppid=18639 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18644/stat : 18644 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643682389136 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18645] ppid=18639 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18645/stat : 18645 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643681336080 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18646] ppid=18639 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18646/stat : 18646 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470564 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643680283536 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18647] ppid=18639 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18647/stat : 18647 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470564 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643679230480 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18648] ppid=18639 vsize=28231652 memory=140655414307503 CPUtime=0 cores=0-7
/proc/18641/task/18648/stat : 18648 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643678177936 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18649] ppid=18639 vsize=28231652 memory=140655414309808 CPUtime=0 cores=0-7
/proc/18641/task/18649/stat : 18649 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643677124880 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18650] ppid=18639 vsize=28231652 memory=140655414312112 CPUtime=0 cores=0-7
/proc/18641/task/18650/stat : 18650 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476470564 28909211648 12474 33554432000 4194304 4196468 140725687271712 140643676072336 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18651] ppid=18639 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18651/stat : 18651 (java) S 18639 18639 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476470566 28909211648 12474 33554432000 4194304 4196468 140725687271712 140641926400752 140643730832002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18652] ppid=18639 vsize=28231652 memory=281310828638096 CPUtime=0 cores=0-7
/proc/18641/task/18652/stat : 18652 (java) S 18639 18639 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476470566 28909211648 12474 33554432000 4194304 4196468 140725687271712 140641858217632 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18653] ppid=18639 vsize=28231524 memory=281310828635792 CPUtime=0 cores=0-7
/proc/18641/task/18653/stat : 18653 (java) S 18639 18639 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476470566 28909080576 12519 33554432000 4194304 4196468 140725687271712 140641857164528 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18654] ppid=18639 vsize=28231652 memory=281310828642704 CPUtime=0 cores=0-7
/proc/18641/task/18654/stat : 18654 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470569 28909211648 12519 33554432000 4194304 4196468 140725687271712 140641856113104 140643730839451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18655] ppid=18639 vsize=28231652 memory=281310828583984 CPUtime=0.03 cores=0-7
/proc/18641/task/18655/stat : 18655 (java) R 18639 18639 14667 0 -1 4202560 529 0 0 0 3 0 0 0 20 0 20 0 476470569 28909211648 12519 33554432000 4194304 4196468 140725687271712 140641855050592 140643711521152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18656] ppid=18639 vsize=28231652 memory=281310828656528 CPUtime=0.02 cores=0-7
/proc/18641/task/18656/stat : 18656 (java) S 18639 18639 14667 0 -1 1077944384 155 0 0 0 2 0 0 0 20 0 20 0 476470569 28909211648 12519 33554432000 4194304 4196468 140725687271712 140641854007664 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18657] ppid=18639 vsize=28231652 memory=281310828663440 CPUtime=0.02 cores=0-7
/proc/18641/task/18657/stat : 18657 (java) S 18639 18639 14667 0 -1 1077944384 142 0 0 0 2 0 0 0 20 0 20 0 476470569 28909211648 12519 33554432000 4194304 4196468 140725687271712 140641852954608 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18658] ppid=18639 vsize=28231652 memory=281310828661136 CPUtime=0.13 cores=0-7
/proc/18641/task/18658/stat : 18658 (java) S 18639 18639 14667 0 -1 1077944384 953 0 0 0 13 0 0 0 20 0 20 0 476470569 28909211648 12519 33554432000 4194304 4196468 140725687271712 140641851902064 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18659] ppid=18639 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18659/stat : 18659 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476470569 28909211648 12519 33554432000 4194304 4196468 140725687271712 140641850850272 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18660] ppid=18639 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18641/task/18660/stat : 18660 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476470569 28909211648 12519 33554432000 4194304 4196468 140725687271712 140641849797808 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51088 KiB
[startup+0.705269 s]
/proc/loadavg: 6.22 7.59 8.00 8/218 18676
/proc/meminfo: memFree=18338024/32770624 swapFree=66986244/67108860
[pid=18639] ppid=18636 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18639/stat : 18639 (xcsp3-exec) S 18636 18639 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470563 115843072 364 33554432000 4194304 5098028 140731665184320 140731665182424 140638654259836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35192832 140731665191798 140731665192041 140731665192041 140731665194954 0
/proc/18639/statm: 28282 364 305 221 0 87 0
[pid=18641] ppid=18639 vsize=28899416 memory=194476 CPUtime=2.18 cores=0-7
/proc/18641/stat : 18641 (java) S 18639 18639 14667 0 -1 1077944320 21100 0 0 0 205 13 0 0 20 0 28 0 476470563 29593001984 48619 33554432000 4194304 4196468 140725687271712 140725687254256 140643730820855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
/proc/18641/statm: 7224854 48619 3485 1 0 7185954 0
[pid=18641/tid=18642] ppid=18639 vsize=28899416 memory=0 CPUtime=0.48 cores=0-7
/proc/18641/task/18642/stat : 18642 (java) S 18639 18639 14667 0 -1 1077944384 9047 0 0 0 44 4 0 0 20 0 28 0 476470563 29593001984 48619 33554432000 4194304 4196468 140725687271712 140643735061632 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18643] ppid=18639 vsize=28899416 memory=140655414518640 CPUtime=0 cores=0-7
/proc/18641/task/18643/stat : 18643 (java) S 18639 18639 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476470564 29593001984 48619 33554432000 4194304 4196468 140725687271712 140643683441680 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18644] ppid=18639 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18644/stat : 18644 (java) S 18639 18639 14667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 476470564 29593001984 48619 33554432000 4194304 4196468 140725687271712 140643682389136 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18645] ppid=18639 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18645/stat : 18645 (java) S 18639 18639 14667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 476470564 29593001984 48619 33554432000 4194304 4196468 140725687271712 140643681336080 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
################
# More data... #
################
[pid=18641/tid=18658] ppid=18639 vsize=28899416 memory=288289982599198434 CPUtime=0.52 cores=0-7
/proc/18641/task/18658/stat : 18658 (java) S 18639 18639 14667 0 -1 1077944384 3250 0 0 0 51 1 0 0 20 0 28 0 476470569 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641851902064 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18659] ppid=18639 vsize=28899416 memory=1556 CPUtime=0 cores=0-7
/proc/18641/task/18659/stat : 18659 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470569 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641850850272 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18660] ppid=18639 vsize=28899416 memory=780 CPUtime=0 cores=0-7
/proc/18641/task/18660/stat : 18660 (java) S 18639 18639 14667 0 -1 1077944384 904 0 0 0 0 0 0 0 20 0 28 0 476470569 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641849797808 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19058] ppid=18639 vsize=28899416 memory=3616 CPUtime=20.73 cores=0-7
/proc/18641/task/19058/stat : 19058 (java) S 18639 18639 14667 0 -1 1077944384 979 0 0 0 2046 27 0 0 20 0 28 0 476470672 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641836370608 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19059] ppid=18639 vsize=28899416 memory=1112 CPUtime=20.8 cores=0-7
/proc/18641/task/19059/stat : 19059 (java) R 18639 18639 14667 0 -1 4202560 553 0 0 0 2052 28 0 0 20 0 28 0 476470672 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641831109008 140643355041458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19060] ppid=18639 vsize=28899416 memory=6048 CPUtime=20.61 cores=0-7
/proc/18641/task/19060/stat : 19060 (java) R 18639 18639 14667 0 -1 1077944384 919 0 0 0 2033 28 0 0 20 0 28 0 476470672 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641833214384 140643730832002 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19061] ppid=18639 vsize=28899416 memory=7552 CPUtime=21.47 cores=0-7
/proc/18641/task/19061/stat : 19061 (java) R 18639 18639 14667 0 -1 4202560 1816 0 0 0 2126 21 0 0 20 0 28 0 476470672 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641834266768 140643357599891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19062] ppid=18639 vsize=28899416 memory=2832 CPUtime=21.1 cores=0-7
/proc/18641/task/19062/stat : 19062 (java) R 18639 18639 14667 0 -1 4202560 1587 0 0 0 2080 30 0 0 20 0 28 0 476470672 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641840582928 140643356191915 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19063] ppid=18639 vsize=28899416 memory=1084 CPUtime=21.17 cores=0-7
/proc/18641/task/19063/stat : 19063 (java) R 18639 18639 14667 0 -1 4202560 2581 0 0 0 2085 32 0 0 20 0 28 0 476470672 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641839529872 140643356194381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19064] ppid=18639 vsize=28899416 memory=14012 CPUtime=20.57 cores=0-7
/proc/18641/task/19064/stat : 19064 (java) R 18639 18639 14667 0 -1 4202560 693 0 0 0 2030 27 0 0 20 0 28 0 476470673 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641837424656 140643356276002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19065] ppid=18639 vsize=28899416 memory=14048 CPUtime=21.21 cores=0-7
/proc/18641/task/19065/stat : 19065 (java) R 18639 18639 14667 0 -1 4202560 1060 0 0 0 2098 23 0 0 20 0 28 0 476470673 29593001984 435823 33554432000 4194304 4196468 140725687271712 140641838476944 140643355556424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
Current children cumulated CPU time: 175.2 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 1744748 KiB
[startup+24.0028 s]*
/proc/loadavg: 6.77 7.61 8.00 8/218 19065
/proc/meminfo: memFree=16693004/32770624 swapFree=66986244/67108860
[pid=18639] ppid=18636 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18639/stat : 18639 (xcsp3-exec) S 18636 18639 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470563 115843072 364 33554432000 4194304 5098028 140731665184320 140731665182424 140638654259836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35192832 140731665191798 140731665192041 140731665192041 140731665194954 0
/proc/18639/statm: 28282 364 305 221 0 87 0
[pid=18641] ppid=18639 vsize=28899416 memory=1743300 CPUtime=178.33 cores=0-7
/proc/18641/stat : 18641 (java) S 18639 18639 14667 0 -1 1077944320 57121 0 0 0 17579 254 0 0 20 0 28 0 476470563 29593001984 435825 33554432000 4194304 4196468 140725687271712 140725687254256 140643730820855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
/proc/18641/statm: 7224854 435825 3518 1 0 7185954 0
[pid=18641/tid=18642] ppid=18639 vsize=28899416 memory=1768 CPUtime=0.49 cores=0-7
/proc/18641/task/18642/stat : 18642 (java) S 18639 18639 14667 0 -1 1077944384 9048 0 0 0 45 4 0 0 20 0 28 0 476470563 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643735061632 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18643] ppid=18639 vsize=28899416 memory=4126316290023845779 CPUtime=0.03 cores=0-7
/proc/18641/task/18643/stat : 18643 (java) S 18639 18639 14667 0 -1 1077944384 124 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643683441680 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18644] ppid=18639 vsize=28899416 memory=1416 CPUtime=0.03 cores=0-7
/proc/18641/task/18644/stat : 18644 (java) S 18639 18639 14667 0 -1 1077944384 876 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643682389136 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18645] ppid=18639 vsize=28899416 memory=1712 CPUtime=0.03 cores=0-7
/proc/18641/task/18645/stat : 18645 (java) S 18639 18639 14667 0 -1 1077944384 155 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643681336080 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18646] ppid=18639 vsize=28899416 memory=692 CPUtime=0.02 cores=0-7
/proc/18641/task/18646/stat : 18646 (java) S 18639 18639 14667 0 -1 1077944384 833 0 0 0 1 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643680283536 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18647] ppid=18639 vsize=28899416 memory=1056 CPUtime=0.04 cores=0-7
/proc/18641/task/18647/stat : 18647 (java) S 18639 18639 14667 0 -1 1077944384 320 0 0 0 3 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643679230480 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18648] ppid=18639 vsize=28899416 memory=1556 CPUtime=0.03 cores=0-7
/proc/18641/task/18648/stat : 18648 (java) S 18639 18639 14667 0 -1 1077944384 132 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643678177936 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18649] ppid=18639 vsize=28899416 memory=780 CPUtime=0.04 cores=0-7
/proc/18641/task/18649/stat : 18649 (java) S 18639 18639 14667 0 -1 1077944384 527 0 0 0 2 2 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643677124880 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18650] ppid=18639 vsize=28899416 memory=3616 CPUtime=0.03 cores=0-7
/proc/18641/task/18650/stat : 18650 (java) S 18639 18639 14667 0 -1 1077944384 167 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643676072336 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18651] ppid=18639 vsize=28899416 memory=1112 CPUtime=0.01 cores=0-7
/proc/18641/task/18651/stat : 18651 (java) S 18639 18639 14667 0 -1 1077944384 2037 0 0 0 1 0 0 0 20 0 28 0 476470566 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641926400752 140643730832002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18652] ppid=18639 vsize=28899416 memory=6048 CPUtime=0 cores=0-7
/proc/18641/task/18652/stat : 18652 (java) S 18639 18639 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476470566 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641858217696 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18653] ppid=18639 vsize=28899416 memory=7552 CPUtime=0 cores=0-7
/proc/18641/task/18653/stat : 18653 (java) S 18639 18639 14667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476470566 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641857164544 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18654] ppid=18639 vsize=28899416 memory=2832 CPUtime=0 cores=0-7
/proc/18641/task/18654/stat : 18654 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641856113104 140643730839451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18655] ppid=18639 vsize=28899416 memory=1084 CPUtime=1.12 cores=0-7
/proc/18641/task/18655/stat : 18655 (java) S 18639 18639 14667 0 -1 1077944384 7807 0 0 0 111 1 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641855060208 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18656] ppid=18639 vsize=28899416 memory=6791534058613427641 CPUtime=0.95 cores=0-7
/proc/18641/task/18656/stat : 18656 (java) S 18639 18639 14667 0 -1 1077944384 6341 0 0 0 93 2 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641854007664 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18657] ppid=18639 vsize=28899416 memory=1742112 CPUtime=1.23 cores=0-7
/proc/18641/task/18657/stat : 18657 (java) S 18639 18639 14667 0 -1 1077944384 6003 0 0 0 121 2 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641852954608 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18658] ppid=18639 vsize=28899416 memory=796 CPUtime=0.52 cores=0-7
/proc/18641/task/18658/stat : 18658 (java) S 18639 18639 14667 0 -1 1077944384 3250 0 0 0 51 1 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641851902064 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18659] ppid=18639 vsize=28899416 memory=1804 CPUtime=0 cores=0-7
/proc/18641/task/18659/stat : 18659 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641850850272 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18660] ppid=18639 vsize=28899416 memory=916 CPUtime=0 cores=0-7
/proc/18641/task/18660/stat : 18660 (java) S 18639 18639 14667 0 -1 1077944384 904 0 0 0 0 0 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641849797808 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19058] ppid=18639 vsize=28899416 memory=4464 CPUtime=21.13 cores=0-7
/proc/18641/task/19058/stat : 19058 (java) R 18639 18639 14667 0 -1 4202560 980 0 0 0 2085 28 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641836370512 140643355041010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19059] ppid=18639 vsize=28899416 memory=4100 CPUtime=21.18 cores=0-7
/proc/18641/task/19059/stat : 19059 (java) R 18639 18639 14667 0 -1 1077944384 558 0 0 0 2090 28 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641831109008 140643730831061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19060] ppid=18639 vsize=28899416 memory=1412 CPUtime=21 cores=0-7
/proc/18641/task/19060/stat : 19060 (java) R 18639 18639 14667 0 -1 4202560 920 0 0 0 2072 28 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641833214480 140643356277172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19061] ppid=18639 vsize=28899416 memory=3024 CPUtime=21.87 cores=0-7
/proc/18641/task/19061/stat : 19061 (java) S 18639 18639 14667 0 -1 1077944384 1825 0 0 0 2165 22 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641834266768 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19062] ppid=18639 vsize=28899416 memory=1456 CPUtime=21.49 cores=0-7
/proc/18641/task/19062/stat : 19062 (java) R 18639 18639 14667 0 -1 4202560 1590 0 0 0 2119 30 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641840582928 140643356194972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19063] ppid=18639 vsize=28899416 memory=1084 CPUtime=21.57 cores=0-7
/proc/18641/task/19063/stat : 19063 (java) R 18639 18639 14667 0 -1 4202560 2586 0 0 0 2124 33 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641839529872 140643356193607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19064] ppid=18639 vsize=28899416 memory=14012 CPUtime=20.95 cores=0-7
/proc/18641/task/19064/stat : 19064 (java) R 18639 18639 14667 0 -1 4202560 707 0 0 0 2067 28 0 0 20 0 28 0 476470673 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641837424656 140643355554679 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19065] ppid=18639 vsize=28899416 memory=14048 CPUtime=21.61 cores=0-7
/proc/18641/task/19065/stat : 19065 (java) R 18639 18639 14667 0 -1 4202560 1063 0 0 0 2138 23 0 0 20 0 28 0 476470673 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641838476848 140643355554855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
Current children cumulated CPU time: 178.33 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 1744756 KiB
[startup+24.1106 s]
/proc/loadavg: 6.77 7.61 8.00 8/218 19065
/proc/meminfo: memFree=16693004/32770624 swapFree=66986244/67108860
[pid=18639] ppid=18636 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18639/stat : 18639 (xcsp3-exec) S 18636 18639 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476470563 115843072 364 33554432000 4194304 5098028 140731665184320 140731665182424 140638654259836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35192832 140731665191798 140731665192041 140731665192041 140731665194954 0
/proc/18639/statm: 28282 364 305 221 0 87 0
[pid=18641] ppid=18639 vsize=28899416 memory=1743300 CPUtime=179.1 cores=0-7
/proc/18641/stat : 18641 (java) S 18639 18639 14667 0 -1 1077944320 57131 0 0 0 17656 254 0 0 20 0 28 0 476470563 29593001984 435825 33554432000 4194304 4196468 140725687271712 140725687254256 140643730820855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
/proc/18641/statm: 7224854 435825 3518 1 0 7185954 0
[pid=18641/tid=18642] ppid=18639 vsize=28899416 memory=1740580 CPUtime=0.49 cores=0-7
/proc/18641/task/18642/stat : 18642 (java) S 18639 18639 14667 0 -1 1077944384 9048 0 0 0 45 4 0 0 20 0 28 0 476470563 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643735061632 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18643] ppid=18639 vsize=28899416 memory=1743300 CPUtime=0.03 cores=0-7
/proc/18641/task/18643/stat : 18643 (java) S 18639 18639 14667 0 -1 1077944384 124 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643683441680 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18644] ppid=18639 vsize=28899416 memory=1456 CPUtime=0.03 cores=0-7
/proc/18641/task/18644/stat : 18644 (java) S 18639 18639 14667 0 -1 1077944384 876 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643682389136 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18645] ppid=18639 vsize=28899416 memory=29588 CPUtime=0.03 cores=0-7
/proc/18641/task/18645/stat : 18645 (java) S 18639 18639 14667 0 -1 1077944384 155 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643681336080 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18646] ppid=18639 vsize=28899416 memory=1164 CPUtime=0.02 cores=0-7
/proc/18641/task/18646/stat : 18646 (java) S 18639 18639 14667 0 -1 1077944384 833 0 0 0 1 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643680283536 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18647] ppid=18639 vsize=28899416 memory=164 CPUtime=0.04 cores=0-7
/proc/18641/task/18647/stat : 18647 (java) S 18639 18639 14667 0 -1 1077944384 320 0 0 0 3 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643679230480 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18648] ppid=18639 vsize=28899416 memory=6791534058613427641 CPUtime=0.03 cores=0-7
/proc/18641/task/18648/stat : 18648 (java) S 18639 18639 14667 0 -1 1077944384 132 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643678177936 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18649] ppid=18639 vsize=28899416 memory=6656426216303648864 CPUtime=0.04 cores=0-7
/proc/18641/task/18649/stat : 18649 (java) S 18639 18639 14667 0 -1 1077944384 527 0 0 0 2 2 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643677124880 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18650] ppid=18639 vsize=28899416 memory=1456 CPUtime=0.03 cores=0-7
/proc/18641/task/18650/stat : 18650 (java) S 18639 18639 14667 0 -1 1077944384 167 0 0 0 2 1 0 0 20 0 28 0 476470564 29593001984 435825 33554432000 4194304 4196468 140725687271712 140643676072336 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18651] ppid=18639 vsize=28899416 memory=1456 CPUtime=0.01 cores=0-7
/proc/18641/task/18651/stat : 18651 (java) S 18639 18639 14667 0 -1 1077944384 2037 0 0 0 1 0 0 0 20 0 28 0 476470566 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641926400752 140643730832002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18652] ppid=18639 vsize=28899416 memory=1739460 CPUtime=0 cores=0-7
/proc/18641/task/18652/stat : 18652 (java) S 18639 18639 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476470566 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641858217696 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18653] ppid=18639 vsize=28899416 memory=281310829138208 CPUtime=0 cores=0-7
/proc/18641/task/18653/stat : 18653 (java) S 18639 18639 14667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 476470566 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641857164544 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18654] ppid=18639 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/18641/task/18654/stat : 18654 (java) S 18639 18639 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641856113104 140643730839451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18655] ppid=18639 vsize=28899416 memory=0 CPUtime=1.12 cores=0-7
/proc/18641/task/18655/stat : 18655 (java) S 18639 18639 14667 0 -1 1077944384 7807 0 0 0 111 1 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641855060208 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18656] ppid=18639 vsize=28899416 memory=1742112 CPUtime=0.95 cores=0-7
/proc/18641/task/18656/stat : 18656 (java) S 18639 18639 14667 0 -1 1077944384 6341 0 0 0 93 2 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641854007664 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18657] ppid=18639 vsize=28899416 memory=56 CPUtime=1.23 cores=0-7
/proc/18641/task/18657/stat : 18657 (java) S 18639 18639 14667 0 -1 1077944384 6003 0 0 0 121 2 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641852954608 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18658] ppid=18639 vsize=28899416 memory=7595975425060327512 CPUtime=0.52 cores=0-7
/proc/18641/task/18658/stat : 18658 (java) S 18639 18639 14667 0 -1 1077944384 3250 0 0 0 51 1 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641851902064 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18659] ppid=18639 vsize=28899416 memory=6371563644451508313 CPUtime=0 cores=0-7
/proc/18641/task/18659/stat : 18659 (java) S 18639 18639 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641850850272 140643730831061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=18660] ppid=18639 vsize=28899416 memory=692 CPUtime=0 cores=0-7
/proc/18641/task/18660/stat : 18660 (java) S 18639 18639 14667 0 -1 1077944384 904 0 0 0 0 0 0 0 20 0 28 0 476470569 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641849797808 140643730832002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19058] ppid=18639 vsize=28899416 memory=1056 CPUtime=21.22 cores=0-7
/proc/18641/task/19058/stat : 19058 (java) R 18639 18639 14667 0 -1 4202560 982 0 0 0 2094 28 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641836370512 140643355444416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19059] ppid=18639 vsize=28899416 memory=1556 CPUtime=21.28 cores=0-7
/proc/18641/task/19059/stat : 19059 (java) R 18639 18639 14667 0 -1 1077944384 559 0 0 0 2100 28 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641831108912 140643730832002 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19060] ppid=18639 vsize=28899416 memory=1456 CPUtime=21.1 cores=0-7
/proc/18641/task/19060/stat : 19060 (java) R 18639 18639 14667 0 -1 4202560 921 0 0 0 2082 28 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641833214480 140643355444215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19061] ppid=18639 vsize=28899416 memory=111632 CPUtime=21.97 cores=0-7
/proc/18641/task/19061/stat : 19061 (java) R 18639 18639 14667 0 -1 4202560 1825 0 0 0 2175 22 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641834266768 140643357131664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19062] ppid=18639 vsize=28899416 memory=796 CPUtime=21.59 cores=0-7
/proc/18641/task/19062/stat : 19062 (java) R 18639 18639 14667 0 -1 4202560 1593 0 0 0 2129 30 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641840582832 140643355442855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19063] ppid=18639 vsize=28899416 memory=1804 CPUtime=21.66 cores=0-7
/proc/18641/task/19063/stat : 19063 (java) R 18639 18639 14667 0 -1 4202560 2588 0 0 0 2133 33 0 0 20 0 28 0 476470672 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641839529872 140643356194428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19064] ppid=18639 vsize=28899416 memory=916 CPUtime=21.04 cores=0-7
/proc/18641/task/19064/stat : 19064 (java) R 18639 18639 14667 0 -1 4202560 708 0 0 0 2076 28 0 0 20 0 28 0 476470673 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641837424560 140643355041421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
[pid=18641/tid=19065] ppid=18639 vsize=28899416 memory=4464 CPUtime=21.7 cores=0-7
/proc/18641/task/19065/stat : 19065 (java) R 18639 18639 14667 0 -1 4202560 1063 0 0 0 2147 23 0 0 20 0 28 0 476470673 29593001984 435825 33554432000 4194304 4196468 140725687271712 140641838476944 140643355041528 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11685888 140725687276522 140725687276694 140725687276694 140725687279567 0
Current children cumulated CPU time: 179.1 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 1744756 KiB
Child status: 0
Real time (s): 24.1446
CPU time (s): 179.248
CPU user time (s): 176.677
CPU system time (s): 2.57101
CPU usage (%): 742.393
Max. virtual memory (cumulated for all children) (KiB): 29014552
Max. memory (cumulated for all children) (KiB): 1744756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.677
system time used= 2.57101
maximum resident set size= 1744676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 615026
involuntary context switches= 436
# summary of solver processes directly reported to runsolver:
# pid: 18639
# total CPU time (s): 179.248
# total CPU user time (s): 176.677
# total CPU system time (s): 2.57101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.232557 second user time and 0.314631 second system time
The end
Begin job on node104 at 2019-09-20 18:45:16
IDJOB=4404728
IDBENCH=133442
IDSOLVER=2865
FILE ID=node104/4404728-1569002137
RUNJOBID= node104-1568989783-14694
PBS_JOBID= 21704713
Free space on /tmp= 9832 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-14.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-4404728-1569002137/watcher-4404728-1569002137 -o /tmp/evaluation-result-4404728-1569002137/solver-4404728-1569002137 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 395036411 HOME/instance-4404728-1569002137.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0fb8e68e5b6c8402080e230a0c605796
RANDOM SEED=395036411
node104.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 : 5334.09
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 : 5334.09
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 : 5334.09
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 : 5334.09
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: 18422900 kB
MemAvailable: 31824100 kB
Buffers: 93768 kB
Cached: 13232824 kB
SwapCached: 22652 kB
Active: 6646596 kB
Inactive: 6706832 kB
Active(anon): 3736 kB
Inactive(anon): 73004 kB
Active(file): 6642860 kB
Inactive(file): 6633828 kB
Unevictable: 109708 kB
Mlocked: 109708 kB
SwapTotal: 67108860 kB
SwapFree: 66986244 kB
Dirty: 26828 kB
Writeback: 0 kB
AnonPages: 170920 kB
Mapped: 51580 kB
Shmem: 40708 kB
Slab: 583656 kB
SReclaimable: 552972 kB
SUnreclaim: 30684 kB
KernelStack: 3856 kB
PageTables: 5420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 498016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 124928 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 9804 MiB
End job on node104 at 2019-09-20 18:45:40