Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | ? (TO) | 20038.7 | 2520.05 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-36-92.xml |
MD5SUM | e7221c19415bed5c98fc37c567f19ceb |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 67.5998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 600 |
Number of constraints | 731 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 22 |
Distribution of domain sizes | [{"size":2,"count":500},{"size":22,"count":100}] |
Minimum variable degree | 2 |
Maximum variable degree | 48 |
Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":19},{"degree":21,"count":39},{"degree":22,"count":14},{"degree":23,"count":14},{"degree":24,"count":14},{"degree":25,"count":14},{"degree":26,"count":9},{"degree":27,"count":8},{"degree":28,"count":8},{"degree":29,"count":8},{"degree":30,"count":8},{"degree":31,"count":9},{"degree":32,"count":9},{"degree":33,"count":19},{"degree":34,"count":5},{"degree":35,"count":5},{"degree":36,"count":7},{"degree":37,"count":4},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":2},{"degree":45,"count":2},{"degree":46,"count":2},{"degree":47,"count":3},{"degree":48,"count":11}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":99},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":100},{"arity":7,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":3},{"arity":18,"count":1},{"arity":19,"count":2},{"arity":20,"count":2},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":3},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
Number of extensional constraints | 100 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":630},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404412-1569001736.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404412-1569001736.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.67/1.01 c solve instance... 20038.49/2520.03 s UNKNOWN 20038.49/2520.03 c Unexpected resolution interruption!
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 (4523 MiB free) memory of node 1: 16384 MiB (4609 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404412-1569001736/watcher-4404412-1569001736 -o /var/tmp/evaluation-result-4404412-1569001736/solver-4404412-1569001736 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 212647686 HOME/instance-4404412-1569001736.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18520, runsolver pid=18517 Current StackSize limit: 8192 KiB [startup+0.100145 s]* /proc/loadavg: 8.08 8.00 8.08 2/211 18541 /proc/meminfo: memFree=9335644/32770624 swapFree=67021900/67108860 [pid=18520] ppid=18517 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18520/stat : 18520 (xcsp3-exec) S 18517 18520 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476446169 115843072 362 33554432000 4194304 5098028 140724911264304 140724911262408 140040305898108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14462976 140724911272786 140724911273045 140724911273045 140724911275974 0 /proc/18520/statm: 28282 362 304 221 0 87 0 [pid=18522] ppid=18520 vsize=28227396 memory=29848 CPUtime=0.12 cores=0-7 /proc/18522/stat : 18522 (java) S 18520 18520 14242 0 -1 1077944320 5938 0 0 0 11 1 0 0 20 0 20 0 476446169 28904853504 7462 33554432000 4194304 4196468 140732330213312 140732330195856 140159696010999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 /proc/18522/statm: 7056849 7462 3098 1 0 7019032 0 [pid=18522/tid=18523] ppid=18520 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/18522/task/18523/stat : 18523 (java) R 18520 18520 14242 0 -1 4202560 3850 0 0 0 8 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159700242320 140159696022934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18524] ppid=18520 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159615863696 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18525] ppid=18520 vsize=28227396 memory=140496300230272 CPUtime=0 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159245998864 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18526] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159244946576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18527] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18527/stat : 18527 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159243893776 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18528] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18528/stat : 18528 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159242840464 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18529] ppid=18520 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18522/task/18529/stat : 18529 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159241787664 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18530] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18530/stat : 18530 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159240735376 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18531] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18531/stat : 18531 (java) S 18520 18520 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 7462 33554432000 4194304 4196468 140732330213312 140159239682576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18532] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18532/stat : 18532 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446172 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157891697264 140159696022146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18533] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18533/stat : 18533 (java) S 18520 18520 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476446172 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157890643232 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18534] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18534/stat : 18534 (java) S 18520 18520 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476446172 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157889590896 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18535] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18535/stat : 18535 (java) S 18520 18520 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157888539216 140159696029595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18536] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18536/stat : 18536 (java) R 18520 18520 14242 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157887477568 140159680906075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18537] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18537/stat : 18537 (java) S 18520 18520 14242 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157886433264 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18538] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18538/stat : 18538 (java) S 18520 18520 14242 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157885380976 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18539] ppid=18520 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18522/task/18539/stat : 18539 (java) R 18520 18520 14242 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 476446175 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157884328176 140159675400539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18540] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18540/stat : 18540 (java) S 18520 18520 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157883276128 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18541] ppid=18520 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18522/task/18541/stat : 18541 (java) S 18520 18520 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 7462 33554432000 4194304 4196468 140732330213312 140157882223408 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31296 KiB [startup+0.210091 s]* /proc/loadavg: 8.08 8.00 8.08 4/211 18541 /proc/meminfo: memFree=9323256/32770624 swapFree=67021900/67108860 [pid=18520] ppid=18517 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18520/stat : 18520 (xcsp3-exec) S 18517 18520 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476446169 115843072 362 33554432000 4194304 5098028 140724911264304 140724911262408 140040305898108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14462976 140724911272786 140724911273045 140724911273045 140724911275974 0 /proc/18520/statm: 28282 362 304 221 0 87 0 [pid=18522] ppid=18520 vsize=28227396 memory=41004 CPUtime=0.33 cores=0-7 /proc/18522/stat : 18522 (java) S 18520 18520 14242 0 -1 1077944320 9532 0 0 0 30 3 0 0 20 0 20 0 476446169 28904853504 10251 33554432000 4194304 4196468 140732330213312 140732330195856 140159696010999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 /proc/18522/statm: 7056849 10251 3289 1 0 7019032 0 [pid=18522/tid=18523] ppid=18520 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/18522/task/18523/stat : 18523 (java) R 18520 18520 14242 0 -1 4202560 6682 0 0 0 18 2 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159700247696 140159696022934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18524] ppid=18520 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159615863696 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18525] ppid=18520 vsize=28227396 memory=288370872451942016 CPUtime=0 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159245998864 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18526] ppid=18520 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159244946576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18527] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18527/stat : 18527 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159243893776 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18528] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18528/stat : 18528 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159242840464 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18529] ppid=18520 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18522/task/18529/stat : 18529 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159241787664 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18530] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18530/stat : 18530 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159240735376 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18531] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18531/stat : 18531 (java) S 18520 18520 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476446170 28904853504 10251 33554432000 4194304 4196468 140732330213312 140159239682576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18532] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18532/stat : 18532 (java) S 18520 18520 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476446172 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157891697264 140159696022146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18533] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18533/stat : 18533 (java) S 18520 18520 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476446172 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157890643232 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18534] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18534/stat : 18534 (java) S 18520 18520 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476446172 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157889590896 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18535] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18535/stat : 18535 (java) S 18520 18520 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157888539216 140159696029595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18536] ppid=18520 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18522/task/18536/stat : 18536 (java) S 18520 18520 14242 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 20 0 476446175 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157887486064 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18537] ppid=18520 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18522/task/18537/stat : 18537 (java) S 18520 18520 14242 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 20 0 476446175 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157886433264 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18538] ppid=18520 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/18522/task/18538/stat : 18538 (java) S 18520 18520 14242 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 476446175 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157885380976 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18539] ppid=18520 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/18522/task/18539/stat : 18539 (java) R 18520 18520 14242 0 -1 4202560 747 0 0 0 8 0 0 0 20 0 20 0 476446175 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157884328176 140159696032346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18540] ppid=18520 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18540/stat : 18540 (java) S 18520 18520 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157883276128 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18541] ppid=18520 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18522/task/18541/stat : 18541 (java) S 18520 18520 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476446175 28904853504 10251 33554432000 4194304 4196468 140732330213312 140157882223408 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42452 KiB [startup+0.309555 s]* /proc/loadavg: 8.08 8.00 8.08 3/211 18541 /proc/meminfo: memFree=9315736/32770624 swapFree=67021900/67108860 [pid=18520] ppid=18517 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18520/stat : 18520 (xcsp3-exec) S 18517 18520 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476446169 115843072 362 33554432000 4194304 5098028 140724911264304 140724911262408 140040305898108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14462976 140724911272786 140724911273045 140724911273045 140724911275974 0 /proc/18520/statm: 28282 362 304 221 0 87 0 [pid=18522] ppid=18520 vsize=28231652 memory=49908 CPUtime=0.52 cores=0-7 /proc/18522/stat : 18522 (java) S 18520 18520 14242 0 -1 1077944320 10899 0 0 0 48 4 0 0 20 0 20 0 476446169 28909211648 12477 33554432000 4194304 4196468 140732330213312 140732330195856 140159696010999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 /proc/18522/statm: 7057913 12477 3338 1 0 7019032 0 [pid=18522/tid=18523] ppid=18520 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/18522/task/18523/stat : 18523 (java) R 18520 18520 14242 0 -1 4202560 7863 0 0 0 27 3 0 0 20 0 20 0 476446170 28909211648 12477 33554432000 4194304 4196468 140732330213312 140159700242112 140159680091486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18524] ppid=18520 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28909211648 12542 33554432000 4194304 4196468 140732330213312 140159615863696 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18525] ppid=18520 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28909211648 12542 33554432000 4194304 4196468 140732330213312 140159245998864 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18526] ppid=18520 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28909211648 12542 33554432000 4194304 4196468 140732330213312 140159244946576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18527] ppid=18520 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18527/stat : 18527 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28909211648 12542 33554432000 4194304 4196468 140732330213312 140159243893776 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18528] ppid=18520 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/18522/task/18528/stat : 18528 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28909211648 12542 33554432000 4194304 4196468 140732330213312 140159242840464 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18529] ppid=18520 vsize=28231652 memory=140496164975535 CPUtime=0 cores=0-7 /proc/18522/task/18529/stat : 18529 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28909211648 12546 33554432000 4194304 4196468 140732330213312 140159241787664 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18530] ppid=18520 vsize=28231652 memory=140496164977840 CPUtime=0 cores=0-7 /proc/18522/task/18530/stat : 18530 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28909211648 12546 33554432000 4194304 4196468 140732330213312 140159240735376 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18531] ppid=18520 vsize=28231652 memory=140496164980144 CPUtime=0 cores=0-7 /proc/18522/task/18531/stat : 18531 (java) S 18520 18520 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476446170 28909211648 12546 33554432000 4194304 4196468 140732330213312 140159239682576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18532] ppid=18520 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18532/stat : 18532 (java) S 18520 18520 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476446172 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157891697264 140159696022146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18533] ppid=18520 vsize=28231652 memory=280992329967248 CPUtime=0 cores=0-7 /proc/18522/task/18533/stat : 18533 (java) S 18520 18520 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476446172 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157890643232 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18534] ppid=18520 vsize=28231652 memory=280992329974160 CPUtime=0 cores=0-7 /proc/18522/task/18534/stat : 18534 (java) S 18520 18520 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476446172 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157889590896 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18535] ppid=18520 vsize=28231652 memory=280992329915440 CPUtime=0 cores=0-7 /proc/18522/task/18535/stat : 18535 (java) S 18520 18520 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476446175 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157888539216 140159696029595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18536] ppid=18520 vsize=28231652 memory=280992329987984 CPUtime=0.02 cores=0-7 /proc/18522/task/18536/stat : 18536 (java) S 18520 18520 14242 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 20 0 476446175 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157887486064 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18537] ppid=18520 vsize=28231652 memory=280992329994896 CPUtime=0.03 cores=0-7 /proc/18522/task/18537/stat : 18537 (java) R 18520 18520 14242 0 -1 4202560 407 0 0 0 3 0 0 0 20 0 20 0 476446175 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157886433264 140159679395831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18538] ppid=18520 vsize=28231652 memory=280992329992592 CPUtime=0.02 cores=0-7 /proc/18522/task/18538/stat : 18538 (java) S 18520 18520 14242 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 20 0 476446175 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157885380976 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18539] ppid=18520 vsize=28231652 memory=280992330008752 CPUtime=0.12 cores=0-7 /proc/18522/task/18539/stat : 18539 (java) S 18520 18520 14242 0 -1 1077944384 813 0 0 0 12 0 0 0 20 0 20 0 476446175 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157884328176 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18540] ppid=18520 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18540/stat : 18540 (java) S 18520 18520 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476446175 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157883276128 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18541] ppid=18520 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18522/task/18541/stat : 18541 (java) S 18520 18520 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476446175 28909211648 12546 33554432000 4194304 4196468 140732330213312 140157882223408 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51356 KiB [startup+0.70091 s] /proc/loadavg: 8.08 8.00 8.08 3/211 18541 /proc/meminfo: memFree=9301448/32770624 swapFree=67021900/67108860 [pid=18520] ppid=18517 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18520/stat : 18520 (xcsp3-exec) S 18517 18520 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476446169 115843072 362 33554432000 4194304 5098028 140724911264304 140724911262408 140040305898108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14462976 140724911272786 140724911273045 140724911273045 140724911275974 0 /proc/18520/statm: 28282 362 304 221 0 87 0 [pid=18522] ppid=18520 vsize=28233776 memory=87640 CPUtime=1.77 cores=0-7 /proc/18522/stat : 18522 (java) S 18520 18520 14242 0 -1 1077944320 15175 0 0 0 171 6 0 0 20 0 20 0 476446169 28911386624 21910 33554432000 4194304 4196468 140732330213312 140732330195856 140159696010999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 /proc/18522/statm: 7058444 21910 3462 1 0 7019544 0 [pid=18522/tid=18523] ppid=18520 vsize=28233776 memory=280992330366640 CPUtime=0.67 cores=0-7 /proc/18522/task/18523/stat : 18523 (java) R 18520 18520 14242 0 -1 4202560 9136 0 0 0 64 3 0 0 20 0 20 0 476446170 28911386624 21910 33554432000 4194304 4196468 140732330213312 140159700247376 140159696022934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18524] ppid=18520 vsize=28233776 memory=140496165184368 CPUtime=0 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28911386624 21910 33554432000 4194304 4196468 140732330213312 140159615863696 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18525] ppid=18520 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28911386624 21910 33554432000 4194304 4196468 140732330213312 140159245998864 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18526] ppid=18520 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18520 18520 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476446170 28911386624 21910 33554432000 4194304 4196468 140732330213312 140159244946576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 ################ # More data... # ################ [pid=18522/tid=18549] ppid=18520 vsize=28768336 memory=42112 CPUtime=2412.58 cores=0-7 /proc/18522/task/18549/stat : 18549 (java) R 18520 18520 14242 0 -1 4202560 424942 0 0 0 241077 181 0 0 20 0 28 0 476446272 29458776064 485762 33554432000 4194304 4196468 140732330213312 140157423258672 140159304966212 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 Current children cumulated CPU time: 19419.9 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1944496 KiB [startup+2502.31 s] /proc/loadavg: 8.15 8.17 8.25 9/219 18760 /proc/meminfo: memFree=7472896/32770624 swapFree=67021920/67108860 [pid=18520] ppid=18517 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18520/stat : 18520 (xcsp3-exec) S 18517 18520 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476446169 115843072 362 33554432000 4194304 5098028 140724911264304 140724911262408 140040305898108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14462976 140724911272786 140724911273045 140724911273045 140724911275974 0 /proc/18520/statm: 28282 362 304 221 0 87 0 [pid=18522] ppid=18520 vsize=28768336 memory=1887644 CPUtime=19897.7 cores=0-7 /proc/18522/stat : 18522 (java) S 18520 18520 14242 0 -1 1077944320 1464125 0 0 0 1988859 915 0 0 20 0 28 0 476446169 29458776064 471911 33554432000 4194304 4196468 140732330213312 140732330195856 140159696010999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 /proc/18522/statm: 7192084 471911 3551 1 0 7153184 0 [pid=18522/tid=18523] ppid=18520 vsize=28768336 memory=1889696 CPUtime=1 cores=0-7 /proc/18522/task/18523/stat : 18523 (java) S 18520 18520 14242 0 -1 1077944384 9571 0 0 0 96 4 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159700251776 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18524] ppid=18520 vsize=28768336 memory=1889696 CPUtime=10.16 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) S 18520 18520 14242 0 -1 1077944384 30045 0 0 0 974 42 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159615863696 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18525] ppid=18520 vsize=28768336 memory=1887644 CPUtime=10.09 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18520 18520 14242 0 -1 1077944384 28342 0 0 0 974 35 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159245998864 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18526] ppid=18520 vsize=28768336 memory=1448 CPUtime=10.19 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18520 18520 14242 0 -1 1077944384 30130 0 0 0 980 39 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159244946576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18527] ppid=18520 vsize=28768336 memory=0 CPUtime=10.17 cores=0-7 /proc/18522/task/18527/stat : 18527 (java) S 18520 18520 14242 0 -1 1077944384 30128 0 0 0 979 38 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159243893776 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18528] ppid=18520 vsize=28768336 memory=1448 CPUtime=10.13 cores=0-7 /proc/18522/task/18528/stat : 18528 (java) S 18520 18520 14242 0 -1 1077944384 27061 0 0 0 977 36 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159242840464 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18529] ppid=18520 vsize=28768336 memory=998 CPUtime=10.07 cores=0-7 /proc/18522/task/18529/stat : 18529 (java) S 18520 18520 14242 0 -1 1077944384 29553 0 0 0 969 38 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159241787664 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18530] ppid=18520 vsize=28768336 memory=3648 CPUtime=10.19 cores=0-7 /proc/18522/task/18530/stat : 18530 (java) S 18520 18520 14242 0 -1 1077944384 32293 0 0 0 978 41 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159240735376 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18531] ppid=18520 vsize=28768336 memory=42112 CPUtime=10.11 cores=0-7 /proc/18522/task/18531/stat : 18531 (java) S 18520 18520 14242 0 -1 1077944384 32086 0 0 0 972 39 0 0 20 0 28 0 476446170 29458776064 471911 33554432000 4194304 4196468 140732330213312 140159239682576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18532] ppid=18520 vsize=28768336 memory=1888672 CPUtime=4.53 cores=0-7 /proc/18522/task/18532/stat : 18532 (java) S 18520 18520 14242 0 -1 1077944384 150139 0 0 0 308 145 0 0 20 0 28 0 476446172 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157891697264 140159696022146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18533] ppid=18520 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/18522/task/18533/stat : 18533 (java) S 18520 18520 14242 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 476446172 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157890643296 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18534] ppid=18520 vsize=28768336 memory=140496165632520 CPUtime=0 cores=0-7 /proc/18522/task/18534/stat : 18534 (java) S 18520 18520 14242 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 476446172 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157889590912 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18535] ppid=18520 vsize=28768336 memory=6370456470570560103 CPUtime=0 cores=0-7 /proc/18522/task/18535/stat : 18535 (java) S 18520 18520 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476446175 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157888539216 140159696029595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18536] ppid=18520 vsize=28768336 memory=164 CPUtime=2.51 cores=0-7 /proc/18522/task/18536/stat : 18536 (java) S 18520 18520 14242 0 -1 1077944384 14289 0 0 0 249 2 0 0 20 0 28 0 476446175 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157887486064 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18537] ppid=18520 vsize=28768336 memory=-2026666227646604569 CPUtime=2.54 cores=0-7 /proc/18522/task/18537/stat : 18537 (java) S 18520 18520 14242 0 -1 1077944384 17732 0 0 0 252 2 0 0 20 0 28 0 476446175 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157886433264 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18538] ppid=18520 vsize=28768336 memory=2256 CPUtime=2.44 cores=0-7 /proc/18522/task/18538/stat : 18538 (java) S 18520 18520 14242 0 -1 1077944384 16220 0 0 0 242 2 0 0 20 0 28 0 476446175 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157885380976 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18539] ppid=18520 vsize=28768336 memory=12328 CPUtime=0.81 cores=0-7 /proc/18522/task/18539/stat : 18539 (java) S 18520 18520 14242 0 -1 1077944384 8455 0 0 0 79 2 0 0 20 0 28 0 476446175 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157884328176 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18540] ppid=18520 vsize=28768336 memory=251 CPUtime=0 cores=0-7 /proc/18522/task/18540/stat : 18540 (java) S 18520 18520 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476446175 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157883276128 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18541] ppid=18520 vsize=28768336 memory=254 CPUtime=0.53 cores=0-7 /proc/18522/task/18541/stat : 18541 (java) S 18520 18520 14242 0 -1 1077944384 5862 0 0 0 28 25 0 0 20 0 28 0 476446175 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157882223408 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18542] ppid=18520 vsize=28768336 memory=1448 CPUtime=2476.52 cores=0-7 /proc/18522/task/18542/stat : 18542 (java) R 18520 18520 14242 0 -1 4202560 19508 0 0 0 247638 14 0 0 20 0 28 0 476446271 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157873004472 140159303126187 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18543] ppid=18520 vsize=28768336 memory=42112 CPUtime=2477.95 cores=0-7 /proc/18522/task/18543/stat : 18543 (java) R 18520 18520 14242 0 -1 4202560 41954 0 0 0 247770 25 0 0 20 0 28 0 476446272 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157871952200 140159302080260 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18544] ppid=18520 vsize=28768336 memory=1890724 CPUtime=2474.04 cores=0-7 /proc/18522/task/18544/stat : 18544 (java) R 18520 18520 14242 0 -1 4202560 16498 0 0 0 247388 16 0 0 20 0 28 0 476446272 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157870899416 140159303124365 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18545] ppid=18520 vsize=28768336 memory=1891236 CPUtime=2473.73 cores=0-7 /proc/18522/task/18545/stat : 18545 (java) R 18520 18520 14242 0 -1 4202560 176759 0 0 0 247300 73 0 0 20 0 28 0 476446272 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157427465816 140159301895419 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18546] ppid=18520 vsize=28768336 memory=1448 CPUtime=2475.65 cores=0-7 /proc/18522/task/18546/stat : 18546 (java) R 18520 18520 14242 0 -1 4202560 125644 0 0 0 247497 68 0 0 20 0 28 0 476446272 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157426413392 140159301895518 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18547] ppid=18520 vsize=28768336 memory=920 CPUtime=2477.81 cores=0-7 /proc/18522/task/18547/stat : 18547 (java) R 18520 18520 14242 0 -1 4202560 16122 0 0 0 247768 13 0 0 20 0 28 0 476446272 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157425360728 140159302080010 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18548] ppid=18520 vsize=28768336 memory=4428 CPUtime=2474.21 cores=0-7 /proc/18522/task/18548/stat : 18548 (java) R 18520 18520 14242 0 -1 4202560 175969 0 0 0 247353 68 0 0 20 0 28 0 476446272 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157424308632 140159301895323 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18549] ppid=18520 vsize=28768336 memory=1448 CPUtime=2472.18 cores=0-7 /proc/18522/task/18549/stat : 18549 (java) R 18520 18520 14242 0 -1 4202560 428363 0 0 0 247034 184 0 0 20 0 28 0 476446272 29458776064 471911 33554432000 4194304 4196468 140732330213312 140157423258672 140159304966608 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 Current children cumulated CPU time: 19897.7 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1889092 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520.01 s] /proc/loadavg: 8.27 8.19 8.25 9/221 18768 /proc/meminfo: memFree=7452732/32770624 swapFree=67021920/67108860 [pid=18520] ppid=18517 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/18520/stat : 18520 (xcsp3-exec) S 18517 18520 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476446169 115843072 362 33554432000 4194304 5098028 140724911264304 140724911262408 140040305898108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14462976 140724911272786 140724911273045 140724911273045 140724911275974 0 /proc/18520/statm: 28282 362 304 221 0 87 0 [pid=18522] ppid=18520 vsize=28768336 memory=1907548 CPUtime=20038.5 cores=0-7 /proc/18522/stat : 18522 (java) S 18520 18520 14242 0 -1 1077944320 1475160 0 0 0 2002928 921 0 0 20 0 28 0 476446169 29458776064 476887 33554432000 4194304 4196468 140732330213312 140732330195856 140159696010999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 /proc/18522/statm: 7192084 476887 3551 1 0 7153184 0 [pid=18522/tid=18523] ppid=18520 vsize=28768336 memory=111632 CPUtime=1 cores=0-7 /proc/18522/task/18523/stat : 18523 (java) S 18520 18520 14242 0 -1 1077944384 9571 0 0 0 96 4 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159700251776 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18524] ppid=18520 vsize=28768336 memory=804 CPUtime=10.26 cores=0-7 /proc/18522/task/18524/stat : 18524 (java) S 18520 18520 14242 0 -1 1077944384 30361 0 0 0 984 42 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159615863696 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18525] ppid=18520 vsize=28768336 memory=1808 CPUtime=10.21 cores=0-7 /proc/18522/task/18525/stat : 18525 (java) S 18520 18520 14242 0 -1 1077944384 28478 0 0 0 985 36 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159245998864 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18526] ppid=18520 vsize=28768336 memory=920 CPUtime=10.29 cores=0-7 /proc/18522/task/18526/stat : 18526 (java) S 18520 18520 14242 0 -1 1077944384 30534 0 0 0 990 39 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159244946576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18527] ppid=18520 vsize=28768336 memory=4428 CPUtime=10.28 cores=0-7 /proc/18522/task/18527/stat : 18527 (java) S 18520 18520 14242 0 -1 1077944384 30584 0 0 0 990 38 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159243893776 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18528] ppid=18520 vsize=28768336 memory=4100 CPUtime=10.24 cores=0-7 /proc/18522/task/18528/stat : 18528 (java) S 18520 18520 14242 0 -1 1077944384 27291 0 0 0 988 36 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159242840464 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18529] ppid=18520 vsize=28768336 memory=1412 CPUtime=10.18 cores=0-7 /proc/18522/task/18529/stat : 18529 (java) S 18520 18520 14242 0 -1 1077944384 30169 0 0 0 980 38 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159241787664 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18530] ppid=18520 vsize=28768336 memory=3764 CPUtime=10.28 cores=0-7 /proc/18522/task/18530/stat : 18530 (java) S 18520 18520 14242 0 -1 1077944384 32925 0 0 0 987 41 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159240735376 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18531] ppid=18520 vsize=28768336 memory=1448 CPUtime=10.22 cores=0-7 /proc/18522/task/18531/stat : 18531 (java) S 18520 18520 14242 0 -1 1077944384 32569 0 0 0 982 40 0 0 20 0 28 0 476446170 29458776064 476887 33554432000 4194304 4196468 140732330213312 140159239682576 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18532] ppid=18520 vsize=28768336 memory=1907548 CPUtime=4.57 cores=0-7 /proc/18522/task/18532/stat : 18532 (java) S 18520 18520 14242 0 -1 1077944384 152454 0 0 0 311 146 0 0 20 0 28 0 476446172 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157891697264 140159696022146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18533] ppid=18520 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/18522/task/18533/stat : 18533 (java) S 18520 18520 14242 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 476446172 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157890643296 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18534] ppid=18520 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/18522/task/18534/stat : 18534 (java) S 18520 18520 14242 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 476446172 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157889590912 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18535] ppid=18520 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/18522/task/18535/stat : 18535 (java) S 18520 18520 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476446175 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157888539216 140159696029595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18536] ppid=18520 vsize=28768336 memory=1480 CPUtime=2.51 cores=0-7 /proc/18522/task/18536/stat : 18536 (java) S 18520 18520 14242 0 -1 1077944384 14295 0 0 0 249 2 0 0 20 0 28 0 476446175 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157887486064 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18537] ppid=18520 vsize=28768336 memory=3880 CPUtime=2.54 cores=0-7 /proc/18522/task/18537/stat : 18537 (java) S 18520 18520 14242 0 -1 1077944384 17738 0 0 0 252 2 0 0 20 0 28 0 476446175 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157886433264 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18538] ppid=18520 vsize=28768336 memory=7712 CPUtime=2.44 cores=0-7 /proc/18522/task/18538/stat : 18538 (java) S 18520 18520 14242 0 -1 1077944384 16226 0 0 0 242 2 0 0 20 0 28 0 476446175 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157885380976 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18539] ppid=18520 vsize=28768336 memory=1760 CPUtime=0.81 cores=0-7 /proc/18522/task/18539/stat : 18539 (java) S 18520 18520 14242 0 -1 1077944384 8461 0 0 0 79 2 0 0 20 0 28 0 476446175 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157884328176 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18540] ppid=18520 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/18522/task/18540/stat : 18540 (java) S 18520 18520 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476446175 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157883276128 140159696021205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18541] ppid=18520 vsize=28768336 memory=6791534058613427641 CPUtime=0.53 cores=0-7 /proc/18522/task/18541/stat : 18541 (java) S 18520 18520 14242 0 -1 1077944384 5921 0 0 0 28 25 0 0 20 0 28 0 476446175 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157882223408 140159696022146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18542] ppid=18520 vsize=28768336 memory=836 CPUtime=2493.87 cores=0-7 /proc/18522/task/18542/stat : 18542 (java) R 18520 18520 14242 0 -1 4202560 19814 0 0 0 249373 14 0 0 20 0 28 0 476446271 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157873003648 140159303123385 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18543] ppid=18520 vsize=28768336 memory=1760 CPUtime=2495.49 cores=0-7 /proc/18522/task/18543/stat : 18543 (java) R 18520 18520 14242 0 -1 4202560 42340 0 0 0 249523 26 0 0 20 0 28 0 476446272 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157871952584 140159681211920 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18544] ppid=18520 vsize=28768336 memory=111632 CPUtime=2491.57 cores=0-7 /proc/18522/task/18544/stat : 18544 (java) R 18520 18520 14242 0 -1 4202560 16758 0 0 0 249141 16 0 0 20 0 28 0 476446272 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157870898936 140159302080015 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18545] ppid=18520 vsize=28768336 memory=804 CPUtime=2491.25 cores=0-7 /proc/18522/task/18545/stat : 18545 (java) R 18520 18520 14242 0 -1 4202560 177134 0 0 0 249052 73 0 0 20 0 28 0 476446272 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157427465816 140159303094532 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18546] ppid=18520 vsize=28768336 memory=1808 CPUtime=2493.18 cores=0-7 /proc/18522/task/18546/stat : 18546 (java) R 18520 18520 14242 0 -1 4202560 126921 0 0 0 249249 69 0 0 20 0 28 0 476446272 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157426413528 140159303123634 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18547] ppid=18520 vsize=28768336 memory=920 CPUtime=2495.33 cores=0-7 /proc/18522/task/18547/stat : 18547 (java) R 18520 18520 14242 0 -1 4202560 16371 0 0 0 249520 13 0 0 20 0 28 0 476446272 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157425361304 140159303123839 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18548] ppid=18520 vsize=28768336 memory=4428 CPUtime=2491.64 cores=0-7 /proc/18522/task/18548/stat : 18548 (java) R 18520 18520 14242 0 -1 4202560 176301 0 0 0 249096 68 0 0 20 0 28 0 476446272 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157424308440 140159302683050 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 [pid=18522/tid=18549] ppid=18520 vsize=28768336 memory=4100 CPUtime=2489.61 cores=0-7 /proc/18522/task/18549/stat : 18549 (java) R 18520 18520 14242 0 -1 4202560 430542 0 0 0 248775 186 0 0 20 0 28 0 476446272 29458776064 476887 33554432000 4194304 4196468 140732330213312 140157423258560 140159304966600 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 18956288 140732330218454 140732330218630 140732330218630 140732330221519 0 Current children cumulated CPU time: 20038.5 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 1908996 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.03 s] # the end of solver process 18520 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001172 s, system=0.001172 s [startup+2520.05 s] # the end of solver process 18522 was just reported to runsolver # cumulated CPU time of all completed processes: user=20029.5 s, system=9.23507 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.05 CPU time (s): 20038.7 CPU user time (s): 20029.5 CPU system time (s): 9.23507 CPU usage (%): 795.17 Max. virtual memory (cumulated for all children) (KiB): 28883452 Max. memory (cumulated for all children) (KiB): 2134388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20029.5 system time used= 9.23507 maximum resident set size= 2133940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1476109 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3352 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 221683 involuntary context switches= 235405 # summary of solver processes directly reported to runsolver: # pid: 18520,18522 # total CPU time (s): 20038.7 # total CPU user time (s): 20029.5 # total CPU system time (s): 9.23507 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.7536 second user time and 27.936 second system time The end
Begin job on node150 at 2019-09-20 19:48:16 IDJOB=4404412 IDBENCH=128093 IDSOLVER=2865 FILE ID=node150/4404412-1569001736 RUNJOBID= node150-1568993963-14269 PBS_JOBID= 21704712 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-36-92.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 /var/tmp/evaluation-result-4404412-1569001736/watcher-4404412-1569001736 -o /var/tmp/evaluation-result-4404412-1569001736/solver-4404412-1569001736 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 212647686 HOME/instance-4404412-1569001736.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e7221c19415bed5c98fc37c567f19ceb RANDOM SEED=212647686 node150.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.79 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.79 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.79 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.79 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: 9353140 kB MemAvailable: 31826304 kB Buffers: 169632 kB Cached: 22189972 kB SwapCached: 7944 kB Active: 11146488 kB Inactive: 11246660 kB Active(anon): 4676 kB Inactive(anon): 70272 kB Active(file): 11141812 kB Inactive(file): 11176388 kB Unevictable: 110732 kB Mlocked: 110732 kB SwapTotal: 67108860 kB SwapFree: 67021900 kB Dirty: 26212 kB Writeback: 4 kB AnonPages: 135644 kB Mapped: 47644 kB Shmem: 32528 kB Slab: 613656 kB SReclaimable: 583424 kB SUnreclaim: 30232 kB KernelStack: 3424 kB PageTables: 6140 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506412 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: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-20 20:30:16