0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407258-1569347626.xml" -tl '2016s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4407258-1569347626.xml, -tl, 2016s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.28 c parse instance...
0.73/0.47 c solve instance...
0.73/0.49 o 138
0.73/0.50 o 401
0.73/0.51 o 408
0.73/0.51 o 452
1.06/0.52 o 655
1.06/0.53 o 668
1.06/0.54 o 701
1.06/0.59 o 715
1.06/0.59 o 718
1.06/0.60 o 727
1.06/0.60 o 730
1.06/0.60 o 732
1.06/0.60 o 735
1.06/0.61 o 738
1.62/0.61 o 741
1.62/0.62 o 745
1.62/0.63 o 781
1.62/0.63 o 797
1.62/0.66 o 798
1.62/0.66 o 816
1.62/0.68 o 820
1.62/0.70 o 835
2.24/0.73 o 836
2.24/0.73 o 841
2.24/0.74 o 850
2.24/0.76 o 855
2.24/0.77 o 857
2.24/0.78 o 873
2.94/0.81 o 874
2.94/0.81 o 889
2.94/0.84 o 903
2.94/0.85 o 904
2.94/0.86 o 923
2.94/0.87 o 952
2.94/0.89 o 953
3.67/0.93 o 955
3.67/0.95 o 961
3.67/0.99 o 964
4.49/1.07 o 969
5.16/1.13 o 972
5.93/1.21 o 978
5.93/1.23 o 985
5.93/1.24 o 992
252.01/33.62 s OPTIMUM FOUND
252.01/33.62 v <instantiation>
252.01/33.62 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>
252.01/33.62 v <values>0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 </values>
252.01/33.62 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 (13214 MiB free)
memory of node 1: 16384 MiB (11603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407258-1569347626/watcher-4407258-1569347626 -o /tmp/evaluation-result-4407258-1569347626/solver-4407258-1569347626 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 403979807 HOME/instance-4407258-1569347626.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16812, runsolver pid=16809
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 8.20 8.06 8.15 2/209 16833
/proc/meminfo: memFree=25395884/32770624 swapFree=66941040/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511033396 115843072 363 33554432000 4194304 5098028 140724256503824 140724256501928 140139807453820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39280640 140724256510844 140724256511086 140724256511086 140724256513994 0
/proc/16812/statm: 28282 363 304 221 0 87 0
[pid=16814] ppid=16812 vsize=28227396 memory=30112 CPUtime=0.12 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 9857 0 -1 1077944320 5487 0 0 0 11 1 0 0 20 0 20 0 511033397 28904853504 7528 33554432000 4194304 4196468 140727731851616 140727731834160 140068210650871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
/proc/16814/statm: 7056849 7528 3121 1 0 7019032 0
[pid=16814/tid=16815] ppid=16812 vsize=28227396 memory=8258082674853191064 CPUtime=0.08 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 9857 0 -1 4202560 3401 0 0 0 8 0 0 0 20 0 20 0 511033397 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068214877456 140068210672218 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16816] ppid=16812 vsize=28227396 memory=732370415833025509 CPUtime=0 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068163271056 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16817] ppid=16812 vsize=28227396 memory=140277495572096 CPUtime=0 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068162218256 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16818] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068161165968 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16819] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068160113168 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16820] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068159060880 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16821] ppid=16812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068158008080 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16822] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068156955792 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16823] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 7528 33554432000 4194304 4196468 140727731851616 140068155902992 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16824] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033399 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066674522224 140068210662018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16825] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511033400 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066673468192 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16826] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511033400 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066672415856 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16827] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033402 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066671364176 140068210669467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16828] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 9857 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 511033402 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066670312048 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16829] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511033402 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066669259248 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16830] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) R 16812 16812 9857 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511033402 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066601036656 140068210662018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16831] ppid=16812 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) R 16812 16812 9857 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 511033402 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066599983856 140068210662806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16832] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511033402 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066598930784 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16833] ppid=16812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033403 28904853504 7528 33554432000 4194304 4196468 140727731851616 140066597878064 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31564 KiB
[startup+0.210499 s]*
/proc/loadavg: 8.20 8.06 8.15 3/209 16833
/proc/meminfo: memFree=25383028/32770624 swapFree=66941040/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511033396 115843072 363 33554432000 4194304 5098028 140724256503824 140724256501928 140139807453820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39280640 140724256510844 140724256511086 140724256511086 140724256513994 0
/proc/16812/statm: 28282 363 304 221 0 87 0
[pid=16814] ppid=16812 vsize=28227396 memory=41364 CPUtime=0.34 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 9857 0 -1 1077944320 9088 0 0 0 31 3 0 0 20 0 20 0 511033397 28904853504 10341 33554432000 4194304 4196468 140727731851616 140727731834160 140068210650871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
/proc/16814/statm: 7056849 10341 3303 1 0 7019032 0
[pid=16814/tid=16815] ppid=16812 vsize=28227396 memory=576460756329955521 CPUtime=0.2 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 9857 0 -1 4202560 6216 0 0 0 18 2 0 0 20 0 20 0 511033397 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068214880592 140068210662806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16816] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068163271056 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16817] ppid=16812 vsize=28227396 memory=140277495585100 CPUtime=0 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068162218256 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16818] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068161165968 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16819] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068160113168 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16820] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068159060880 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16821] ppid=16812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068158008080 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16822] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068156955792 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16823] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511033398 28904853504 10341 33554432000 4194304 4196468 140727731851616 140068155902992 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16824] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511033399 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066674522224 140068210662018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16825] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511033400 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066673468192 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16826] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511033400 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066672415856 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16827] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033402 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066671364176 140068210669467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16828] ppid=16812 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 9857 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 20 0 511033402 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066670312048 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16829] ppid=16812 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 9857 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 511033402 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066669259248 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16830] ppid=16812 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 9857 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 511033402 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066601036656 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16831] ppid=16812 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) R 16812 16812 9857 0 -1 4202560 716 0 0 0 8 0 0 0 20 0 20 0 511033402 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066599983856 140068190967176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16832] ppid=16812 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511033402 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066598930784 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16833] ppid=16812 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033403 28904853504 10341 33554432000 4194304 4196468 140727731851616 140066597878064 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42816 KiB
[startup+0.311058 s]*
/proc/loadavg: 8.20 8.06 8.15 4/209 16833
/proc/meminfo: memFree=25376504/32770624 swapFree=66941040/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511033396 115843072 363 33554432000 4194304 5098028 140724256503824 140724256501928 140139807453820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39280640 140724256510844 140724256511086 140724256511086 140724256513994 0
/proc/16812/statm: 28282 363 304 221 0 87 0
[pid=16814] ppid=16812 vsize=28231652 memory=50276 CPUtime=0.53 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 9857 0 -1 1077944320 10456 0 0 0 49 4 0 0 20 0 20 0 511033397 28909211648 12569 33554432000 4194304 4196468 140727731851616 140727731834160 140068210650871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
/proc/16814/statm: 7057913 12569 3351 1 0 7019032 0
[pid=16814/tid=16815] ppid=16812 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 9857 0 -1 4202560 7349 0 0 0 27 2 0 0 20 0 20 0 511033397 28909211648 12634 33554432000 4194304 4196468 140727731851616 140068214884656 140068194731358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16816] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28909211648 12634 33554432000 4194304 4196468 140727731851616 140068163271056 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16817] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033398 28909211648 12634 33554432000 4194304 4196468 140727731851616 140068162218256 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16818] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28909211648 12634 33554432000 4194304 4196468 140727731851616 140068161165968 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16819] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28909211648 12637 33554432000 4194304 4196468 140727731851616 140068160113168 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16820] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033398 28909211648 12637 33554432000 4194304 4196468 140727731851616 140068159060880 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16821] ppid=16812 vsize=28231652 memory=140277390076591 CPUtime=0 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28909211648 12637 33554432000 4194304 4196468 140727731851616 140068158008080 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16822] ppid=16812 vsize=28231652 memory=140277390078896 CPUtime=0 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511033398 28909211648 12637 33554432000 4194304 4196468 140727731851616 140068156955792 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16823] ppid=16812 vsize=28231652 memory=140277390081200 CPUtime=0 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511033398 28909211648 12637 33554432000 4194304 4196468 140727731851616 140068155902992 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16824] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511033399 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066674522224 140068210662018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16825] ppid=16812 vsize=28231652 memory=280554780176272 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511033400 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066673468192 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16826] ppid=16812 vsize=28231652 memory=280554780173968 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511033400 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066672415856 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16827] ppid=16812 vsize=28231652 memory=280554780180880 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033402 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066671364176 140068210669467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16828] ppid=16812 vsize=28231652 memory=280554780122160 CPUtime=0.02 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 9857 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 20 0 511033402 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066670312048 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16829] ppid=16812 vsize=28231652 memory=280554780194704 CPUtime=0.03 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) R 16812 16812 9857 0 -1 4202560 175 0 0 0 3 0 0 0 20 0 20 0 511033402 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066669249632 140068189905800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16830] ppid=16812 vsize=28231652 memory=280554780201616 CPUtime=0.02 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 9857 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 20 0 511033402 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066601036656 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16831] ppid=16812 vsize=28231652 memory=280554780199312 CPUtime=0.12 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) S 16812 16812 9857 0 -1 1077944384 817 0 0 0 12 0 0 0 20 0 20 0 511033402 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066599983856 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16832] ppid=16812 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511033402 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066598930784 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16833] ppid=16812 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511033403 28909211648 12637 33554432000 4194304 4196468 140727731851616 140066597878064 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51728 KiB
[startup+0.70097 s]
/proc/loadavg: 8.20 8.06 8.15 4/212 16852
/proc/meminfo: memFree=25319644/32770624 swapFree=66941040/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511033396 115843072 363 33554432000 4194304 5098028 140724256503824 140724256501928 140139807453820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39280640 140724256510844 140724256511086 140724256511086 140724256513994 0
/proc/16812/statm: 28282 363 304 221 0 87 0
[pid=16814] ppid=16812 vsize=28832852 memory=189336 CPUtime=2.24 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 9857 0 -1 1077944320 18056 0 0 0 214 10 0 0 20 0 22 0 511033397 29524840448 47334 33554432000 4194304 4196468 140727731851616 140727731834160 140068210650871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
/proc/16814/statm: 7208213 47334 3485 1 0 7169313 0
[pid=16814/tid=16815] ppid=16812 vsize=28832852 memory=140277390426960 CPUtime=0.46 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) R 16812 16812 9857 0 -1 1077944384 8574 0 0 0 43 3 0 0 20 0 22 0 511033397 29524840448 47334 33554432000 4194304 4196468 140727731851616 140068214890816 140068210661077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16816] ppid=16812 vsize=28832852 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 22 0 511033398 29524840448 47334 33554432000 4194304 4196468 140727731851616 140068163271056 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16817] ppid=16812 vsize=28832852 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 511033398 29524840448 47334 33554432000 4194304 4196468 140727731851616 140068162218256 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16818] ppid=16812 vsize=28832852 memory=0 CPUtime=0 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 22 0 511033398 29524840448 47334 33554432000 4194304 4196468 140727731851616 140068161165968 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
################
# More data... #
################
[pid=16814/tid=16831] ppid=16812 vsize=28899416 memory=1560 CPUtime=0.5 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) S 16812 16812 9857 0 -1 1077944384 3652 0 0 0 49 1 0 0 20 0 28 0 511033402 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066599983856 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16832] ppid=16812 vsize=28899416 memory=500 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511033402 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066598930784 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16833] ppid=16812 vsize=28899416 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) R 16812 16812 9857 0 -1 1077944384 722 0 0 0 0 0 0 0 20 0 28 0 511033403 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066597878064 140068210662018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17178] ppid=16812 vsize=28899416 memory=33564 CPUtime=29.36 cores=0-7
/proc/16814/task/17178/stat : 17178 (java) R 16812 16812 9857 0 -1 4202560 984 0 0 0 2910 26 0 0 20 0 28 0 511033521 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066586794752 140067829407783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17179] ppid=16812 vsize=28899416 memory=2116 CPUtime=29.29 cores=0-7
/proc/16814/task/17179/stat : 17179 (java) R 16812 16812 9857 0 -1 4202560 599 0 0 0 2900 29 0 0 20 0 28 0 511033521 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066587848512 140067829528556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17180] ppid=16812 vsize=28899416 memory=14008 CPUtime=29.48 cores=0-7
/proc/16814/task/17180/stat : 17180 (java) R 16812 16812 9857 0 -1 4202560 1446 0 0 0 2919 29 0 0 20 0 28 0 511033521 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066582585536 140067829529565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17181] ppid=16812 vsize=28899416 memory=33564 CPUtime=30.08 cores=0-7
/proc/16814/task/17181/stat : 17181 (java) S 16812 16812 9857 0 -1 1077944384 1184 0 0 0 2989 19 0 0 20 0 28 0 511033521 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066581532736 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17182] ppid=16812 vsize=28899416 memory=2116 CPUtime=29.96 cores=0-7
/proc/16814/task/17182/stat : 17182 (java) R 16812 16812 9857 0 -1 4202560 960 0 0 0 2973 23 0 0 20 0 28 0 511033521 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066583638464 140067830705134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17183] ppid=16812 vsize=28899416 memory=12024 CPUtime=29.9 cores=0-7
/proc/16814/task/17183/stat : 17183 (java) R 16812 16812 9857 0 -1 1077944384 890 0 0 0 2972 18 0 0 20 0 28 0 511033521 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066579427648 140068210661077 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17184] ppid=16812 vsize=28899416 memory=1560 CPUtime=29.83 cores=0-7
/proc/16814/task/17184/stat : 17184 (java) R 16812 16812 9857 0 -1 4202560 988 0 0 0 2964 19 0 0 20 0 28 0 511033521 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066580479584 140067829529563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17185] ppid=16812 vsize=28899416 memory=500 CPUtime=29.3 cores=0-7
/proc/16814/task/17185/stat : 17185 (java) S 16812 16812 9857 0 -1 1077944384 620 0 0 0 2904 26 0 0 20 0 28 0 511033522 29593001984 157863 33554432000 4194304 4196468 140727731851616 140066584690144 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
Current children cumulated CPU time: 245.96 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 632904 KiB
[startup+33.2016 s]
/proc/loadavg: 8.05 8.04 8.14 9/217 17187
/proc/meminfo: memFree=24794400/32770624 swapFree=66941040/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511033396 115843072 363 33554432000 4194304 5098028 140724256503824 140724256501928 140139807453820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39280640 140724256510844 140724256511086 140724256511086 140724256513994 0
/proc/16812/statm: 28282 363 304 221 0 87 0
[pid=16814] ppid=16812 vsize=28899416 memory=633500 CPUtime=248.96 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 9857 0 -1 1077944320 55818 0 0 0 24656 240 0 0 20 0 28 0 511033397 29593001984 158375 33554432000 4194304 4196468 140727731851616 140727731834160 140068210650871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
/proc/16814/statm: 7224854 158375 3516 1 0 7185954 0
[pid=16814/tid=16815] ppid=16812 vsize=28899416 memory=1228 CPUtime=0.47 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) S 16812 16812 9857 0 -1 1077944384 8574 0 0 0 44 3 0 0 20 0 28 0 511033397 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068214891648 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16816] ppid=16812 vsize=28899416 memory=6140 CPUtime=0.11 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 9857 0 -1 1077944384 886 0 0 0 8 3 0 0 20 0 28 0 511033398 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068163271056 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16817] ppid=16812 vsize=28899416 memory=780 CPUtime=0.11 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 9857 0 -1 1077944384 671 0 0 0 8 3 0 0 20 0 28 0 511033398 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068162218256 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16818] ppid=16812 vsize=28899416 memory=14008 CPUtime=0.12 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 9857 0 -1 1077944384 823 0 0 0 9 3 0 0 20 0 28 0 511033398 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068161165968 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16819] ppid=16812 vsize=28899416 memory=33564 CPUtime=0.11 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 9857 0 -1 1077944384 568 0 0 0 8 3 0 0 20 0 28 0 511033398 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068160113168 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16820] ppid=16812 vsize=28899416 memory=2116 CPUtime=0.11 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 9857 0 -1 1077944384 331 0 0 0 8 3 0 0 20 0 28 0 511033398 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068159060880 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16821] ppid=16812 vsize=28899416 memory=3984 CPUtime=0.12 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 9857 0 -1 1077944384 535 0 0 0 9 3 0 0 20 0 28 0 511033398 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068158008080 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16822] ppid=16812 vsize=28899416 memory=2832 CPUtime=0.11 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 9857 0 -1 1077944384 954 0 0 0 9 2 0 0 20 0 28 0 511033398 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068156955792 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16823] ppid=16812 vsize=28899416 memory=784 CPUtime=0.12 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 9857 0 -1 1077944384 322 0 0 0 9 3 0 0 20 0 28 0 511033398 29593001984 158375 33554432000 4194304 4196468 140727731851616 140068155902992 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16824] ppid=16812 vsize=28899416 memory=6791534058613427641 CPUtime=0.05 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 9857 0 -1 1077944384 2593 0 0 0 4 1 0 0 20 0 28 0 511033399 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066674522224 140068210662018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16825] ppid=16812 vsize=28899416 memory=630120 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511033400 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066673468256 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16826] ppid=16812 vsize=28899416 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 9857 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511033400 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066672415856 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16827] ppid=16812 vsize=28899416 memory=1228 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511033402 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066671364176 140068210669467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16828] ppid=16812 vsize=28899416 memory=6140 CPUtime=1.1 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 9857 0 -1 1077944384 5541 0 0 0 109 1 0 0 20 0 28 0 511033402 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066670312048 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16829] ppid=16812 vsize=28899416 memory=780 CPUtime=1.23 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 9857 0 -1 1077944384 7121 0 0 0 121 2 0 0 20 0 28 0 511033402 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066669259248 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16830] ppid=16812 vsize=28899416 memory=288230574492221466 CPUtime=1.11 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 9857 0 -1 1077944384 7239 0 0 0 109 2 0 0 20 0 28 0 511033402 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066601036656 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16831] ppid=16812 vsize=28899416 memory=288230596050944315 CPUtime=0.5 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) S 16812 16812 9857 0 -1 1077944384 3652 0 0 0 49 1 0 0 20 0 28 0 511033402 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066599983856 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16832] ppid=16812 vsize=28899416 memory=13572582825789943 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511033402 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066598930784 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16833] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 9857 0 -1 1077944384 722 0 0 0 0 0 0 0 20 0 28 0 511033403 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066597878064 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17178] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=29.74 cores=0-7
/proc/16814/task/17178/stat : 17178 (java) R 16812 16812 9857 0 -1 4202560 985 0 0 0 2947 27 0 0 20 0 28 0 511033521 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066586794848 140068195861486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17179] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=29.65 cores=0-7
/proc/16814/task/17179/stat : 17179 (java) R 16812 16812 9857 0 -1 4202560 599 0 0 0 2936 29 0 0 20 0 28 0 511033521 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066587848512 140067829494592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17180] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=29.85 cores=0-7
/proc/16814/task/17180/stat : 17180 (java) S 16812 16812 9857 0 -1 1077944384 1448 0 0 0 2956 29 0 0 20 0 28 0 511033521 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066582585536 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17181] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=30.43 cores=0-7
/proc/16814/task/17181/stat : 17181 (java) R 16812 16812 9857 0 -1 4202560 1210 0 0 0 3024 19 0 0 20 0 28 0 511033521 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066581532640 140067829266194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17182] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=30.32 cores=0-7
/proc/16814/task/17182/stat : 17182 (java) R 16812 16812 9857 0 -1 4202560 961 0 0 0 3009 23 0 0 20 0 28 0 511033521 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066583638464 140067830961015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17183] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=30.28 cores=0-7
/proc/16814/task/17183/stat : 17183 (java) R 16812 16812 9857 0 -1 1077944384 891 0 0 0 3009 19 0 0 20 0 28 0 511033521 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066579427552 140068210662018 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17184] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=30.21 cores=0-7
/proc/16814/task/17184/stat : 17184 (java) S 16812 16812 9857 0 -1 1077944384 989 0 0 0 3002 19 0 0 20 0 28 0 511033521 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066580479680 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17185] ppid=16812 vsize=28899416 memory=74392591665898 CPUtime=29.69 cores=0-7
/proc/16814/task/17185/stat : 17185 (java) R 16812 16812 9857 0 -1 4202560 621 0 0 0 2942 27 0 0 20 0 28 0 511033522 29593001984 158375 33554432000 4194304 4196468 140727731851616 140066584690240 140067830431456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
Current children cumulated CPU time: 248.96 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 634952 KiB
[startup+33.6013 s]
/proc/loadavg: 8.05 8.04 8.14 9/217 17187
/proc/meminfo: memFree=24794400/32770624 swapFree=66941040/67108860
[pid=16812] ppid=16809 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16812/stat : 16812 (xcsp3-exec) S 16809 16812 9857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511033396 115843072 363 33554432000 4194304 5098028 140724256503824 140724256501928 140139807453820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39280640 140724256510844 140724256511086 140724256511086 140724256513994 0
/proc/16812/statm: 28282 363 304 221 0 87 0
[pid=16814] ppid=16812 vsize=28899416 memory=639132 CPUtime=252.01 cores=0-7
/proc/16814/stat : 16814 (java) S 16812 16812 9857 0 -1 1077944320 55904 0 0 0 24957 244 0 0 20 0 28 0 511033397 29593001984 159783 33554432000 4194304 4196468 140727731851616 140727731834160 140068210650871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
/proc/16814/statm: 7224854 159783 3516 1 0 7185954 0
[pid=16814/tid=16815] ppid=16812 vsize=28899416 memory=6791534058613427641 CPUtime=0.47 cores=0-7
/proc/16814/task/16815/stat : 16815 (java) S 16812 16812 9857 0 -1 1077944384 8574 0 0 0 44 3 0 0 20 0 28 0 511033397 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068214891648 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16816] ppid=16812 vsize=28899416 memory=630808 CPUtime=0.12 cores=0-7
/proc/16814/task/16816/stat : 16816 (java) S 16812 16812 9857 0 -1 1077944384 890 0 0 0 9 3 0 0 20 0 28 0 511033398 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068163271056 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16817] ppid=16812 vsize=28899416 memory=-1161699032755964614 CPUtime=0.12 cores=0-7
/proc/16814/task/16817/stat : 16817 (java) S 16812 16812 9857 0 -1 1077944384 672 0 0 0 9 3 0 0 20 0 28 0 511033398 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068162218256 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16818] ppid=16812 vsize=28899416 memory=-7019007802211101904 CPUtime=0.12 cores=0-7
/proc/16814/task/16818/stat : 16818 (java) S 16812 16812 9857 0 -1 1077944384 825 0 0 0 9 3 0 0 20 0 28 0 511033398 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068161165968 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16819] ppid=16812 vsize=28899416 memory=0 CPUtime=0.12 cores=0-7
/proc/16814/task/16819/stat : 16819 (java) S 16812 16812 9857 0 -1 1077944384 570 0 0 0 9 3 0 0 20 0 28 0 511033398 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068160113168 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16820] ppid=16812 vsize=28899416 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/16814/task/16820/stat : 16820 (java) S 16812 16812 9857 0 -1 1077944384 337 0 0 0 8 3 0 0 20 0 28 0 511033398 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068159060880 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16821] ppid=16812 vsize=28899416 memory=808 CPUtime=0.12 cores=0-7
/proc/16814/task/16821/stat : 16821 (java) S 16812 16812 9857 0 -1 1077944384 537 0 0 0 9 3 0 0 20 0 28 0 511033398 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068158008080 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16822] ppid=16812 vsize=28899416 memory=1804 CPUtime=0.11 cores=0-7
/proc/16814/task/16822/stat : 16822 (java) S 16812 16812 9857 0 -1 1077944384 955 0 0 0 9 2 0 0 20 0 28 0 511033398 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068156955792 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16823] ppid=16812 vsize=28899416 memory=916 CPUtime=0.13 cores=0-7
/proc/16814/task/16823/stat : 16823 (java) S 16812 16812 9857 0 -1 1077944384 324 0 0 0 10 3 0 0 20 0 28 0 511033398 29593001984 159783 33554432000 4194304 4196468 140727731851616 140068155902992 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16824] ppid=16812 vsize=28899416 memory=4472 CPUtime=0.05 cores=0-7
/proc/16814/task/16824/stat : 16824 (java) S 16812 16812 9857 0 -1 1077944384 2593 0 0 0 4 1 0 0 20 0 28 0 511033399 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066674522224 140068210662018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16825] ppid=16812 vsize=28899416 memory=4096 CPUtime=0 cores=0-7
/proc/16814/task/16825/stat : 16825 (java) S 16812 16812 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 511033400 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066673468256 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16826] ppid=16812 vsize=28899416 memory=1408 CPUtime=0 cores=0-7
/proc/16814/task/16826/stat : 16826 (java) S 16812 16812 9857 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511033400 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066672415856 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16827] ppid=16812 vsize=28899416 memory=3140 CPUtime=0 cores=0-7
/proc/16814/task/16827/stat : 16827 (java) S 16812 16812 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511033402 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066671364176 140068210669467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16828] ppid=16812 vsize=28899416 memory=1452 CPUtime=1.1 cores=0-7
/proc/16814/task/16828/stat : 16828 (java) S 16812 16812 9857 0 -1 1077944384 5541 0 0 0 109 1 0 0 20 0 28 0 511033402 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066670312048 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16829] ppid=16812 vsize=28899416 memory=500 CPUtime=1.23 cores=0-7
/proc/16814/task/16829/stat : 16829 (java) S 16812 16812 9857 0 -1 1077944384 7121 0 0 0 121 2 0 0 20 0 28 0 511033402 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066669259248 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16830] ppid=16812 vsize=28899416 memory=928 CPUtime=1.11 cores=0-7
/proc/16814/task/16830/stat : 16830 (java) S 16812 16812 9857 0 -1 1077944384 7239 0 0 0 109 2 0 0 20 0 28 0 511033402 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066601036656 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16831] ppid=16812 vsize=28899416 memory=1984 CPUtime=0.5 cores=0-7
/proc/16814/task/16831/stat : 16831 (java) S 16812 16812 9857 0 -1 1077944384 3652 0 0 0 49 1 0 0 20 0 28 0 511033402 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066599983856 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16832] ppid=16812 vsize=28899416 memory=2364 CPUtime=0 cores=0-7
/proc/16814/task/16832/stat : 16832 (java) S 16812 16812 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511033402 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066598930784 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=16833] ppid=16812 vsize=28899416 memory=1744 CPUtime=0 cores=0-7
/proc/16814/task/16833/stat : 16833 (java) S 16812 16812 9857 0 -1 1077944384 722 0 0 0 0 0 0 0 20 0 28 0 511033403 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066597878064 140068210662018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17178] ppid=16812 vsize=28899416 memory=924 CPUtime=30.1 cores=0-7
/proc/16814/task/17178/stat : 17178 (java) R 16812 16812 9857 0 -1 4202560 989 0 0 0 2983 27 0 0 20 0 28 0 511033521 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066586794848 140067829407831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17179] ppid=16812 vsize=28899416 memory=1448 CPUtime=30.03 cores=0-7
/proc/16814/task/17179/stat : 17179 (java) S 16812 16812 9857 0 -1 1077944384 605 0 0 0 2973 30 0 0 20 0 28 0 511033521 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066587848512 140068210661077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17180] ppid=16812 vsize=28899416 memory=1748 CPUtime=30.23 cores=0-7
/proc/16814/task/17180/stat : 17180 (java) R 16812 16812 9857 0 -1 4202560 1461 0 0 0 2994 29 0 0 20 0 28 0 511033521 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066582585536 140067829699884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17181] ppid=16812 vsize=28899416 memory=111632 CPUtime=30.82 cores=0-7
/proc/16814/task/17181/stat : 17181 (java) R 16812 16812 9857 0 -1 4202560 1214 0 0 0 3062 20 0 0 20 0 28 0 511033521 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066581532736 140067829529538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17182] ppid=16812 vsize=28899416 memory=808 CPUtime=30.69 cores=0-7
/proc/16814/task/17182/stat : 17182 (java) R 16812 16812 9857 0 -1 4202560 974 0 0 0 3046 23 0 0 20 0 28 0 511033521 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066583638464 140067830705342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17183] ppid=16812 vsize=28899416 memory=1804 CPUtime=30.65 cores=0-7
/proc/16814/task/17183/stat : 17183 (java) R 16812 16812 9857 0 -1 4202560 897 0 0 0 3046 19 0 0 20 0 28 0 511033521 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066579427552 140067830706207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17184] ppid=16812 vsize=28899416 memory=916 CPUtime=30.59 cores=0-7
/proc/16814/task/17184/stat : 17184 (java) R 16812 16812 9857 0 -1 4202560 1000 0 0 0 3039 20 0 0 20 0 28 0 511033521 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066580479584 140067830706344 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
[pid=16814/tid=17185] ppid=16812 vsize=28899416 memory=63088 CPUtime=30.05 cores=0-7
/proc/16814/task/17185/stat : 17185 (java) R 16812 16812 9857 0 -1 1077944384 630 0 0 0 2978 27 0 0 20 0 28 0 511033522 29593001984 159783 33554432000 4194304 4196468 140727731851616 140066584690144 140068210662018 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6311936 140727731856368 140727731856539 140727731856539 140727731859407 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 29012544 KiB
Current children cumulated memory: 640584 KiB
Child status: 0
Real time (s): 33.6355
CPU time (s): 252.16
CPU user time (s): 249.703
CPU system time (s): 2.45709
CPU usage (%): 749.685
Max. virtual memory (cumulated for all children) (KiB): 29014540
Max. memory (cumulated for all children) (KiB): 641096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.703
system time used= 2.45709
maximum resident set size= 639644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 665265
involuntary context switches= 532
# summary of solver processes directly reported to runsolver:
# pid: 16812
# total CPU time (s): 252.16
# total CPU user time (s): 249.703
# total CPU system time (s): 2.45709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.284442 second user time and 0.443132 second system time
The end
Begin job on node139 at 2019-09-24 19:55:59
IDJOB=4407258
IDBENCH=133454
IDSOLVER=2872
FILE ID=node139/4407258-1569347626
RUNJOBID= node139-1569336112-9884
PBS_JOBID= 21705055
Free space on /tmp= 5144 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-17.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-4407258-1569347626/watcher-4407258-1569347626 -o /tmp/evaluation-result-4407258-1569347626/solver-4407258-1569347626 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 403979807 HOME/instance-4407258-1569347626.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 072cba4c7f6c08974f35ec38dd54383a
RANDOM SEED=403979807
node139.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.57
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.57
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.57
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.57
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: 25412636 kB
MemAvailable: 31778892 kB
Buffers: 106000 kB
Cached: 6348608 kB
SwapCached: 64832 kB
Active: 3226232 kB
Inactive: 3298484 kB
Active(anon): 4352 kB
Inactive(anon): 121752 kB
Active(file): 3221880 kB
Inactive(file): 3176732 kB
Unevictable: 107100 kB
Mlocked: 107100 kB
SwapTotal: 67108860 kB
SwapFree: 66941040 kB
Dirty: 26276 kB
Writeback: 0 kB
AnonPages: 125732 kB
Mapped: 57524 kB
Shmem: 47380 kB
Slab: 426180 kB
SReclaimable: 396104 kB
SUnreclaim: 30076 kB
KernelStack: 3680 kB
PageTables: 6028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 79872 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 5120 MiB
End job on node139 at 2019-09-24 19:56:33