0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399928-1568708403.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4399928-1568708403.xml, -tl, 20160s, -p, 8]
0.34/0.22 c 8 solvers in parallel
0.34/0.29 c parse instance...
0.72/0.70 c solve instance...
0.91/0.73 o 181
0.91/0.74 o 199
0.91/0.74 o 213
0.91/0.75 o 364
0.91/0.75 o 383
0.91/0.76 o 447
0.91/0.76 o 448
0.91/0.76 o 556
0.91/0.76 o 572
0.91/0.77 o 583
0.91/0.77 o 613
0.91/0.78 o 622
0.91/0.78 o 670
0.91/0.78 o 681
0.91/0.78 o 703
0.91/0.79 o 868
0.91/0.79 o 881
0.91/0.79 o 907
0.91/0.80 o 927
1.44/0.83 o 933
1.44/0.84 o 969
1.44/0.85 o 977
1.44/0.86 o 989
1.44/0.87 o 1003
1.44/0.87 o 1010
1.44/0.87 o 1032
2.04/0.92 o 1035
2.04/0.93 o 1048
2.04/0.96 o 1065
2.70/1.00 o 1067
2.70/1.04 o 1079
2.70/1.08 o 1087
3.39/1.16 o 1090
4.15/1.23 o 1091
4.15/1.28 o 1092
4.15/1.29 o 1113
4.15/1.29 o 1121
180.94/24.66 s OPTIMUM FOUND
180.94/24.66 v <instantiation>
180.94/24.66 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>
180.94/24.66 v <values>1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 </values>
180.94/24.66 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 (15275 MiB free)
memory of node 1: 16384 MiB (15685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399928-1568708403/watcher-4399928-1568708403 -o /tmp/evaluation-result-4399928-1568708403/solver-4399928-1568708403 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 609527919 HOME/instance-4399928-1568708403.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=3256, runsolver pid=3253
[startup+0.100108 s]*
/proc/loadavg: 7.59 7.58 7.61 2/211 3277
/proc/meminfo: memFree=31687252/32770624 swapFree=66977240/67108860
[pid=3256] ppid=3253 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3256/stat : 3256 (xcsp3-exec) S 3253 3256 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447102943 115843072 364 33554432000 4194304 5098028 140732133701440 140732133699544 139731372266108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140732133704566 140732133704809 140732133704809 140732133707722 0
/proc/3256/statm: 28282 364 305 221 0 87 0
[pid=3258] ppid=3256 vsize=28227396 memory=28944 CPUtime=0.12 cores=0-7
/proc/3258/stat : 3258 (java) S 3256 3256 29062 0 -1 1077944320 5688 0 0 0 10 2 0 0 20 0 20 0 447102944 28904853504 7236 33554432000 4194304 4196468 140736373369696 140736373352240 139895488012023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
/proc/3258/statm: 7056849 7236 3121 1 0 7019032 0
[pid=3258/tid=3259] ppid=3256 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7
/proc/3258/task/3259/stat : 3259 (java) R 3256 3256 29062 0 -1 4202560 3602 0 0 0 8 1 0 0 20 0 20 0 447102944 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895492245296 139895488023958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3260] ppid=3256 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/3258/task/3260/stat : 3260 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895407864720 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3261] ppid=3256 vsize=28227396 memory=140001788851840 CPUtime=0 cores=0-7
/proc/3258/task/3261/stat : 3261 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895038401296 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3262] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3262/stat : 3262 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895037349008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3263] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3263/stat : 3263 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895036296208 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3264] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3264/stat : 3264 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895035242896 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3265] ppid=3256 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3258/task/3265/stat : 3265 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895034190096 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3266] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3266/stat : 3266 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895033137808 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3267] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3267/stat : 3267 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 7236 33554432000 4194304 4196468 140736373369696 139895032085008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3268] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3268/stat : 3268 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102946 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894153562736 139895488023170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3269] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3269/stat : 3269 (java) S 3256 3256 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447102947 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894152508704 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3270] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3270/stat : 3270 (java) S 3256 3256 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447102947 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894151456368 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3271] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3271/stat : 3271 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894150404688 139895488030619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3272] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3272/stat : 3272 (java) S 3256 3256 29062 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894149351536 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3273] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3273/stat : 3273 (java) R 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894148298736 139895488023170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3274] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3274/stat : 3274 (java) R 3256 3256 29062 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894147246448 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3275] ppid=3256 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3258/task/3275/stat : 3275 (java) R 3256 3256 29062 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 20 0 447102950 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894146193648 139895466380681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3276] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3276/stat : 3276 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894145141600 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3277] ppid=3256 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3258/task/3277/stat : 3277 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 7236 33554432000 4194304 4196468 140736373369696 139894144088880 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30400 KiB
[startup+0.210109 s]*
/proc/loadavg: 7.59 7.58 7.61 2/211 3277
/proc/meminfo: memFree=31660864/32770624 swapFree=66977240/67108860
[pid=3256] ppid=3253 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3256/stat : 3256 (xcsp3-exec) S 3253 3256 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447102943 115843072 364 33554432000 4194304 5098028 140732133701440 140732133699544 139731372266108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140732133704566 140732133704809 140732133704809 140732133707722 0
/proc/3256/statm: 28282 364 305 221 0 87 0
[pid=3258] ppid=3256 vsize=28227396 memory=41216 CPUtime=0.34 cores=0-7
/proc/3258/stat : 3258 (java) S 3256 3256 29062 0 -1 1077944320 9502 0 0 0 30 4 0 0 20 0 20 0 447102944 28904853504 10304 33554432000 4194304 4196468 140736373369696 140736373352240 139895488012023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
/proc/3258/statm: 7056849 10304 3315 1 0 7019032 0
[pid=3258/tid=3259] ppid=3256 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/3258/task/3259/stat : 3259 (java) R 3256 3256 29062 0 -1 4202560 6652 0 0 0 17 2 0 0 20 0 20 0 447102944 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895492243936 139895472092510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3260] ppid=3256 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/3258/task/3260/stat : 3260 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895407864720 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3261] ppid=3256 vsize=28227396 memory=288370377940563584 CPUtime=0 cores=0-7
/proc/3258/task/3261/stat : 3261 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895038401296 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3262] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3262/stat : 3262 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895037349008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3263] ppid=3256 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3258/task/3263/stat : 3263 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895036296208 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3264] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3264/stat : 3264 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895035242896 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3265] ppid=3256 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3258/task/3265/stat : 3265 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895034190096 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3266] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3266/stat : 3266 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895033137808 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3267] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3267/stat : 3267 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28904853504 10304 33554432000 4194304 4196468 140736373369696 139895032085008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3268] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3268/stat : 3268 (java) S 3256 3256 29062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447102946 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894153562736 139895488023170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3269] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3269/stat : 3269 (java) S 3256 3256 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447102947 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894152508704 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3270] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3270/stat : 3270 (java) S 3256 3256 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447102947 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894151456368 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3271] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3271/stat : 3271 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894150404688 139895488030619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3272] ppid=3256 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3258/task/3272/stat : 3272 (java) R 3256 3256 29062 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 20 0 447102950 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894149351536 139895488023170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3273] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3273/stat : 3273 (java) S 3256 3256 29062 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894148298736 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3274] ppid=3256 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3258/task/3274/stat : 3274 (java) S 3256 3256 29062 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 447102950 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894147246448 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3275] ppid=3256 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/3258/task/3275/stat : 3275 (java) R 3256 3256 29062 0 -1 4202560 792 0 0 0 7 0 0 0 20 0 20 0 447102950 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894146193648 139895488023958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3276] ppid=3256 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3276/stat : 3276 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894145141600 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3277] ppid=3256 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3258/task/3277/stat : 3277 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102950 28904853504 10304 33554432000 4194304 4196468 140736373369696 139894144088880 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42672 KiB
[startup+0.647208 s]*
/proc/loadavg: 7.59 7.58 7.61 3/211 3277
/proc/meminfo: memFree=31662412/32770624 swapFree=66977240/67108860
[pid=3256] ppid=3253 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3256/stat : 3256 (xcsp3-exec) S 3253 3256 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447102943 115843072 364 33554432000 4194304 5098028 140732133701440 140732133699544 139731372266108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140732133704566 140732133704809 140732133704809 140732133707722 0
/proc/3256/statm: 28282 364 305 221 0 87 0
[pid=3258] ppid=3256 vsize=28233776 memory=55160 CPUtime=0.72 cores=0-7
/proc/3258/stat : 3258 (java) S 3256 3256 29062 0 -1 1077944320 12190 0 0 0 66 6 0 0 20 0 20 0 447102944 28911386624 13790 33554432000 4194304 4196468 140736373369696 140736373352240 139895488012023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
/proc/3258/statm: 7058444 13790 3391 1 0 7019544 0
[pid=3258/tid=3259] ppid=3256 vsize=28233776 memory=1398720917958146503 CPUtime=0.41 cores=0-7
/proc/3258/task/3259/stat : 3259 (java) R 3256 3256 29062 0 -1 4202560 8915 0 0 0 37 4 0 0 20 0 20 0 447102944 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895492248672 139895472091534 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3260] ppid=3256 vsize=28233776 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3258/task/3260/stat : 3260 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895407864720 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3261] ppid=3256 vsize=28233776 memory=2120 CPUtime=0 cores=0-7
/proc/3258/task/3261/stat : 3261 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895038401296 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3262] ppid=3256 vsize=28233776 memory=11976 CPUtime=0 cores=0-7
/proc/3258/task/3262/stat : 3262 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895037349008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3263] ppid=3256 vsize=28233776 memory=11568 CPUtime=0 cores=0-7
/proc/3258/task/3263/stat : 3263 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895036296208 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3264] ppid=3256 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3264/stat : 3264 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895035242896 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3265] ppid=3256 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3265/stat : 3265 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895034190096 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3266] ppid=3256 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3266/stat : 3266 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895033137808 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3267] ppid=3256 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3267/stat : 3267 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 13842 33554432000 4194304 4196468 140736373369696 139895032085008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3268] ppid=3256 vsize=28233776 memory=140001639752256 CPUtime=0 cores=0-7
/proc/3258/task/3268/stat : 3268 (java) S 3256 3256 29062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447102946 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894153562736 139895488023170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3269] ppid=3256 vsize=28233776 memory=140001639756751 CPUtime=0 cores=0-7
/proc/3258/task/3269/stat : 3269 (java) S 3256 3256 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447102947 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894152508704 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3270] ppid=3256 vsize=28233776 memory=1970350607106051 CPUtime=0 cores=0-7
/proc/3258/task/3270/stat : 3270 (java) S 3256 3256 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447102947 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894151456368 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3271] ppid=3256 vsize=28233776 memory=2110352246862756 CPUtime=0 cores=0-7
/proc/3258/task/3271/stat : 3271 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102950 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894150404688 139895488030619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3272] ppid=3256 vsize=28233776 memory=2110352246895620 CPUtime=0.05 cores=0-7
/proc/3258/task/3272/stat : 3272 (java) S 3256 3256 29062 0 -1 1077944384 568 0 0 0 5 0 0 0 20 0 20 0 447102950 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894149351536 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3273] ppid=3256 vsize=28233776 memory=2110352246867364 CPUtime=0.03 cores=0-7
/proc/3258/task/3273/stat : 3273 (java) S 3256 3256 29062 0 -1 1077944384 71 0 0 0 3 0 0 0 20 0 20 0 447102950 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894148298736 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3274] ppid=3256 vsize=28233776 memory=2110352246869668 CPUtime=0.04 cores=0-7
/proc/3258/task/3274/stat : 3274 (java) S 3256 3256 29062 0 -1 1077944384 326 0 0 0 4 0 0 0 20 0 20 0 447102950 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894147246448 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3275] ppid=3256 vsize=28233776 memory=2110352246895524 CPUtime=0.16 cores=0-7
/proc/3258/task/3275/stat : 3275 (java) S 3256 3256 29062 0 -1 1077944384 1007 0 0 0 16 0 0 0 20 0 20 0 447102950 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894146193648 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3276] ppid=3256 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3276/stat : 3276 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447102950 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894145141600 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3277] ppid=3256 vsize=28233776 memory=-1 CPUtime=0 cores=0-7
/proc/3258/task/3277/stat : 3277 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102950 28911386624 13842 33554432000 4194304 4196468 140736373369696 139894144088880 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 28346904 KiB
Current children cumulated memory: 56616 KiB
[startup+0.710533 s]*
/proc/loadavg: 7.59 7.58 7.61 3/211 3277
/proc/meminfo: memFree=31653276/32770624 swapFree=66977240/67108860
[pid=3256] ppid=3253 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3256/stat : 3256 (xcsp3-exec) S 3253 3256 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447102943 115843072 364 33554432000 4194304 5098028 140732133701440 140732133699544 139731372266108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140732133704566 140732133704809 140732133704809 140732133707722 0
/proc/3256/statm: 28282 364 305 221 0 87 0
[pid=3258] ppid=3256 vsize=28233776 memory=65376 CPUtime=0.91 cores=0-7
/proc/3258/stat : 3258 (java) S 3256 3256 29062 0 -1 1077944320 13674 0 0 0 85 6 0 0 20 0 20 0 447102944 28911386624 16344 33554432000 4194304 4196468 140736373369696 140736373352240 139895488012023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
/proc/3258/statm: 7058444 16344 3445 1 0 7019544 0
[pid=3258/tid=3259] ppid=3256 vsize=28233776 memory=8318255677412212789 CPUtime=0.46 cores=0-7
/proc/3258/task/3259/stat : 3259 (java) R 3256 3256 29062 0 -1 4202560 9062 0 0 0 42 4 0 0 20 0 20 0 447102944 28911386624 16392 33554432000 4194304 4196468 140736373369696 139895492238016 139895473256467 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3260] ppid=3256 vsize=28233776 memory=4297963156 CPUtime=0 cores=0-7
/proc/3258/task/3260/stat : 3260 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 16392 33554432000 4194304 4196468 140736373369696 139895407864720 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3261] ppid=3256 vsize=28233776 memory=288370377940563584 CPUtime=0 cores=0-7
/proc/3258/task/3261/stat : 3261 (java) S 3256 3256 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 16392 33554432000 4194304 4196468 140736373369696 139895038401296 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3262] ppid=3256 vsize=28233776 memory=-1 CPUtime=0 cores=0-7
/proc/3258/task/3262/stat : 3262 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447102945 28911386624 16392 33554432000 4194304 4196468 140736373369696 139895037349008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
################
# More data... #
################
[pid=3258/tid=3275] ppid=3256 vsize=28833880 memory=3784 CPUtime=0.5 cores=0-7
/proc/3258/task/3275/stat : 3275 (java) S 3256 3256 29062 0 -1 1077944384 4005 0 0 0 49 1 0 0 20 0 28 0 447102950 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894146193648 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3276] ppid=3256 vsize=28833880 memory=1440 CPUtime=0 cores=0-7
/proc/3258/task/3276/stat : 3276 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447102950 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894145141600 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3277] ppid=3256 vsize=28833880 memory=904 CPUtime=0 cores=0-7
/proc/3258/task/3277/stat : 3277 (java) S 3256 3256 29062 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 28 0 447102950 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894144088880 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3573] ppid=3256 vsize=28833880 memory=1984 CPUtime=21.26 cores=0-7
/proc/3258/task/3573/stat : 3573 (java) R 3256 3256 29062 0 -1 4202560 1027 0 0 0 2108 18 0 0 20 0 28 0 447103073 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894058880296 139895091737756 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3574] ppid=3256 vsize=28833880 memory=2528 CPUtime=21.25 cores=0-7
/proc/3258/task/3574/stat : 3574 (java) R 3256 3256 29062 0 -1 4202560 628 0 0 0 2107 18 0 0 20 0 28 0 447103073 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894062039424 139895091077931 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3575] ppid=3256 vsize=28833880 memory=1764 CPUtime=21.15 cores=0-7
/proc/3258/task/3575/stat : 3575 (java) R 3256 3256 29062 0 -1 4202560 938 0 0 0 2101 14 0 0 20 0 28 0 447103073 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894057828608 139895091772056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3576] ppid=3256 vsize=28833880 memory=33 CPUtime=21.72 cores=0-7
/proc/3258/task/3576/stat : 3576 (java) R 3256 3256 29062 0 -1 4202560 1303 0 0 0 2161 11 0 0 20 0 28 0 447103073 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894063091232 139895092984070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3577] ppid=3256 vsize=28833880 memory=1152 CPUtime=21.49 cores=0-7
/proc/3258/task/3577/stat : 3577 (java) R 3256 3256 29062 0 -1 4202560 867 0 0 0 2131 18 0 0 20 0 28 0 447103073 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894059933088 139895091955740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3578] ppid=3256 vsize=28833880 memory=7681905605394137866 CPUtime=21.6 cores=0-7
/proc/3258/task/3578/stat : 3578 (java) R 3256 3256 29062 0 -1 4202560 1044 0 0 0 2144 16 0 0 20 0 28 0 447103073 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894132768736 139895091954165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3579] ppid=3256 vsize=28833880 memory=288230574492221466 CPUtime=20.98 cores=0-7
/proc/3258/task/3579/stat : 3579 (java) R 3256 3256 29062 0 -1 4202560 1224 0 0 0 2083 15 0 0 20 0 28 0 447103073 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894064144128 139895091026842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3580] ppid=3256 vsize=28833880 memory=288230617509003574 CPUtime=21.59 cores=0-7
/proc/3258/task/3580/stat : 3580 (java) R 3256 3256 29062 0 -1 4202560 1159 0 0 0 2141 18 0 0 20 0 28 0 447103074 29525893120 140504 33554432000 4194304 4196468 140736373369696 139894060986592 139895091954170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
Current children cumulated CPU time: 178.75 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 563472 KiB
[startup+24.5079 s]
/proc/loadavg: 7.52 7.56 7.60 9/219 3582
/proc/meminfo: memFree=31151752/32770624 swapFree=66977240/67108860
[pid=3256] ppid=3253 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3256/stat : 3256 (xcsp3-exec) S 3253 3256 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447102943 115843072 364 33554432000 4194304 5098028 140732133701440 140732133699544 139731372266108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140732133704566 140732133704809 140732133704809 140732133707722 0
/proc/3256/statm: 28282 364 305 221 0 87 0
[pid=3258] ppid=3256 vsize=28833880 memory=561552 CPUtime=180.18 cores=0-7
/proc/3258/stat : 3258 (java) S 3256 3256 29062 0 -1 1077944320 57659 0 0 0 17860 158 0 0 20 0 28 0 447102944 29525893120 140388 33554432000 4194304 4196468 140736373369696 140736373352240 139895488012023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
/proc/3258/statm: 7208470 140388 3520 1 0 7169570 0
[pid=3258/tid=3259] ppid=3256 vsize=28833880 memory=15252640887999028 CPUtime=0.48 cores=0-7
/proc/3258/task/3259/stat : 3259 (java) S 3256 3256 29062 0 -1 1077944384 9068 0 0 0 44 4 0 0 20 0 28 0 447102944 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895492252800 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3260] ppid=3256 vsize=28833880 memory=1164 CPUtime=0.06 cores=0-7
/proc/3258/task/3260/stat : 3260 (java) S 3256 3256 29062 0 -1 1077944384 252 0 0 0 6 0 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895407864720 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3261] ppid=3256 vsize=28833880 memory=9448 CPUtime=0.07 cores=0-7
/proc/3258/task/3261/stat : 3261 (java) S 3256 3256 29062 0 -1 1077944384 782 0 0 0 6 1 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895038401296 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3262] ppid=3256 vsize=28833880 memory=14008 CPUtime=0.07 cores=0-7
/proc/3258/task/3262/stat : 3262 (java) S 3256 3256 29062 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895037349008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3263] ppid=3256 vsize=28833880 memory=2120 CPUtime=0.06 cores=0-7
/proc/3258/task/3263/stat : 3263 (java) S 3256 3256 29062 0 -1 1077944384 447 0 0 0 6 0 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895036296208 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3264] ppid=3256 vsize=28833880 memory=11976 CPUtime=0.07 cores=0-7
/proc/3258/task/3264/stat : 3264 (java) S 3256 3256 29062 0 -1 1077944384 430 0 0 0 6 1 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895035242896 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3265] ppid=3256 vsize=28833880 memory=11568 CPUtime=0.06 cores=0-7
/proc/3258/task/3265/stat : 3265 (java) S 3256 3256 29062 0 -1 1077944384 685 0 0 0 6 0 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895034190096 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3266] ppid=3256 vsize=28833880 memory=512 CPUtime=0.06 cores=0-7
/proc/3258/task/3266/stat : 3266 (java) S 3256 3256 29062 0 -1 1077944384 594 0 0 0 5 1 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895033137808 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3267] ppid=3256 vsize=28833880 memory=1564 CPUtime=0.08 cores=0-7
/proc/3258/task/3267/stat : 3267 (java) S 3256 3256 29062 0 -1 1077944384 841 0 0 0 7 1 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895032085008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3268] ppid=3256 vsize=28833880 memory=928 CPUtime=0.04 cores=0-7
/proc/3258/task/3268/stat : 3268 (java) S 3256 3256 29062 0 -1 1077944384 2027 0 0 0 3 1 0 0 20 0 28 0 447102946 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894153562736 139895488023170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3269] ppid=3256 vsize=28833880 memory=3784 CPUtime=0 cores=0-7
/proc/3258/task/3269/stat : 3269 (java) S 3256 3256 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447102947 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894152508768 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3270] ppid=3256 vsize=28833880 memory=1440 CPUtime=0 cores=0-7
/proc/3258/task/3270/stat : 3270 (java) S 3256 3256 29062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447102947 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894151456384 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3271] ppid=3256 vsize=28833880 memory=15252640887999028 CPUtime=0 cores=0-7
/proc/3258/task/3271/stat : 3271 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894150404688 139895488030619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3272] ppid=3256 vsize=28833880 memory=1456 CPUtime=1.1 cores=0-7
/proc/3258/task/3272/stat : 3272 (java) S 3256 3256 29062 0 -1 1077944384 9376 0 0 0 108 2 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894149351536 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3273] ppid=3256 vsize=28833880 memory=574316 CPUtime=1.3 cores=0-7
/proc/3258/task/3273/stat : 3273 (java) S 3256 3256 29062 0 -1 1077944384 6092 0 0 0 129 1 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894148298736 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3274] ppid=3256 vsize=28833880 memory=33 CPUtime=1.06 cores=0-7
/proc/3258/task/3274/stat : 3274 (java) S 3256 3256 29062 0 -1 1077944384 7497 0 0 0 105 1 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894147246448 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3275] ppid=3256 vsize=28833880 memory=4639341352798146640 CPUtime=0.5 cores=0-7
/proc/3258/task/3275/stat : 3275 (java) S 3256 3256 29062 0 -1 1077944384 4005 0 0 0 49 1 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894146193648 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3276] ppid=3256 vsize=28833880 memory=6935654753335332944 CPUtime=0 cores=0-7
/proc/3258/task/3276/stat : 3276 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894145141600 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3277] ppid=3256 vsize=28833880 memory=6935652554312077392 CPUtime=0 cores=0-7
/proc/3258/task/3277/stat : 3277 (java) S 3256 3256 29062 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894144088880 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3573] ppid=3256 vsize=28833880 memory=4638778411217669456 CPUtime=21.43 cores=0-7
/proc/3258/task/3573/stat : 3573 (java) R 3256 3256 29062 0 -1 4202560 1032 0 0 0 2125 18 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894058879904 139895091358270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3574] ppid=3256 vsize=28833880 memory=7011348500760777816 CPUtime=21.42 cores=0-7
/proc/3258/task/3574/stat : 3574 (java) R 3256 3256 29062 0 -1 4202560 632 0 0 0 2124 18 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894062039424 139895488033370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3575] ppid=3256 vsize=28833880 memory=7011348500760778072 CPUtime=21.32 cores=0-7
/proc/3258/task/3575/stat : 3575 (java) R 3256 3256 29062 0 -1 4202560 951 0 0 0 2118 14 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894057828608 139895488023958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3576] ppid=3256 vsize=28833880 memory=4639074098508484689 CPUtime=21.9 cores=0-7
/proc/3258/task/3576/stat : 3576 (java) R 3256 3256 29062 0 -1 4202560 1310 0 0 0 2179 11 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894063091328 139895488033370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3577] ppid=3256 vsize=28833880 memory=4639074098508484690 CPUtime=21.68 cores=0-7
/proc/3258/task/3577/stat : 3577 (java) R 3256 3256 29062 0 -1 4202560 870 0 0 0 2150 18 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894059933184 139895088619654 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3578] ppid=3256 vsize=28833880 memory=4638778419807604048 CPUtime=21.78 cores=0-7
/proc/3258/task/3578/stat : 3578 (java) S 3256 3256 29062 0 -1 1077944384 1054 0 0 0 2162 16 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894132768736 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3579] ppid=3256 vsize=28833880 memory=7450455048408689768 CPUtime=21.17 cores=0-7
/proc/3258/task/3579/stat : 3579 (java) R 3256 3256 29062 0 -1 4202560 1234 0 0 0 2102 15 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894064144128 139895092295424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3580] ppid=3256 vsize=28833880 memory=8027500757590240873 CPUtime=21.76 cores=0-7
/proc/3258/task/3580/stat : 3580 (java) R 3256 3256 29062 0 -1 1077944384 1166 0 0 0 2158 18 0 0 20 0 28 0 447103074 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894060986592 139895488022229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
Current children cumulated CPU time: 180.18 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 563008 KiB
[startup+24.6042 s]
/proc/loadavg: 7.52 7.56 7.60 9/219 3582
/proc/meminfo: memFree=31151752/32770624 swapFree=66977240/67108860
[pid=3256] ppid=3253 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3256/stat : 3256 (xcsp3-exec) S 3253 3256 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447102943 115843072 364 33554432000 4194304 5098028 140732133701440 140732133699544 139731372266108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140732133704566 140732133704809 140732133704809 140732133707722 0
/proc/3256/statm: 28282 364 305 221 0 87 0
[pid=3258] ppid=3256 vsize=28833880 memory=561552 CPUtime=180.94 cores=0-7
/proc/3258/stat : 3258 (java) S 3256 3256 29062 0 -1 1077944320 57681 0 0 0 17936 158 0 0 20 0 28 0 447102944 29525893120 140388 33554432000 4194304 4196468 140736373369696 140736373352240 139895488012023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
/proc/3258/statm: 7208470 140388 3520 1 0 7169570 0
[pid=3258/tid=3259] ppid=3256 vsize=28833880 memory=557676 CPUtime=0.48 cores=0-7
/proc/3258/task/3259/stat : 3259 (java) S 3256 3256 29062 0 -1 1077944384 9068 0 0 0 44 4 0 0 20 0 28 0 447102944 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895492252800 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3260] ppid=3256 vsize=28833880 memory=1456 CPUtime=0.06 cores=0-7
/proc/3258/task/3260/stat : 3260 (java) S 3256 3256 29062 0 -1 1077944384 252 0 0 0 6 0 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895407864720 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3261] ppid=3256 vsize=28833880 memory=576880 CPUtime=0.07 cores=0-7
/proc/3258/task/3261/stat : 3261 (java) S 3256 3256 29062 0 -1 1077944384 782 0 0 0 6 1 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895038401296 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3262] ppid=3256 vsize=28833880 memory=4 CPUtime=0.07 cores=0-7
/proc/3258/task/3262/stat : 3262 (java) S 3256 3256 29062 0 -1 1077944384 509 0 0 0 7 0 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895037349008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3263] ppid=3256 vsize=28833880 memory=3 CPUtime=0.06 cores=0-7
/proc/3258/task/3263/stat : 3263 (java) S 3256 3256 29062 0 -1 1077944384 447 0 0 0 6 0 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895036296208 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3264] ppid=3256 vsize=28833880 memory=1456 CPUtime=0.07 cores=0-7
/proc/3258/task/3264/stat : 3264 (java) S 3256 3256 29062 0 -1 1077944384 430 0 0 0 6 1 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895035242896 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3265] ppid=3256 vsize=28833880 memory=1456 CPUtime=0.06 cores=0-7
/proc/3258/task/3265/stat : 3265 (java) S 3256 3256 29062 0 -1 1077944384 685 0 0 0 6 0 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895034190096 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3266] ppid=3256 vsize=28833880 memory=3620 CPUtime=0.06 cores=0-7
/proc/3258/task/3266/stat : 3266 (java) S 3256 3256 29062 0 -1 1077944384 594 0 0 0 5 1 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895033137808 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3267] ppid=3256 vsize=28833880 memory=30936 CPUtime=0.08 cores=0-7
/proc/3258/task/3267/stat : 3267 (java) S 3256 3256 29062 0 -1 1077944384 841 0 0 0 7 1 0 0 20 0 28 0 447102945 29525893120 140388 33554432000 4194304 4196468 140736373369696 139895032085008 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3268] ppid=3256 vsize=28833880 memory=2004 CPUtime=0.04 cores=0-7
/proc/3258/task/3268/stat : 3268 (java) S 3256 3256 29062 0 -1 1077944384 2027 0 0 0 3 1 0 0 20 0 28 0 447102946 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894153562736 139895488023170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3269] ppid=3256 vsize=28833880 memory=984 CPUtime=0 cores=0-7
/proc/3258/task/3269/stat : 3269 (java) S 3256 3256 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447102947 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894152508768 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3270] ppid=3256 vsize=28833880 memory=11568 CPUtime=0 cores=0-7
/proc/3258/task/3270/stat : 3270 (java) S 3256 3256 29062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447102947 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894151456384 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3271] ppid=3256 vsize=28833880 memory=512 CPUtime=0 cores=0-7
/proc/3258/task/3271/stat : 3271 (java) S 3256 3256 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894150404688 139895488030619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3272] ppid=3256 vsize=28833880 memory=1564 CPUtime=1.1 cores=0-7
/proc/3258/task/3272/stat : 3272 (java) S 3256 3256 29062 0 -1 1077944384 9376 0 0 0 108 2 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894149351536 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3273] ppid=3256 vsize=28833880 memory=928 CPUtime=1.3 cores=0-7
/proc/3258/task/3273/stat : 3273 (java) S 3256 3256 29062 0 -1 1077944384 6092 0 0 0 129 1 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894148298736 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3274] ppid=3256 vsize=28833880 memory=277528 CPUtime=1.06 cores=0-7
/proc/3258/task/3274/stat : 3274 (java) S 3256 3256 29062 0 -1 1077944384 7497 0 0 0 105 1 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894147246448 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3275] ppid=3256 vsize=28833880 memory=288230621787193645 CPUtime=0.5 cores=0-7
/proc/3258/task/3275/stat : 3275 (java) S 3256 3256 29062 0 -1 1077944384 4005 0 0 0 49 1 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894146193648 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3276] ppid=3256 vsize=28833880 memory=16105857599407551 CPUtime=0 cores=0-7
/proc/3258/task/3276/stat : 3276 (java) S 3256 3256 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894145141600 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3277] ppid=3256 vsize=28833880 memory=0 CPUtime=0 cores=0-7
/proc/3258/task/3277/stat : 3277 (java) S 3256 3256 29062 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 28 0 447102950 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894144088880 139895488023170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3573] ppid=3256 vsize=28833880 memory=984 CPUtime=21.53 cores=0-7
/proc/3258/task/3573/stat : 3573 (java) R 3256 3256 29062 0 -1 4202560 1036 0 0 0 2135 18 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894058879904 139895467737056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3574] ppid=3256 vsize=28833880 memory=1324 CPUtime=21.52 cores=0-7
/proc/3258/task/3574/stat : 3574 (java) R 3256 3256 29062 0 -1 4202560 636 0 0 0 2134 18 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894062039328 139895091077311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3575] ppid=3256 vsize=28833880 memory=780 CPUtime=21.42 cores=0-7
/proc/3258/task/3575/stat : 3575 (java) R 3256 3256 29062 0 -1 4202560 955 0 0 0 2128 14 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894057828512 139895091217703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3576] ppid=3256 vsize=28833880 memory=4088 CPUtime=21.99 cores=0-7
/proc/3258/task/3576/stat : 3576 (java) R 3256 3256 29062 0 -1 4202560 1311 0 0 0 2188 11 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894063091328 139895092984882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3577] ppid=3256 vsize=28833880 memory=1456 CPUtime=21.77 cores=0-7
/proc/3258/task/3577/stat : 3577 (java) S 3256 3256 29062 0 -1 1077944384 871 0 0 0 2159 18 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894059933184 139895488022229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3578] ppid=3256 vsize=28833880 memory=557676 CPUtime=21.87 cores=0-7
/proc/3258/task/3578/stat : 3578 (java) R 3256 3256 29062 0 -1 4202560 1057 0 0 0 2171 16 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894132768736 139895091953885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3579] ppid=3256 vsize=28833880 memory=904 CPUtime=21.27 cores=0-7
/proc/3258/task/3579/stat : 3579 (java) R 3256 3256 29062 0 -1 4202560 1238 0 0 0 2112 15 0 0 20 0 28 0 447103073 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894064144128 139895091113187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
[pid=3258/tid=3580] ppid=3256 vsize=28833880 memory=1984 CPUtime=21.85 cores=0-7
/proc/3258/task/3580/stat : 3580 (java) R 3256 3256 29062 0 -1 1077944384 1167 0 0 0 2167 18 0 0 20 0 28 0 447103074 29525893120 140388 33554432000 4194304 4196468 140736373369696 139894060986592 139895488022229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36835328 140736373375978 140736373376150 140736373376150 140736373379023 0
Current children cumulated CPU time: 180.94 s
Current children cumulated vsize: 28947008 KiB
Current children cumulated memory: 563008 KiB
Child status: 0
Real time (s): 24.6911
CPU time (s): 181.476
CPU user time (s): 179.874
CPU system time (s): 1.60268
CPU usage (%): 734.988
Max. virtual memory (cumulated for all children) (KiB): 28948724
Max. memory (cumulated for all children) (KiB): 606864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.874
system time used= 1.60269
maximum resident set size= 606948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 398498
involuntary context switches= 889
# summary of solver processes directly reported to runsolver:
# pid: 3256
# total CPU time (s): 181.476
# total CPU user time (s): 179.874
# total CPU system time (s): 1.60268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.213447 second user time and 0.339247 second system time
The end
Begin job on node121 at 2019-09-17 10:19:21
IDJOB=4399928
IDBENCH=133442
IDSOLVER=2854
FILE ID=node121/4399928-1568708403
RUNJOBID= node121-1568700707-29089
PBS_JOBID= 21703902
Free space on /tmp= 61408 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s50/Knapsack-50-200-14.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399928-1568708403/watcher-4399928-1568708403 -o /tmp/evaluation-result-4399928-1568708403/solver-4399928-1568708403 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 609527919 HOME/instance-4399928-1568708403.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0fb8e68e5b6c8402080e230a0c605796
RANDOM SEED=609527919
node121.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.75
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.75
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.75
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.75
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: 31703760 kB
MemAvailable: 31919736 kB
Buffers: 69540 kB
Cached: 444752 kB
SwapCached: 10792 kB
Active: 209340 kB
Inactive: 319380 kB
Active(anon): 4848 kB
Inactive(anon): 42468 kB
Active(file): 204492 kB
Inactive(file): 276912 kB
Unevictable: 109160 kB
Mlocked: 109160 kB
SwapTotal: 67108860 kB
SwapFree: 66977240 kB
Dirty: 26332 kB
Writeback: 0 kB
AnonPages: 113352 kB
Mapped: 42556 kB
Shmem: 24044 kB
Slab: 130512 kB
SReclaimable: 100812 kB
SUnreclaim: 29700 kB
KernelStack: 3424 kB
PageTables: 5412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /tmp at the end= 61380 MiB
End job on node121 at 2019-09-17 10:19:46