0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407076-1569355976.xml" -tl '20160s' -p 8
0.13/0.18 c Choco e747e1e
0.13/0.18 c [HOME/instance-4407076-1569355976.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
1.04/0.57 c solve instance...
1.46/0.65 o 266
1.46/0.66 o 204
1.46/0.67 o 153
1.46/0.69 o 152
1.46/0.70 o 126
2.01/0.71 o 110
2.01/0.72 o 109
2.72/0.87 o 105
2781.05/350.71 s OPTIMUM FOUND
2781.05/350.71 v <instantiation>
2781.05/350.71 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] </list>
2781.05/350.71 v <values>0 5 4 2 1 3 7 12 13 14 10 8 11 9 6 17 5 6 4 5 6 15 4 1 8 3 10 2 9 10 </values>
2781.05/350.71 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 (10787 MiB free)
memory of node 1: 16384 MiB (14155 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407076-1569355976/watcher-4407076-1569355976 -o /tmp/evaluation-result-4407076-1569355976/solver-4407076-1569355976 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569348372-14576 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 180046270 HOME/instance-4407076-1569355976.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=15490, runsolver pid=15487
[startup+0.10015 s]*
/proc/loadavg: 8.07 8.20 8.24 2/212 15511
/proc/meminfo: memFree=25524868/32770624 swapFree=67002572/67108860
[pid=15490] ppid=15487 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15490/stat : 15490 (xcsp3-exec) S 15487 15490 14549 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511759121 115843072 363 33554432000 4194304 5098028 140723389803792 140723389801896 140441824047740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13778944 140723389809526 140723389809769 140723389809769 140723389812682 0
/proc/15490/statm: 28282 363 304 221 0 87 0
[pid=15492] ppid=15490 vsize=28227396 memory=28876 CPUtime=0.13 cores=0-7
/proc/15492/stat : 15492 (java) S 15490 15490 14549 0 -1 1077944320 5717 0 0 0 11 2 0 0 20 0 20 0 511759121 28904853504 7219 33554432000 4194304 4196468 140722615301152 140722615283696 139773443956471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
/proc/15492/statm: 7056849 7219 3121 1 0 7019032 0
[pid=15492/tid=15493] ppid=15490 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/15492/task/15493/stat : 15493 (java) R 15490 15490 14549 0 -1 4202560 3626 0 0 0 8 1 0 0 20 0 20 0 511759122 28904853504 7219 33554432000 4194304 4196468 140722615301152 139773448189248 139773443968406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15494] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15494/stat : 15494 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759122 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772995578512 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15495] ppid=15490 vsize=28227396 memory=139898299183752 CPUtime=0 cores=0-7
/proc/15492/task/15495/stat : 15495 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759122 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772994525712 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15496] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15496/stat : 15496 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759122 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772993472912 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15497] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15497/stat : 15497 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772992420112 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15498] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15498/stat : 15498 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772991368336 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15499] ppid=15490 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15492/task/15499/stat : 15499 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772990315536 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15500] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15500/stat : 15500 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772989262736 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15501] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15501/stat : 15501 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772988209936 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15502] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15502/stat : 15502 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759124 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772050622832 139773443967618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15503] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15503/stat : 15503 (java) S 15490 15490 14549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511759125 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772049568800 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15504] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15504/stat : 15504 (java) S 15490 15490 14549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511759125 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772048515952 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15505] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15505/stat : 15505 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759127 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772047464272 139773443975067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15506] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15506/stat : 15506 (java) S 15490 15490 14549 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 511759127 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772046412656 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15507] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15507/stat : 15507 (java) S 15490 15490 14549 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511759127 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772045359856 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15508] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15508/stat : 15508 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511759127 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772044307056 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15509] ppid=15490 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/15492/task/15509/stat : 15509 (java) S 15490 15490 14549 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 511759127 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772043254256 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15510] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15510/stat : 15510 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511759127 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772042201696 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15511] ppid=15490 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15492/task/15511/stat : 15511 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759128 28904853504 7219 33554432000 4194304 4196468 140722615301152 139772041148976 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30328 KiB
[startup+0.210092 s]*
/proc/loadavg: 8.07 8.20 8.24 2/212 15511
/proc/meminfo: memFree=25511520/32770624 swapFree=67002572/67108860
[pid=15490] ppid=15487 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15490/stat : 15490 (xcsp3-exec) S 15487 15490 14549 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511759121 115843072 363 33554432000 4194304 5098028 140723389803792 140723389801896 140441824047740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13778944 140723389809526 140723389809769 140723389809769 140723389812682 0
/proc/15490/statm: 28282 363 304 221 0 87 0
[pid=15492] ppid=15490 vsize=28227396 memory=41140 CPUtime=0.33 cores=0-7
/proc/15492/stat : 15492 (java) S 15490 15490 14549 0 -1 1077944320 9529 0 0 0 30 3 0 0 20 0 20 0 511759121 28904853504 10285 33554432000 4194304 4196468 140722615301152 140722615283696 139773443956471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
/proc/15492/statm: 7056849 10285 3310 1 0 7019032 0
[pid=15492/tid=15493] ppid=15490 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/15492/task/15493/stat : 15493 (java) R 15490 15490 14549 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 20 0 511759122 28904853504 10285 33554432000 4194304 4196468 140722615301152 139773448189936 139773443968406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15494] ppid=15490 vsize=28227396 memory=14976 CPUtime=0 cores=0-7
/proc/15492/task/15494/stat : 15494 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759122 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772995578512 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15495] ppid=15490 vsize=28227396 memory=288370274450880128 CPUtime=0 cores=0-7
/proc/15492/task/15495/stat : 15495 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759122 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772994525712 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15496] ppid=15490 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15492/task/15496/stat : 15496 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759122 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772993472912 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15497] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15497/stat : 15497 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772992420112 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15498] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15498/stat : 15498 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772991368336 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15499] ppid=15490 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15492/task/15499/stat : 15499 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772990315536 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15500] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15500/stat : 15500 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772989262736 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15501] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15501/stat : 15501 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511759123 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772988209936 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15502] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15502/stat : 15502 (java) S 15490 15490 14549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511759124 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772050622832 139773443967618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15503] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15503/stat : 15503 (java) S 15490 15490 14549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511759125 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772049568800 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15504] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15504/stat : 15504 (java) S 15490 15490 14549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511759125 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772048515952 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15505] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15505/stat : 15505 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759127 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772047464272 139773443975067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15506] ppid=15490 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15492/task/15506/stat : 15506 (java) S 15490 15490 14549 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 20 0 511759127 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772046412656 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15507] ppid=15490 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/15492/task/15507/stat : 15507 (java) S 15490 15490 14549 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 20 0 511759127 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772045359856 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15508] ppid=15490 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15492/task/15508/stat : 15508 (java) S 15490 15490 14549 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 511759127 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772044307056 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15509] ppid=15490 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/15492/task/15509/stat : 15509 (java) R 15490 15490 14549 0 -1 4202560 788 0 0 0 7 0 0 0 20 0 20 0 511759127 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772043254256 139773443968406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15510] ppid=15490 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15510/stat : 15510 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511759127 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772042201696 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15511] ppid=15490 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15492/task/15511/stat : 15511 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759128 28904853504 10285 33554432000 4194304 4196468 140722615301152 139772041148976 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42592 KiB
[startup+0.30945 s]*
/proc/loadavg: 8.07 8.20 8.24 5/212 15511
/proc/meminfo: memFree=25504292/32770624 swapFree=67002572/67108860
[pid=15490] ppid=15487 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15490/stat : 15490 (xcsp3-exec) S 15487 15490 14549 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511759121 115843072 363 33554432000 4194304 5098028 140723389803792 140723389801896 140441824047740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13778944 140723389809526 140723389809769 140723389809769 140723389812682 0
/proc/15490/statm: 28282 363 304 221 0 87 0
[pid=15492] ppid=15490 vsize=28231652 memory=50268 CPUtime=0.51 cores=0-7
/proc/15492/stat : 15492 (java) S 15490 15490 14549 0 -1 1077944320 10889 0 0 0 47 4 0 0 20 0 20 0 511759121 28909211648 12567 33554432000 4194304 4196468 140722615301152 140722615283696 139773443956471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
/proc/15492/statm: 7057913 12567 3358 1 0 7019032 0
[pid=15492/tid=15493] ppid=15490 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/15492/task/15493/stat : 15493 (java) R 15490 15490 14549 0 -1 4202560 7781 0 0 0 27 3 0 0 20 0 20 0 511759122 28909211648 12567 33554432000 4194304 4196468 140722615301152 139773448187584 139773428036958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15494] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15494/stat : 15494 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759122 28909211648 12567 33554432000 4194304 4196468 140722615301152 139772995578512 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15495] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15495/stat : 15495 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759122 28909211648 12567 33554432000 4194304 4196468 140722615301152 139772994525712 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15496] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15496/stat : 15496 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759122 28909211648 12567 33554432000 4194304 4196468 140722615301152 139772993472912 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15497] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15497/stat : 15497 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28909211648 12567 33554432000 4194304 4196468 140722615301152 139772992420112 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15498] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15498/stat : 15498 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28909211648 12567 33554432000 4194304 4196468 140722615301152 139772991368336 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15499] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15499/stat : 15499 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28909211648 12567 33554432000 4194304 4196468 140722615301152 139772990315536 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15500] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15500/stat : 15500 (java) S 15490 15490 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511759123 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772989262736 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15501] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15501/stat : 15501 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511759123 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772988209936 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15502] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15502/stat : 15502 (java) S 15490 15490 14549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511759124 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772050622832 139773443967618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15503] ppid=15490 vsize=28231652 memory=279796315790720 CPUtime=0 cores=0-7
/proc/15492/task/15503/stat : 15503 (java) S 15490 15490 14549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511759125 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772049568800 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15504] ppid=15490 vsize=28231652 memory=279796315795328 CPUtime=0 cores=0-7
/proc/15492/task/15504/stat : 15504 (java) S 15490 15490 14549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511759125 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772048515952 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15505] ppid=15490 vsize=28231652 memory=279796315799936 CPUtime=0 cores=0-7
/proc/15492/task/15505/stat : 15505 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759127 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772047464272 139773443975067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15506] ppid=15490 vsize=28231652 memory=279796315804544 CPUtime=0.01 cores=0-7
/proc/15492/task/15506/stat : 15506 (java) S 15490 15490 14549 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 20 0 511759127 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772046412656 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15507] ppid=15490 vsize=28231652 memory=279796315809152 CPUtime=0.03 cores=0-7
/proc/15492/task/15507/stat : 15507 (java) S 15490 15490 14549 0 -1 1077944384 416 0 0 0 3 0 0 0 20 0 20 0 511759127 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772045359856 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15508] ppid=15490 vsize=28231652 memory=279796315813760 CPUtime=0.02 cores=0-7
/proc/15492/task/15508/stat : 15508 (java) R 15490 15490 14549 0 -1 4202560 147 0 0 0 2 0 0 0 20 0 20 0 511759127 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772044307056 139773421844928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15509] ppid=15490 vsize=28231652 memory=279796315818368 CPUtime=0.12 cores=0-7
/proc/15492/task/15509/stat : 15509 (java) S 15490 15490 14549 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 20 0 511759127 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772043254256 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15510] ppid=15490 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15510/stat : 15510 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511759127 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772042201696 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15511] ppid=15490 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15492/task/15511/stat : 15511 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511759128 28909211648 12596 33554432000 4194304 4196468 140722615301152 139772041148976 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51720 KiB
[startup+0.704919 s]
/proc/loadavg: 8.07 8.20 8.24 6/212 15511
/proc/meminfo: memFree=25490688/32770624 swapFree=67002572/67108860
[pid=15490] ppid=15487 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15490/stat : 15490 (xcsp3-exec) S 15487 15490 14549 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511759121 115843072 363 33554432000 4194304 5098028 140723389803792 140723389801896 140441824047740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13778944 140723389809526 140723389809769 140723389809769 140723389812682 0
/proc/15490/statm: 28282 363 304 221 0 87 0
[pid=15492] ppid=15490 vsize=28766288 memory=163960 CPUtime=2.01 cores=0-7
/proc/15492/stat : 15492 (java) S 15490 15490 14549 0 -1 1077944320 15927 0 0 0 192 9 0 0 20 0 21 0 511759121 29456678912 40990 33554432000 4194304 4196468 140722615301152 140722615283696 139773443956471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
/proc/15492/statm: 7191572 40990 3459 1 0 7152672 0
[pid=15492/tid=15493] ppid=15490 vsize=28766288 memory=0 CPUtime=0.56 cores=0-7
/proc/15492/task/15493/stat : 15493 (java) S 15490 15490 14549 0 -1 1077944384 9153 0 0 0 52 4 0 0 20 0 21 0 511759122 29456678912 40990 33554432000 4194304 4196468 140722615301152 139773448197248 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15494] ppid=15490 vsize=28766288 memory=139898158097280 CPUtime=0 cores=0-7
/proc/15492/task/15494/stat : 15494 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 511759122 29456678912 40990 33554432000 4194304 4196468 140722615301152 139772995578512 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15495] ppid=15490 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15492/task/15495/stat : 15495 (java) R 15490 15490 14549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 511759122 29456678912 40990 33554432000 4194304 4196468 140722615301152 139772994525832 139773436584679 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15496] ppid=15490 vsize=28766288 memory=1052 CPUtime=0 cores=0-7
/proc/15492/task/15496/stat : 15496 (java) S 15490 15490 14549 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 21 0 511759122 29456678912 40990 33554432000 4194304 4196468 140722615301152 139772993472912 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
################
# More data... #
################
[pid=15492/tid=15509] ppid=15490 vsize=28766288 memory=7100839878645619564 CPUtime=0.64 cores=0-7
/proc/15492/task/15509/stat : 15509 (java) S 15490 15490 14549 0 -1 1077944384 8253 0 0 0 63 1 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772043254256 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15510] ppid=15490 vsize=28766288 memory=7897517683652307531 CPUtime=0 cores=0-7
/proc/15492/task/15510/stat : 15510 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772042201696 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15511] ppid=15490 vsize=28766288 memory=1412 CPUtime=0.06 cores=0-7
/proc/15492/task/15511/stat : 15511 (java) S 15490 15490 14549 0 -1 1077944384 2061 0 0 0 0 6 0 0 20 0 28 0 511759128 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772041148976 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15576] ppid=15490 vsize=28766288 memory=3764 CPUtime=346.15 cores=0-7
/proc/15492/task/15576/stat : 15576 (java) R 15490 15490 14549 0 -1 4202560 8028 0 0 0 34613 2 0 0 20 0 28 0 511759208 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772026665752 139773087081204 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15577] ppid=15490 vsize=28766288 memory=1452 CPUtime=345.68 cores=0-7
/proc/15492/task/15577/stat : 15577 (java) R 15490 15490 14549 0 -1 4202560 2416 0 0 0 34568 0 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772029824624 139773086321426 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15578] ppid=15490 vsize=28766288 memory=1398722017469774279 CPUtime=345.55 cores=0-7
/proc/15492/task/15578/stat : 15578 (java) R 15490 15490 14549 0 -1 4202560 2353 0 0 0 34554 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772031931392 139773086321537 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15579] ppid=15490 vsize=28766288 memory=111632 CPUtime=345.1 cores=0-7
/proc/15492/task/15579/stat : 15579 (java) R 15490 15490 14549 0 -1 4202560 4297 0 0 0 34506 4 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772028772856 139773081778940 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15580] ppid=15490 vsize=28766288 memory=804 CPUtime=346.14 cores=0-7
/proc/15492/task/15580/stat : 15580 (java) R 15490 15490 14549 0 -1 4202560 3593 0 0 0 34611 3 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772024561904 139773086780755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15581] ppid=15490 vsize=28766288 memory=1804 CPUtime=345.14 cores=0-7
/proc/15492/task/15581/stat : 15581 (java) R 15490 15490 14549 0 -1 4202560 2798 0 0 0 34513 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772025613952 139773081778110 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15582] ppid=15490 vsize=28766288 memory=916 CPUtime=346.43 cores=0-7
/proc/15492/task/15582/stat : 15582 (java) R 15490 15490 14549 0 -1 4202560 1916 0 0 0 34642 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772027719736 139773086779810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15583] ppid=15490 vsize=28766288 memory=4136 CPUtime=344.99 cores=0-7
/proc/15492/task/15583/stat : 15583 (java) R 15490 15490 14549 0 -1 4202560 2835 0 0 0 34497 2 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772030880384 139773086322188 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
Current children cumulated CPU time: 2778.74 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 423040 KiB
[startup+350.601 s]
/proc/loadavg: 8.13 8.31 8.30 9/219 15603
/proc/meminfo: memFree=25134288/32770624 swapFree=67002572/67108860
[pid=15490] ppid=15487 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15490/stat : 15490 (xcsp3-exec) S 15487 15490 14549 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511759121 115843072 363 33554432000 4194304 5098028 140723389803792 140723389801896 140441824047740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13778944 140723389809526 140723389809769 140723389809769 140723389812682 0
/proc/15490/statm: 28282 363 304 221 0 87 0
[pid=15492] ppid=15490 vsize=28766288 memory=421588 CPUtime=2780.34 cores=0-7
/proc/15492/stat : 15492 (java) S 15490 15490 14549 0 -1 1077944320 125433 0 0 0 277930 104 0 0 20 0 28 0 511759121 29456678912 105397 33554432000 4194304 4196468 140722615301152 140722615283696 139773443956471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
/proc/15492/statm: 7191572 105397 3518 1 0 7152672 0
[pid=15492/tid=15493] ppid=15490 vsize=28766288 memory=984 CPUtime=0.57 cores=0-7
/proc/15492/task/15493/stat : 15493 (java) S 15490 15490 14549 0 -1 1077944384 9153 0 0 0 53 4 0 0 20 0 28 0 511759122 29456678912 105397 33554432000 4194304 4196468 140722615301152 139773448197248 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15494] ppid=15490 vsize=28766288 memory=6791534058613427641 CPUtime=0.62 cores=0-7
/proc/15492/task/15494/stat : 15494 (java) S 15490 15490 14549 0 -1 1077944384 2622 0 0 0 54 8 0 0 20 0 28 0 511759122 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772995578512 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15495] ppid=15490 vsize=28766288 memory=397236 CPUtime=0.62 cores=0-7
/proc/15492/task/15495/stat : 15495 (java) S 15490 15490 14549 0 -1 1077944384 2438 0 0 0 54 8 0 0 20 0 28 0 511759122 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772994525712 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15496] ppid=15490 vsize=28766288 memory=1736 CPUtime=0.65 cores=0-7
/proc/15492/task/15496/stat : 15496 (java) S 15490 15490 14549 0 -1 1077944384 3174 0 0 0 57 8 0 0 20 0 28 0 511759122 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772993472912 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15497] ppid=15490 vsize=28766288 memory=1398722017469774279 CPUtime=0.64 cores=0-7
/proc/15492/task/15497/stat : 15497 (java) S 15490 15490 14549 0 -1 1077944384 3843 0 0 0 56 8 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772992420112 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15498] ppid=15490 vsize=28766288 memory=1760 CPUtime=0.64 cores=0-7
/proc/15492/task/15498/stat : 15498 (java) S 15490 15490 14549 0 -1 1077944384 2740 0 0 0 56 8 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772991368336 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15499] ppid=15490 vsize=28766288 memory=111632 CPUtime=0.63 cores=0-7
/proc/15492/task/15499/stat : 15499 (java) S 15490 15490 14549 0 -1 1077944384 2694 0 0 0 56 7 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772990315536 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15500] ppid=15490 vsize=28766288 memory=804 CPUtime=0.63 cores=0-7
/proc/15492/task/15500/stat : 15500 (java) S 15490 15490 14549 0 -1 1077944384 3406 0 0 0 55 8 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772989262736 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15501] ppid=15490 vsize=28766288 memory=1804 CPUtime=0.65 cores=0-7
/proc/15492/task/15501/stat : 15501 (java) S 15490 15490 14549 0 -1 1077944384 2651 0 0 0 57 8 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772988209936 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15502] ppid=15490 vsize=28766288 memory=916 CPUtime=0.64 cores=0-7
/proc/15492/task/15502/stat : 15502 (java) S 15490 15490 14549 0 -1 1077944384 9593 0 0 0 54 10 0 0 20 0 28 0 511759124 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772050622832 139773443967618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15503] ppid=15490 vsize=28766288 memory=1804 CPUtime=0 cores=0-7
/proc/15492/task/15503/stat : 15503 (java) S 15490 15490 14549 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511759125 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772049568864 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15504] ppid=15490 vsize=28766288 memory=916 CPUtime=0 cores=0-7
/proc/15492/task/15504/stat : 15504 (java) S 15490 15490 14549 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 511759125 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772048515968 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15505] ppid=15490 vsize=28766288 memory=4136 CPUtime=0 cores=0-7
/proc/15492/task/15505/stat : 15505 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772047464272 139773443975067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15506] ppid=15490 vsize=28766288 memory=4108 CPUtime=1.77 cores=0-7
/proc/15492/task/15506/stat : 15506 (java) S 15490 15490 14549 0 -1 1077944384 14793 0 0 0 174 3 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772046412656 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15507] ppid=15490 vsize=28766288 memory=1412 CPUtime=1.59 cores=0-7
/proc/15492/task/15507/stat : 15507 (java) S 15490 15490 14549 0 -1 1077944384 15119 0 0 0 157 2 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772045359856 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15508] ppid=15490 vsize=28766288 memory=3764 CPUtime=1.7 cores=0-7
/proc/15492/task/15508/stat : 15508 (java) S 15490 15490 14549 0 -1 1077944384 11798 0 0 0 169 1 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772044307056 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15509] ppid=15490 vsize=28766288 memory=1452 CPUtime=0.64 cores=0-7
/proc/15492/task/15509/stat : 15509 (java) S 15490 15490 14549 0 -1 1077944384 8253 0 0 0 63 1 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772043254256 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15510] ppid=15490 vsize=28766288 memory=407252 CPUtime=0 cores=0-7
/proc/15492/task/15510/stat : 15510 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772042201696 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15511] ppid=15490 vsize=28766288 memory=1736 CPUtime=0.06 cores=0-7
/proc/15492/task/15511/stat : 15511 (java) S 15490 15490 14549 0 -1 1077944384 2061 0 0 0 0 6 0 0 20 0 28 0 511759128 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772041148976 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15576] ppid=15490 vsize=28766288 memory=6168 CPUtime=346.35 cores=0-7
/proc/15492/task/15576/stat : 15576 (java) R 15490 15490 14549 0 -1 4202560 8028 0 0 0 34633 2 0 0 20 0 28 0 511759208 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772026665752 139773085950880 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15577] ppid=15490 vsize=28766288 memory=14012 CPUtime=345.88 cores=0-7
/proc/15492/task/15577/stat : 15577 (java) R 15490 15490 14549 0 -1 4202560 2416 0 0 0 34588 0 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772029824760 139773086321139 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15578] ppid=15490 vsize=28766288 memory=33000 CPUtime=345.75 cores=0-7
/proc/15492/task/15578/stat : 15578 (java) R 15490 15490 14549 0 -1 4202560 2353 0 0 0 34574 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772031931528 139773087085855 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15579] ppid=15490 vsize=28766288 memory=14068 CPUtime=345.3 cores=0-7
/proc/15492/task/15579/stat : 15579 (java) R 15490 15490 14549 0 -1 4202560 4297 0 0 0 34526 4 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772028772856 139773088101652 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15580] ppid=15490 vsize=28766288 memory=2120 CPUtime=346.34 cores=0-7
/proc/15492/task/15580/stat : 15580 (java) R 15490 15490 14549 0 -1 4202560 3593 0 0 0 34631 3 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772024562040 139773086322400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15581] ppid=15490 vsize=28766288 memory=504 CPUtime=345.34 cores=0-7
/proc/15492/task/15581/stat : 15581 (java) R 15490 15490 14549 0 -1 4202560 2798 0 0 0 34533 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772025613952 139773086322160 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15582] ppid=15490 vsize=28766288 memory=1560 CPUtime=346.63 cores=0-7
/proc/15492/task/15582/stat : 15582 (java) R 15490 15490 14549 0 -1 4202560 1916 0 0 0 34662 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772027719736 139773086823945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15583] ppid=15490 vsize=28766288 memory=924 CPUtime=345.19 cores=0-7
/proc/15492/task/15583/stat : 15583 (java) R 15490 15490 14549 0 -1 4202560 2835 0 0 0 34517 2 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772030880384 139773087156960 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
Current children cumulated CPU time: 2780.34 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 423040 KiB
[startup+350.701 s]
/proc/loadavg: 8.13 8.31 8.30 9/219 15603
/proc/meminfo: memFree=25134288/32770624 swapFree=67002572/67108860
[pid=15490] ppid=15487 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15490/stat : 15490 (xcsp3-exec) S 15487 15490 14549 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511759121 115843072 363 33554432000 4194304 5098028 140723389803792 140723389801896 140441824047740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13778944 140723389809526 140723389809769 140723389809769 140723389812682 0
/proc/15490/statm: 28282 363 304 221 0 87 0
[pid=15492] ppid=15490 vsize=28766288 memory=421588 CPUtime=2781.05 cores=0-7
/proc/15492/stat : 15492 (java) S 15490 15490 14549 0 -1 1077944320 125434 0 0 0 278001 104 0 0 20 0 28 0 511759121 29456678912 105397 33554432000 4194304 4196468 140722615301152 140722615283696 139773443956471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
/proc/15492/statm: 7191572 105397 3518 1 0 7152672 0
[pid=15492/tid=15493] ppid=15490 vsize=28766288 memory=407252 CPUtime=0.57 cores=0-7
/proc/15492/task/15493/stat : 15493 (java) S 15490 15490 14549 0 -1 1077944384 9153 0 0 0 53 4 0 0 20 0 28 0 511759122 29456678912 105397 33554432000 4194304 4196468 140722615301152 139773448197248 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15494] ppid=15490 vsize=28766288 memory=397236 CPUtime=0.62 cores=0-7
/proc/15492/task/15494/stat : 15494 (java) S 15490 15490 14549 0 -1 1077944384 2622 0 0 0 54 8 0 0 20 0 28 0 511759122 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772995578512 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15495] ppid=15490 vsize=28766288 memory=421588 CPUtime=0.62 cores=0-7
/proc/15492/task/15495/stat : 15495 (java) S 15490 15490 14549 0 -1 1077944384 2438 0 0 0 54 8 0 0 20 0 28 0 511759122 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772994525712 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15496] ppid=15490 vsize=28766288 memory=1452 CPUtime=0.65 cores=0-7
/proc/15492/task/15496/stat : 15496 (java) S 15490 15490 14549 0 -1 1077944384 3174 0 0 0 57 8 0 0 20 0 28 0 511759122 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772993472912 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15497] ppid=15490 vsize=28766288 memory=383436 CPUtime=0.64 cores=0-7
/proc/15492/task/15497/stat : 15497 (java) S 15490 15490 14549 0 -1 1077944384 3843 0 0 0 56 8 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772992420112 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15498] ppid=15490 vsize=28766288 memory=63 CPUtime=0.64 cores=0-7
/proc/15492/task/15498/stat : 15498 (java) S 15490 15490 14549 0 -1 1077944384 2740 0 0 0 56 8 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772991368336 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15499] ppid=15490 vsize=28766288 memory=1452 CPUtime=0.63 cores=0-7
/proc/15492/task/15499/stat : 15499 (java) S 15490 15490 14549 0 -1 1077944384 2694 0 0 0 56 7 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772990315536 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15500] ppid=15490 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7
/proc/15492/task/15500/stat : 15500 (java) S 15490 15490 14549 0 -1 1077944384 3406 0 0 0 55 8 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772989262736 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15501] ppid=15490 vsize=28766288 memory=288230377091498274 CPUtime=0.65 cores=0-7
/proc/15492/task/15501/stat : 15501 (java) S 15490 15490 14549 0 -1 1077944384 2651 0 0 0 57 8 0 0 20 0 28 0 511759123 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772988209936 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15502] ppid=15490 vsize=28766288 memory=63760 CPUtime=0.64 cores=0-7
/proc/15492/task/15502/stat : 15502 (java) S 15490 15490 14549 0 -1 1077944384 9593 0 0 0 54 10 0 0 20 0 28 0 511759124 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772050622832 139773443967618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15503] ppid=15490 vsize=28766288 memory=984 CPUtime=0 cores=0-7
/proc/15492/task/15503/stat : 15503 (java) S 15490 15490 14549 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511759125 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772049568864 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15504] ppid=15490 vsize=28766288 memory=1556 CPUtime=0 cores=0-7
/proc/15492/task/15504/stat : 15504 (java) S 15490 15490 14549 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 511759125 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772048515968 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15505] ppid=15490 vsize=28766288 memory=740 CPUtime=0 cores=0-7
/proc/15492/task/15505/stat : 15505 (java) S 15490 15490 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772047464272 139773443975067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15506] ppid=15490 vsize=28766288 memory=407252 CPUtime=1.77 cores=0-7
/proc/15492/task/15506/stat : 15506 (java) S 15490 15490 14549 0 -1 1077944384 14793 0 0 0 174 3 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772046412656 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15507] ppid=15490 vsize=28766288 memory=1452 CPUtime=1.59 cores=0-7
/proc/15492/task/15507/stat : 15507 (java) S 15490 15490 14549 0 -1 1077944384 15119 0 0 0 157 2 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772045359856 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15508] ppid=15490 vsize=28766288 memory=1452 CPUtime=1.7 cores=0-7
/proc/15492/task/15508/stat : 15508 (java) S 15490 15490 14549 0 -1 1077944384 11798 0 0 0 169 1 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772044307056 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15509] ppid=15490 vsize=28766288 memory=407252 CPUtime=0.64 cores=0-7
/proc/15492/task/15509/stat : 15509 (java) S 15490 15490 14549 0 -1 1077944384 8253 0 0 0 63 1 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772043254256 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15510] ppid=15490 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/15492/task/15510/stat : 15510 (java) S 15490 15490 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511759127 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772042201696 139773443966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15511] ppid=15490 vsize=28766288 memory=1452 CPUtime=0.06 cores=0-7
/proc/15492/task/15511/stat : 15511 (java) S 15490 15490 14549 0 -1 1077944384 2061 0 0 0 0 6 0 0 20 0 28 0 511759128 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772041148976 139773443967618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15576] ppid=15490 vsize=28766288 memory=1452 CPUtime=346.44 cores=0-7
/proc/15492/task/15576/stat : 15576 (java) R 15490 15490 14549 0 -1 4202560 8028 0 0 0 34642 2 0 0 20 0 28 0 511759208 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772026665752 139773086322315 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15577] ppid=15490 vsize=28766288 memory=4108 CPUtime=345.94 cores=0-7
/proc/15492/task/15577/stat : 15577 (java) R 15490 15490 14549 0 -1 4202560 2416 0 0 0 34594 0 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772029824512 139773086321783 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15578] ppid=15490 vsize=28766288 memory=1412 CPUtime=345.85 cores=0-7
/proc/15492/task/15578/stat : 15578 (java) R 15490 15490 14549 0 -1 4202560 2353 0 0 0 34584 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772031931384 139773086322096 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15579] ppid=15490 vsize=28766288 memory=3764 CPUtime=345.39 cores=0-7
/proc/15492/task/15579/stat : 15579 (java) R 15490 15490 14549 0 -1 4202560 4297 0 0 0 34535 4 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772028772856 139773086320883 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15580] ppid=15490 vsize=28766288 memory=1398722017469774279 CPUtime=346.41 cores=0-7
/proc/15492/task/15580/stat : 15580 (java) R 15490 15490 14549 0 -1 4202560 3593 0 0 0 34638 3 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772024561912 139773086322074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15581] ppid=15490 vsize=28766288 memory=984 CPUtime=345.43 cores=0-7
/proc/15492/task/15581/stat : 15581 (java) R 15490 15490 14549 0 -1 4202560 2798 0 0 0 34542 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772025614776 139773085950597 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15582] ppid=15490 vsize=28766288 memory=1940 CPUtime=346.72 cores=0-7
/proc/15492/task/15582/stat : 15582 (java) R 15490 15490 14549 0 -1 4202560 1916 0 0 0 34671 1 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772027720184 139773087081292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
[pid=15492/tid=15583] ppid=15490 vsize=28766288 memory=1452 CPUtime=345.29 cores=0-7
/proc/15492/task/15583/stat : 15583 (java) R 15490 15490 14549 0 -1 4202560 2836 0 0 0 34527 2 0 0 20 0 28 0 511759209 29456678912 105397 33554432000 4194304 4196468 140722615301152 139772030880496 139773086321152 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13426688 140722615309290 140722615309462 140722615309462 140722615312335 0
Current children cumulated CPU time: 2781.05 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 423040 KiB
Child status: 0
Real time (s): 350.722
CPU time (s): 2781.16
CPU user time (s): 2780.11
CPU system time (s): 1.05693
CPU usage (%): 792.982
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 423040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2780.11
system time used= 1.05693
maximum resident set size= 421808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63091
involuntary context switches= 34217
# summary of solver processes directly reported to runsolver:
# pid: 15490
# total CPU time (s): 2781.16
# total CPU user time (s): 2780.11
# total CPU system time (s): 1.05693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.19524 second user time and 3.55426 second system time
The end
Begin job on node148 at 2019-09-24 22:12:18
IDJOB=4407076
IDBENCH=135746
IDSOLVER=2871
FILE ID=node148/4407076-1569355976
RUNJOBID= node148-1569348372-14576
PBS_JOBID= 21705081
Free space on /tmp= 22084 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n15/TravellingSalesman-15-30-12.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-4407076-1569355976/watcher-4407076-1569355976 -o /tmp/evaluation-result-4407076-1569355976/solver-4407076-1569355976 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569348372-14576 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 180046270 HOME/instance-4407076-1569355976.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= dba33b05662b19bf60999f99ad872bed
RANDOM SEED=180046270
node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.13
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.13
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.13
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.13
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: 25540672 kB
MemAvailable: 31854960 kB
Buffers: 59484 kB
Cached: 6526804 kB
SwapCached: 3396 kB
Active: 4343208 kB
Inactive: 2248800 kB
Active(anon): 4644 kB
Inactive(anon): 56516 kB
Active(file): 4338564 kB
Inactive(file): 2192284 kB
Unevictable: 111008 kB
Mlocked: 111008 kB
SwapTotal: 67108860 kB
SwapFree: 67002572 kB
Dirty: 26188 kB
Writeback: 0 kB
AnonPages: 123628 kB
Mapped: 57144 kB
Shmem: 47080 kB
Slab: 227464 kB
SReclaimable: 198548 kB
SUnreclaim: 28916 kB
KernelStack: 3728 kB
PageTables: 6100 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 513992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 77824 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= 22060 MiB
End job on node148 at 2019-09-24 22:18:09