Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 41 | 94.5007 | 13.308 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-0.xml |
MD5SUM | 297e7ff3843a631e244fdcc6d730e090 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 41 |
Best CPU time to get the best result obtained on this benchmark | 34.2796 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 75 |
Number of constraints | 101 |
Number of domains | 24 |
Minimum domain size | 4 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":4,"count":12},{"size":5,"count":7},{"size":6,"count":6},{"size":26,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 26 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407412-1569347493.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407412-1569347493.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 5.10/1.91 c solve instance... 5.86/2.04 o -1000 16.83/3.49 o -998 19.03/3.71 o -993 19.03/3.77 o -982 19.35/3.81 o -975 19.35/3.86 o -963 23.05/4.34 o -959 23.79/4.44 o 27 23.79/4.47 o 29 24.51/4.56 o 32 29.31/5.12 o 41 93.74/13.29 s OPTIMUM FOUND 93.74/13.29 v <instantiation> 93.74/13.29 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] </list> 93.74/13.29 v <values>5 0 1 2 3 6 7 12 9 4 15 10 11 8 13 16 17 18 19 14 -1 -1 -1 -1 -1 0 19 18 17 16 1 2 3 14 15 6 5 4 13 12 7 8 9 10 11 -1 -1 -1 -1 -1 -3 -4 6 6 -2 0 -3 -6 6 1 0 3 7 5 7 3 3 6 4 2 0 0 0 0 0 </values> 93.74/13.29 v </instantiation>
OK 41
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 (10786 MiB free) memory of node 1: 16384 MiB (14132 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407412-1569347493/watcher-4407412-1569347493 -o /tmp/evaluation-result-4407412-1569347493/solver-4407412-1569347493 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1119431451 HOME/instance-4407412-1569347493.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 Current StackSize limit: 8192 KiB solver pid=11617, runsolver pid=11614 [startup+0.100113 s]* /proc/loadavg: 7.78 8.10 8.14 2/212 11638 /proc/meminfo: memFree=25499312/32770624 swapFree=67002564/67108860 [pid=11617] ppid=11614 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11617/stat : 11617 (xcsp3-exec) S 11614 11617 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510910796 115843072 363 33554432000 4194304 5098028 140721497963632 140721497961736 140464860455548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19894272 140721497965435 140721497965678 140721497965678 140721497968586 0 /proc/11617/statm: 28282 363 305 221 0 87 0 [pid=11619] ppid=11617 vsize=28227396 memory=30336 CPUtime=0.12 cores=0-7 /proc/11619/stat : 11619 (java) S 11617 11617 5615 0 -1 1077944320 5483 0 0 0 11 1 0 0 20 0 20 0 510910797 28904853504 7584 33554432000 4194304 4196468 140725420360528 140725420343072 140397807619831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 /proc/11619/statm: 7056849 7584 3147 1 0 7019032 0 [pid=11619/tid=11620] ppid=11617 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/11619/task/11620/stat : 11620 (java) R 11617 11617 5615 0 -1 4202560 3396 0 0 0 8 0 0 0 20 0 20 0 510910797 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397811852608 140397792787081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11621] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11621/stat : 11621 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397727472400 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11622] ppid=11617 vsize=28227396 memory=14837513422001816 CPUtime=0 cores=0-7 /proc/11619/task/11622/stat : 11622 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397726419856 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11623] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11623/stat : 11623 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397725367312 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11624] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11624/stat : 11624 (java) S 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397724314768 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11625] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11625/stat : 11625 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397723261200 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11626] ppid=11617 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11619/task/11626/stat : 11626 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397722208656 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11627] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11627/stat : 11627 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397721156112 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11628] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11628/stat : 11628 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 7584 33554432000 4194304 4196468 140725420360528 140397720103568 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11629] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11629/stat : 11629 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910799 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396137556464 140397807630978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11630] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11630/stat : 11630 (java) S 11617 11617 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510910800 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396136502688 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11631] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11631/stat : 11631 (java) S 11617 11617 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510910800 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396135450096 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11632] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11632/stat : 11632 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910802 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396134398672 140397807638427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11633] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11633/stat : 11633 (java) S 11617 11617 5615 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 510910802 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396133345264 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11634] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11634/stat : 11634 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910802 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396132292720 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11635] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11635/stat : 11635 (java) R 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910802 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396131240176 140397807631766 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11636] ppid=11617 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/11619/task/11636/stat : 11636 (java) R 11617 11617 5615 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 510910802 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396130187632 140397807631766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11637] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11637/stat : 11637 (java) S 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910803 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396129135328 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11638] ppid=11617 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11619/task/11638/stat : 11638 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910803 28904853504 7584 33554432000 4194304 4196468 140725420360528 140396128082864 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31788 KiB [startup+0.210336 s]* /proc/loadavg: 7.78 8.10 8.14 3/212 11638 /proc/meminfo: memFree=25486276/32770624 swapFree=67002564/67108860 [pid=11617] ppid=11614 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11617/stat : 11617 (xcsp3-exec) S 11614 11617 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510910796 115843072 363 33554432000 4194304 5098028 140721497963632 140721497961736 140464860455548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19894272 140721497965435 140721497965678 140721497965678 140721497968586 0 /proc/11617/statm: 28282 363 305 221 0 87 0 [pid=11619] ppid=11617 vsize=28227396 memory=40672 CPUtime=0.33 cores=0-7 /proc/11619/stat : 11619 (java) S 11617 11617 5615 0 -1 1077944320 8945 0 0 0 30 3 0 0 20 0 20 0 510910797 28904853504 10168 33554432000 4194304 4196468 140725420360528 140725420343072 140397807619831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 /proc/11619/statm: 7056849 10168 3280 1 0 7019032 0 [pid=11619/tid=11620] ppid=11617 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/11619/task/11620/stat : 11620 (java) R 11617 11617 5615 0 -1 4202560 6199 0 0 0 18 2 0 0 20 0 20 0 510910797 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397811849552 140397807641178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11621] ppid=11617 vsize=28227396 memory=14976 CPUtime=0 cores=0-7 /proc/11619/task/11621/stat : 11621 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397727472400 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11622] ppid=11617 vsize=28227396 memory=140108608734025 CPUtime=0 cores=0-7 /proc/11619/task/11622/stat : 11622 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397726419856 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11623] ppid=11617 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11619/task/11623/stat : 11623 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397725367312 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11624] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11624/stat : 11624 (java) S 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397724314768 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11625] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11625/stat : 11625 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397723261200 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11626] ppid=11617 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11619/task/11626/stat : 11626 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397722208656 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11627] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11627/stat : 11627 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397721156112 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11628] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11628/stat : 11628 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28904853504 10168 33554432000 4194304 4196468 140725420360528 140397720103568 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11629] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11629/stat : 11629 (java) S 11617 11617 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510910799 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396137556464 140397807630978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11630] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11630/stat : 11630 (java) S 11617 11617 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510910800 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396136502688 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11631] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11631/stat : 11631 (java) S 11617 11617 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510910800 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396135450096 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11632] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11632/stat : 11632 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910802 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396134398672 140397807638427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11633] ppid=11617 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11619/task/11633/stat : 11633 (java) S 11617 11617 5615 0 -1 1077944384 520 0 0 0 1 0 0 0 20 0 20 0 510910802 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396133345264 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11634] ppid=11617 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11619/task/11634/stat : 11634 (java) S 11617 11617 5615 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 510910802 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396132292720 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11635] ppid=11617 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/11619/task/11635/stat : 11635 (java) S 11617 11617 5615 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 510910802 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396131240176 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11636] ppid=11617 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/11619/task/11636/stat : 11636 (java) R 11617 11617 5615 0 -1 4202560 768 0 0 0 7 0 0 0 20 0 20 0 510910802 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396130187632 140397807627228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11637] ppid=11617 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11637/stat : 11637 (java) S 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910803 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396129135328 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11638] ppid=11617 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11619/task/11638/stat : 11638 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910803 28904853504 10168 33554432000 4194304 4196468 140725420360528 140396128082864 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42124 KiB [startup+0.309557 s]* /proc/loadavg: 7.78 8.10 8.14 3/212 11638 /proc/meminfo: memFree=25479512/32770624 swapFree=67002564/67108860 [pid=11617] ppid=11614 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11617/stat : 11617 (xcsp3-exec) S 11614 11617 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510910796 115843072 363 33554432000 4194304 5098028 140721497963632 140721497961736 140464860455548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19894272 140721497965435 140721497965678 140721497965678 140721497968586 0 /proc/11617/statm: 28282 363 305 221 0 87 0 [pid=11619] ppid=11617 vsize=28231652 memory=50024 CPUtime=0.52 cores=0-7 /proc/11619/stat : 11619 (java) S 11617 11617 5615 0 -1 1077944320 10354 0 0 0 48 4 0 0 20 0 20 0 510910797 28909211648 12506 33554432000 4194304 4196468 140725420360528 140725420343072 140397807619831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 /proc/11619/statm: 7057913 12506 3370 1 0 7019032 0 [pid=11619/tid=11620] ppid=11617 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/11619/task/11620/stat : 11620 (java) R 11617 11617 5615 0 -1 4202560 7286 0 0 0 27 3 0 0 20 0 20 0 510910797 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397811850944 140397791700318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11621] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11621/stat : 11621 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397727472400 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11622] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11622/stat : 11622 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397726419856 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11623] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11623/stat : 11623 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397725367312 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11624] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11624/stat : 11624 (java) S 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910798 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397724314768 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11625] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11625/stat : 11625 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397723261200 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11626] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11626/stat : 11626 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397722208656 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11627] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11627/stat : 11627 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397721156112 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11628] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11628/stat : 11628 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28909211648 12506 33554432000 4194304 4196468 140725420360528 140397720103568 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11629] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11629/stat : 11629 (java) S 11617 11617 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510910799 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396137556464 140397807630978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11630] ppid=11617 vsize=28231652 memory=280216954150272 CPUtime=0 cores=0-7 /proc/11619/task/11630/stat : 11630 (java) S 11617 11617 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510910800 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396136502688 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11631] ppid=11617 vsize=28231652 memory=280216954154880 CPUtime=0 cores=0-7 /proc/11619/task/11631/stat : 11631 (java) S 11617 11617 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510910800 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396135450096 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11632] ppid=11617 vsize=28231652 memory=280216954159488 CPUtime=0 cores=0-7 /proc/11619/task/11632/stat : 11632 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910802 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396134398672 140397807638427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11633] ppid=11617 vsize=28231652 memory=280216954164096 CPUtime=0.02 cores=0-7 /proc/11619/task/11633/stat : 11633 (java) S 11617 11617 5615 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 20 0 510910802 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396133345264 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11634] ppid=11617 vsize=28231652 memory=280216954168704 CPUtime=0.03 cores=0-7 /proc/11619/task/11634/stat : 11634 (java) R 11617 11617 5615 0 -1 4202560 216 0 0 0 3 0 0 0 20 0 20 0 510910802 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396132273736 140397792729493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11635] ppid=11617 vsize=28231652 memory=280216954173312 CPUtime=0.02 cores=0-7 /proc/11619/task/11635/stat : 11635 (java) S 11617 11617 5615 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 20 0 510910802 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396131240176 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11636] ppid=11617 vsize=28231652 memory=280216954177920 CPUtime=0.12 cores=0-7 /proc/11619/task/11636/stat : 11636 (java) S 11617 11617 5615 0 -1 1077944384 915 0 0 0 12 0 0 0 20 0 20 0 510910802 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396130187632 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11637] ppid=11617 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11637/stat : 11637 (java) S 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510910803 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396129135328 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11638] ppid=11617 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/11619/task/11638/stat : 11638 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910803 28909211648 12506 33554432000 4194304 4196468 140725420360528 140396128082864 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51476 KiB [startup+0.700945 s] /proc/loadavg: 7.78 8.10 8.14 5/212 11638 /proc/meminfo: memFree=25449496/32770624 swapFree=67002564/67108860 [pid=11617] ppid=11614 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11617/stat : 11617 (xcsp3-exec) S 11614 11617 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510910796 115843072 363 33554432000 4194304 5098028 140721497963632 140721497961736 140464860455548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19894272 140721497965435 140721497965678 140721497965678 140721497968586 0 /proc/11617/statm: 28282 363 305 221 0 87 0 [pid=11619] ppid=11617 vsize=28233776 memory=120932 CPUtime=1.96 cores=0-7 /proc/11619/stat : 11619 (java) S 11617 11617 5615 0 -1 1077944320 15732 0 0 0 190 6 0 0 20 0 20 0 510910797 28911386624 30233 33554432000 4194304 4196468 140725420360528 140725420343072 140397807619831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 /proc/11619/statm: 7058444 30233 3451 1 0 7019544 0 [pid=11619/tid=11620] ppid=11617 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/11619/task/11620/stat : 11620 (java) R 11617 11617 5615 0 -1 4202560 8670 0 0 0 63 4 0 0 20 0 20 0 510910797 28911386624 30233 33554432000 4194304 4196468 140725420360528 140397811857760 140397397442803 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11621] ppid=11617 vsize=28233776 memory=140108477277056 CPUtime=0 cores=0-7 /proc/11619/task/11621/stat : 11621 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28911386624 30233 33554432000 4194304 4196468 140725420360528 140397727472400 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11622] ppid=11617 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11622/stat : 11622 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510910798 28911386624 30233 33554432000 4194304 4196468 140725420360528 140397726419856 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11623] ppid=11617 vsize=28233776 memory=1052 CPUtime=0 cores=0-7 /proc/11619/task/11623/stat : 11623 (java) S 11617 11617 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510910798 28911386624 30233 33554432000 4194304 4196468 140725420360528 140397725367312 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 ################ # More data... # ################ [pid=11619/tid=11733] ppid=11617 vsize=28768336 memory=1452 CPUtime=7.27 cores=0-7 /proc/11619/task/11733/stat : 11733 (java) R 11617 11617 5615 0 -1 4202560 131 0 0 0 727 0 0 0 20 0 28 0 510911309 29458776064 117550 33554432000 4194304 4196468 140725420360528 140396109398152 140397405029219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11734] ppid=11617 vsize=28768336 memory=470140 CPUtime=7.39 cores=0-7 /proc/11619/task/11734/stat : 11734 (java) R 11617 11617 5615 0 -1 4202560 212 0 0 0 739 0 0 0 20 0 28 0 510911309 29458776064 117550 33554432000 4194304 4196468 140725420360528 140396115714408 140397405029155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 Current children cumulated CPU time: 89.75 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 471652 KiB [startup+13.3079 s] # the end of solver process 11617 was just reported to runsolver # cumulated CPU time of all completed processes: user=93.8229 s, system=0.677802 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+12.8015 s] /proc/loadavg: 8.11 8.16 8.16 9/220 11734 /proc/meminfo: memFree=25060132/32770624 swapFree=67002564/67108860 [pid=11617] ppid=11614 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11617/stat : 11617 (xcsp3-exec) S 11614 11617 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510910796 115843072 363 33554432000 4194304 5098028 140721497963632 140721497961736 140464860455548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19894272 140721497965435 140721497965678 140721497965678 140721497968586 0 /proc/11617/statm: 28282 363 305 221 0 87 0 [pid=11619] ppid=11617 vsize=28768336 memory=470204 CPUtime=90.55 cores=0-7 /proc/11619/stat : 11619 (java) S 11617 11617 5615 0 -1 1077944320 46604 0 0 0 8990 65 0 0 20 0 28 0 510910797 29458776064 117551 33554432000 4194304 4196468 140725420360528 140725420343072 140397807619831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 /proc/11619/statm: 7192084 117551 3525 1 0 7153184 0 [pid=11619/tid=11620] ppid=11617 vsize=28768336 memory=6791534058613427641 CPUtime=1.83 cores=0-7 /proc/11619/task/11620/stat : 11620 (java) S 11617 11617 5615 0 -1 1077944384 9186 0 0 0 175 8 0 0 20 0 28 0 510910797 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397811860608 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11621] ppid=11617 vsize=28768336 memory=1556 CPUtime=0.08 cores=0-7 /proc/11619/task/11621/stat : 11621 (java) S 11617 11617 5615 0 -1 1077944384 150 0 0 0 4 4 0 0 20 0 28 0 510910798 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397727472400 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11622] ppid=11617 vsize=28768336 memory=740 CPUtime=0.05 cores=0-7 /proc/11619/task/11622/stat : 11622 (java) S 11617 11617 5615 0 -1 1077944384 401 0 0 0 2 3 0 0 20 0 28 0 510910798 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397726419856 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11623] ppid=11617 vsize=28768336 memory=1052 CPUtime=0.05 cores=0-7 /proc/11619/task/11623/stat : 11623 (java) S 11617 11617 5615 0 -1 1077944384 157 0 0 0 2 3 0 0 20 0 28 0 510910798 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397725367312 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11624] ppid=11617 vsize=28768336 memory=7548 CPUtime=0.07 cores=0-7 /proc/11619/task/11624/stat : 11624 (java) S 11617 11617 5615 0 -1 1077944384 166 0 0 0 3 4 0 0 20 0 28 0 510910798 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397724314768 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11625] ppid=11617 vsize=28768336 memory=3620 CPUtime=0.08 cores=0-7 /proc/11619/task/11625/stat : 11625 (java) S 11617 11617 5615 0 -1 1077944384 238 0 0 0 3 5 0 0 20 0 28 0 510910798 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397723261200 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11626] ppid=11617 vsize=28768336 memory=2832 CPUtime=0.07 cores=0-7 /proc/11619/task/11626/stat : 11626 (java) S 11617 11617 5615 0 -1 1077944384 168 0 0 0 3 4 0 0 20 0 28 0 510910798 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397722208656 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11627] ppid=11617 vsize=28768336 memory=57 CPUtime=0.07 cores=0-7 /proc/11619/task/11627/stat : 11627 (java) S 11617 11617 5615 0 -1 1077944384 249 0 0 0 4 3 0 0 20 0 28 0 510910798 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397721156112 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11628] ppid=11617 vsize=28768336 memory=14863 CPUtime=0.08 cores=0-7 /proc/11619/task/11628/stat : 11628 (java) S 11617 11617 5615 0 -1 1077944384 811 0 0 0 5 3 0 0 20 0 28 0 510910798 29458776064 117551 33554432000 4194304 4196468 140725420360528 140397720103568 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11629] ppid=11617 vsize=28768336 memory=23008 CPUtime=0.01 cores=0-7 /proc/11619/task/11629/stat : 11629 (java) S 11617 11617 5615 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 28 0 510910799 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396137556464 140397807630978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11630] ppid=11617 vsize=28768336 memory=3588 CPUtime=0 cores=0-7 /proc/11619/task/11630/stat : 11630 (java) S 11617 11617 5615 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 510910800 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396136502752 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11631] ppid=11617 vsize=28768336 memory=63536 CPUtime=0 cores=0-7 /proc/11619/task/11631/stat : 11631 (java) S 11617 11617 5615 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 510910800 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396135450112 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11632] ppid=11617 vsize=28768336 memory=984 CPUtime=0 cores=0-7 /proc/11619/task/11632/stat : 11632 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510910802 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396134398672 140397807638427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11633] ppid=11617 vsize=28768336 memory=1940 CPUtime=1.84 cores=0-7 /proc/11619/task/11633/stat : 11633 (java) S 11617 11617 5615 0 -1 1077944384 7379 0 0 0 182 2 0 0 20 0 28 0 510910802 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396133345264 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11634] ppid=11617 vsize=28768336 memory=6791534058613427641 CPUtime=2.53 cores=0-7 /proc/11619/task/11634/stat : 11634 (java) S 11617 11617 5615 0 -1 1077944384 8590 0 0 0 250 3 0 0 20 0 28 0 510910802 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396132292720 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11635] ppid=11617 vsize=28768336 memory=0 CPUtime=1.95 cores=0-7 /proc/11619/task/11635/stat : 11635 (java) S 11617 11617 5615 0 -1 1077944384 5090 0 0 0 193 2 0 0 20 0 28 0 510910802 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396131240176 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11636] ppid=11617 vsize=28768336 memory=2209 CPUtime=0.92 cores=0-7 /proc/11619/task/11636/stat : 11636 (java) S 11617 11617 5615 0 -1 1077944384 6045 0 0 0 89 3 0 0 20 0 28 0 510910802 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396130187632 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11637] ppid=11617 vsize=28768336 memory=23076 CPUtime=0 cores=0-7 /proc/11619/task/11637/stat : 11637 (java) S 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510910803 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396129135328 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11638] ppid=11617 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11638/stat : 11638 (java) S 11617 11617 5615 0 -1 1077944384 710 0 0 0 0 0 0 0 20 0 28 0 510910803 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396128082864 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11727] ppid=11617 vsize=28768336 memory=0 CPUtime=7.46 cores=0-7 /proc/11619/task/11727/stat : 11727 (java) R 11617 11617 5615 0 -1 4202560 282 0 0 0 746 0 0 0 20 0 28 0 510911309 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396116768472 140397405029224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11728] ppid=11617 vsize=28768336 memory=13412 CPUtime=7.54 cores=0-7 /proc/11619/task/11728/stat : 11728 (java) R 11617 11617 5615 0 -1 4202560 187 0 0 0 754 0 0 0 20 0 28 0 510911309 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396110451288 140397405029201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11729] ppid=11617 vsize=28768336 memory=100759932787618 CPUtime=7.61 cores=0-7 /proc/11619/task/11729/stat : 11729 (java) R 11617 11617 5615 0 -1 4202560 322 0 0 0 761 0 0 0 20 0 28 0 510911309 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396111503432 140397405029224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11730] ppid=11617 vsize=28768336 memory=6944656592455359580 CPUtime=7.34 cores=0-7 /proc/11619/task/11730/stat : 11730 (java) R 11617 11617 5615 0 -1 4202560 542 0 0 0 733 1 0 0 20 0 28 0 510911309 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396113608392 140397405029224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11731] ppid=11617 vsize=28768336 memory=6944656592455359580 CPUtime=7.54 cores=0-7 /proc/11619/task/11731/stat : 11731 (java) R 11617 11617 5615 0 -1 4202560 213 0 0 0 754 0 0 0 20 0 28 0 510911309 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396112555912 140397405029224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11732] ppid=11617 vsize=28768336 memory=6944656592455097440 CPUtime=7.53 cores=0-7 /proc/11619/task/11732/stat : 11732 (java) R 11617 11617 5615 0 -1 4202560 233 0 0 0 751 2 0 0 20 0 28 0 510911309 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396114663896 140397405029224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11733] ppid=11617 vsize=28768336 memory=6943526294502006880 CPUtime=7.37 cores=0-7 /proc/11619/task/11733/stat : 11733 (java) R 11617 11617 5615 0 -1 4202560 131 0 0 0 737 0 0 0 20 0 28 0 510911309 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396109398152 140397405029224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11734] ppid=11617 vsize=28768336 memory=6944656575208382560 CPUtime=7.49 cores=0-7 /proc/11619/task/11734/stat : 11734 (java) R 11617 11617 5615 0 -1 4202560 212 0 0 0 749 0 0 0 20 0 28 0 510911309 29458776064 117551 33554432000 4194304 4196468 140725420360528 140396115714408 140397405029272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 Current children cumulated CPU time: 90.55 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 471656 KiB [startup+13.2015 s] /proc/loadavg: 8.11 8.16 8.16 10/220 11734 /proc/meminfo: memFree=25060256/32770624 swapFree=67002564/67108860 [pid=11617] ppid=11614 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11617/stat : 11617 (xcsp3-exec) S 11614 11617 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510910796 115843072 363 33554432000 4194304 5098028 140721497963632 140721497961736 140464860455548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19894272 140721497965435 140721497965678 140721497965678 140721497968586 0 /proc/11617/statm: 28282 363 305 221 0 87 0 [pid=11619] ppid=11617 vsize=28768336 memory=470248 CPUtime=93.74 cores=0-7 /proc/11619/stat : 11619 (java) S 11617 11617 5615 0 -1 1077944320 47908 0 0 0 9308 66 0 0 20 0 28 0 510910797 29458776064 117562 33554432000 4194304 4196468 140725420360528 140725420343072 140397807619831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 /proc/11619/statm: 7192084 117562 3525 1 0 7153184 0 [pid=11619/tid=11620] ppid=11617 vsize=28768336 memory=1804 CPUtime=1.83 cores=0-7 /proc/11619/task/11620/stat : 11620 (java) S 11617 11617 5615 0 -1 1077944384 9186 0 0 0 175 8 0 0 20 0 28 0 510910797 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397811860608 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11621] ppid=11617 vsize=28768336 memory=916 CPUtime=0.08 cores=0-7 /proc/11619/task/11621/stat : 11621 (java) S 11617 11617 5615 0 -1 1077944384 150 0 0 0 4 4 0 0 20 0 28 0 510910798 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397727472400 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11622] ppid=11617 vsize=28768336 memory=4496 CPUtime=0.05 cores=0-7 /proc/11619/task/11622/stat : 11622 (java) S 11617 11617 5615 0 -1 1077944384 401 0 0 0 2 3 0 0 20 0 28 0 510910798 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397726419856 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11623] ppid=11617 vsize=28768336 memory=4100 CPUtime=0.05 cores=0-7 /proc/11619/task/11623/stat : 11623 (java) S 11617 11617 5615 0 -1 1077944384 157 0 0 0 2 3 0 0 20 0 28 0 510910798 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397725367312 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11624] ppid=11617 vsize=28768336 memory=1408 CPUtime=0.07 cores=0-7 /proc/11619/task/11624/stat : 11624 (java) S 11617 11617 5615 0 -1 1077944384 166 0 0 0 3 4 0 0 20 0 28 0 510910798 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397724314768 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11625] ppid=11617 vsize=28768336 memory=2928 CPUtime=0.08 cores=0-7 /proc/11619/task/11625/stat : 11625 (java) S 11617 11617 5615 0 -1 1077944384 238 0 0 0 3 5 0 0 20 0 28 0 510910798 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397723261200 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11626] ppid=11617 vsize=28768336 memory=49894635100879 CPUtime=0.07 cores=0-7 /proc/11619/task/11626/stat : 11626 (java) S 11617 11617 5615 0 -1 1077944384 168 0 0 0 3 4 0 0 20 0 28 0 510910798 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397722208656 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11627] ppid=11617 vsize=28768336 memory=49894635100880 CPUtime=0.07 cores=0-7 /proc/11619/task/11627/stat : 11627 (java) S 11617 11617 5615 0 -1 1077944384 249 0 0 0 4 3 0 0 20 0 28 0 510910798 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397721156112 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11628] ppid=11617 vsize=28768336 memory=49894635100881 CPUtime=0.08 cores=0-7 /proc/11619/task/11628/stat : 11628 (java) S 11617 11617 5615 0 -1 1077944384 811 0 0 0 5 3 0 0 20 0 28 0 510910798 29458776064 117562 33554432000 4194304 4196468 140725420360528 140397720103568 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11629] ppid=11617 vsize=28768336 memory=49894635100882 CPUtime=0.01 cores=0-7 /proc/11619/task/11629/stat : 11629 (java) S 11617 11617 5615 0 -1 1077944384 703 0 0 0 1 0 0 0 20 0 28 0 510910799 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396137556464 140397807630978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11630] ppid=11617 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/11619/task/11630/stat : 11630 (java) S 11617 11617 5615 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 510910800 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396136502752 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11631] ppid=11617 vsize=28768336 memory=49894635100884 CPUtime=0 cores=0-7 /proc/11619/task/11631/stat : 11631 (java) S 11617 11617 5615 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 510910800 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396135450112 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11632] ppid=11617 vsize=28768336 memory=49894635100885 CPUtime=0 cores=0-7 /proc/11619/task/11632/stat : 11632 (java) S 11617 11617 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510910802 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396134398672 140397807638427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11633] ppid=11617 vsize=28768336 memory=49894635100886 CPUtime=1.84 cores=0-7 /proc/11619/task/11633/stat : 11633 (java) S 11617 11617 5615 0 -1 1077944384 7379 0 0 0 182 2 0 0 20 0 28 0 510910802 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396133345264 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11634] ppid=11617 vsize=28768336 memory=49894635100887 CPUtime=2.54 cores=0-7 /proc/11619/task/11634/stat : 11634 (java) S 11617 11617 5615 0 -1 1077944384 9030 0 0 0 251 3 0 0 20 0 28 0 510910802 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396132292720 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11635] ppid=11617 vsize=28768336 memory=0 CPUtime=1.96 cores=0-7 /proc/11619/task/11635/stat : 11635 (java) S 11617 11617 5615 0 -1 1077944384 5627 0 0 0 194 2 0 0 20 0 28 0 510910802 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396131240176 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11636] ppid=11617 vsize=28768336 memory=301741373374332954 CPUtime=0.92 cores=0-7 /proc/11619/task/11636/stat : 11636 (java) S 11617 11617 5615 0 -1 1077944384 6045 0 0 0 89 3 0 0 20 0 28 0 510910802 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396130187632 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11637] ppid=11617 vsize=28768336 memory=301741382048153914 CPUtime=0 cores=0-7 /proc/11619/task/11637/stat : 11637 (java) S 11617 11617 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510910803 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396129135328 140397807630037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11638] ppid=11617 vsize=28768336 memory=16099269136353912 CPUtime=0 cores=0-7 /proc/11619/task/11638/stat : 11638 (java) S 11617 11617 5615 0 -1 1077944384 710 0 0 0 0 0 0 0 20 0 28 0 510910803 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396128082864 140397807630978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11727] ppid=11617 vsize=28768336 memory=8475934422144423578 CPUtime=7.85 cores=0-7 /proc/11619/task/11727/stat : 11727 (java) R 11617 11617 5615 0 -1 4202560 289 0 0 0 785 0 0 0 20 0 28 0 510911309 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396116765952 140397405029146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11728] ppid=11617 vsize=28768336 memory=7016671349533276567 CPUtime=7.94 cores=0-7 /proc/11619/task/11728/stat : 11728 (java) R 11617 11617 5615 0 -1 4202560 191 0 0 0 794 0 0 0 20 0 28 0 510911309 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396110451072 140397405029219 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11729] ppid=11617 vsize=28768336 memory=4196912344889787449 CPUtime=8.01 cores=0-7 /proc/11619/task/11729/stat : 11729 (java) R 11617 11617 5615 0 -1 4202560 352 0 0 0 801 0 0 0 20 0 28 0 510911309 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396111502896 140397405029272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11730] ppid=11617 vsize=28768336 memory=3047711566422646390 CPUtime=7.74 cores=0-7 /proc/11619/task/11730/stat : 11730 (java) R 11617 11617 5615 0 -1 4202560 554 0 0 0 773 1 0 0 20 0 28 0 510911309 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396113608320 140397405029137 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11731] ppid=11617 vsize=28768336 memory=6576575808607071397 CPUtime=7.94 cores=0-7 /proc/11619/task/11731/stat : 11731 (java) R 11617 11617 5615 0 -1 4202560 322 0 0 0 794 0 0 0 20 0 28 0 510911309 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396112555776 140397405029008 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11732] ppid=11617 vsize=28768336 memory=-6806559293853124242 CPUtime=7.93 cores=0-7 /proc/11619/task/11732/stat : 11732 (java) R 11617 11617 5615 0 -1 4202560 249 0 0 0 791 2 0 0 20 0 28 0 510911309 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396114661248 140397405029137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11733] ppid=11617 vsize=28768336 memory=4422598896179335326 CPUtime=7.75 cores=0-7 /proc/11619/task/11733/stat : 11733 (java) R 11617 11617 5615 0 -1 4202560 135 0 0 0 775 0 0 0 20 0 28 0 510911309 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396109397904 140397405029111 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 [pid=11619/tid=11734] ppid=11617 vsize=28768336 memory=0 CPUtime=7.88 cores=0-7 /proc/11619/task/11734/stat : 11734 (java) R 11617 11617 5615 0 -1 4202560 294 0 0 0 788 0 0 0 20 0 28 0 510911309 29458776064 117562 33554432000 4194304 4196468 140725420360528 140396115714176 140397405028936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7622656 140725420368880 140725420369051 140725420369051 140725420371919 0 Current children cumulated CPU time: 93.74 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 471700 KiB [startup+13.3012 s] /proc/loadavg: 8.11 8.16 8.16 10/220 11734 /proc/meminfo: memFree=25060256/32770624 swapFree=67002564/67108860 [pid=11617] ppid=11614 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/11617/stat : 11617 (xcsp3-exec) S 11614 11617 5615 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 510910796 115843072 363 33554432000 4194304 5098028 140721497963632 140721497961736 140464860455548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19894272 140721497965435 140721497965678 140721497965678 140721497968586 0 /proc/11617/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 13.308 CPU time (s): 94.5007 CPU user time (s): 93.8229 CPU system time (s): 0.677802 CPU usage (%): 710.106 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 471700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 93.8229 system time used= 0.677802 maximum resident set size= 473712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49290 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6010 involuntary context switches= 1839 # summary of solver processes directly reported to runsolver: # pid: 11617 # total CPU time (s): 94.5007 # total CPU user time (s): 93.8229 # total CPU system time (s): 0.677802 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.117351 second user time and 0.210346 second system time The end
Begin job on node148 at 2019-09-24 19:50:55 IDJOB=4407412 IDBENCH=128018 IDSOLVER=2872 FILE ID=node148/4407412-1569347493 RUNJOBID= node148-1569335941-5642 PBS_JOBID= 21705049 Free space on /tmp= 22084 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-0.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-4407412-1569347493/watcher-4407412-1569347493 -o /tmp/evaluation-result-4407412-1569347493/solver-4407412-1569347493 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1119431451 HOME/instance-4407412-1569347493.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 297e7ff3843a631e244fdcc6d730e090 RANDOM SEED=1119431451 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25517064 kB MemAvailable: 31853652 kB Buffers: 55184 kB Cached: 6553248 kB SwapCached: 3372 kB Active: 4385732 kB Inactive: 2227836 kB Active(anon): 2960 kB Inactive(anon): 57864 kB Active(file): 4382772 kB Inactive(file): 2169972 kB Unevictable: 110656 kB Mlocked: 110656 kB SwapTotal: 67108860 kB SwapFree: 67002564 kB Dirty: 27068 kB Writeback: 0 kB AnonPages: 113636 kB Mapped: 56512 kB Shmem: 47072 kB Slab: 228224 kB SReclaimable: 199360 kB SUnreclaim: 28864 kB KernelStack: 3696 kB PageTables: 5712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514472 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 22060 MiB End job on node148 at 2019-09-24 19:51:09