Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | ? (TO) | 20051 | 2520.1 |
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-4393652-1568430824.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393652-1568430824.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 3.13/1.03 c solve instance... 20050.33/2520.07 s UNKNOWN 20050.33/2520.07 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 (10765 MiB free) memory of node 1: 16384 MiB (15298 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393652-1568430824/watcher-4393652-1568430824 -o /tmp/evaluation-result-4393652-1568430824/solver-4393652-1568430824 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1348108036 HOME/instance-4393652-1568430824.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=17207, runsolver pid=17204 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 3.83 6.50 7.15 3/212 17228 /proc/meminfo: memFree=26674168/32770624 swapFree=66977616/67108860 [pid=17207] ppid=17204 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17207/stat : 17207 (xcsp3-exec) S 17204 17207 15723 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419339604 115843072 364 33554432000 4194304 5098028 140736812184672 140736812182776 140329279238780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140736812192629 140736812192873 140736812192873 140736812195786 0 /proc/17207/statm: 28282 364 305 221 0 87 0 [pid=17209] ppid=17207 vsize=28227388 memory=28652 CPUtime=0.12 cores=0-7 /proc/17209/stat : 17209 (java) S 17207 17207 15723 0 -1 1077944320 5630 0 0 0 11 1 0 0 20 0 20 0 419339605 28904845312 7163 33554432000 4194304 4196468 140731505002096 140731504984640 140333965922039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 /proc/17209/statm: 7056847 7163 3163 1 0 7019032 0 [pid=17209/tid=17210] ppid=17207 vsize=28227388 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/17209/task/17210/stat : 17210 (java) R 17207 17207 15723 0 -1 4202560 3580 0 0 0 8 0 0 0 20 0 20 0 419339605 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333970151808 140333949965669 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17211] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17211/stat : 17211 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333918542864 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17212] ppid=17207 vsize=28227388 memory=288370513075873408 CPUtime=0 cores=0-7 /proc/17209/task/17212/stat : 17212 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333917490320 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17213] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17213/stat : 17213 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333916437264 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17214] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17214/stat : 17214 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333915384720 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17215] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17215/stat : 17215 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333914331664 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17216] ppid=17207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17209/task/17216/stat : 17216 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333913279120 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17217] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17217/stat : 17217 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333912226064 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17218] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17218/stat : 17218 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 7163 33554432000 4194304 4196468 140731505002096 140333911173520 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17219] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17219/stat : 17219 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339607 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332161399536 140333965933186 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17220] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17220/stat : 17220 (java) S 17207 17207 15723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419339608 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332160345760 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17221] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17221/stat : 17221 (java) S 17207 17207 15723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419339608 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332159292656 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17222] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17222/stat : 17222 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339610 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332158241232 140333965940635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17223] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17223/stat : 17223 (java) S 17207 17207 15723 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 20 0 419339610 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332157188336 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17224] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17224/stat : 17224 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419339610 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332156135792 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17225] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17225/stat : 17225 (java) R 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339610 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332155082736 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17226] ppid=17207 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/17209/task/17226/stat : 17226 (java) R 17207 17207 15723 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 20 0 419339610 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332154030192 140333950276617 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17227] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17227/stat : 17227 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419339611 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332152978400 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17228] ppid=17207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17209/task/17228/stat : 17228 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339611 28904845312 7163 33554432000 4194304 4196468 140731505002096 140332151925936 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30108 KiB [startup+0.210568 s]* /proc/loadavg: 3.83 6.50 7.15 4/212 17228 /proc/meminfo: memFree=26660524/32770624 swapFree=66977616/67108860 [pid=17207] ppid=17204 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17207/stat : 17207 (xcsp3-exec) S 17204 17207 15723 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419339604 115843072 364 33554432000 4194304 5098028 140736812184672 140736812182776 140329279238780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140736812192629 140736812192873 140736812192873 140736812195786 0 /proc/17207/statm: 28282 364 305 221 0 87 0 [pid=17209] ppid=17207 vsize=28227388 memory=40828 CPUtime=0.34 cores=0-7 /proc/17209/stat : 17209 (java) S 17207 17207 15723 0 -1 1077944320 9479 0 0 0 31 3 0 0 20 0 20 0 419339605 28904845312 10207 33554432000 4194304 4196468 140731505002096 140731504984640 140333965922039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 /proc/17209/statm: 7056847 10207 3302 1 0 7019032 0 [pid=17209/tid=17210] ppid=17207 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17209/task/17210/stat : 17210 (java) R 17207 17207 15723 0 -1 4202560 6612 0 0 0 18 2 0 0 20 0 20 0 419339605 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333970153088 140333577005051 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17211] ppid=17207 vsize=28227388 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/17209/task/17211/stat : 17211 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333918542864 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17212] ppid=17207 vsize=28227388 memory=140136924177671 CPUtime=0 cores=0-7 /proc/17209/task/17212/stat : 17212 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333917490320 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17213] ppid=17207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17209/task/17213/stat : 17213 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333916437264 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17214] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17214/stat : 17214 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333915384720 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17215] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17215/stat : 17215 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333914331664 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17216] ppid=17207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17209/task/17216/stat : 17216 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333913279120 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17217] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17217/stat : 17217 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333912226064 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17218] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17218/stat : 17218 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28904845312 10207 33554432000 4194304 4196468 140731505002096 140333911173520 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17219] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17219/stat : 17219 (java) S 17207 17207 15723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419339607 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332161399536 140333965933186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17220] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17220/stat : 17220 (java) S 17207 17207 15723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419339608 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332160345760 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17221] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17221/stat : 17221 (java) S 17207 17207 15723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419339608 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332159292656 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17222] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17222/stat : 17222 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339610 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332158241232 140333965940635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17223] ppid=17207 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/17209/task/17223/stat : 17223 (java) S 17207 17207 15723 0 -1 1077944384 707 0 0 0 2 0 0 0 20 0 20 0 419339610 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332157188336 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17224] ppid=17207 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/17209/task/17224/stat : 17224 (java) S 17207 17207 15723 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 419339610 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332156135792 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17225] ppid=17207 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/17209/task/17225/stat : 17225 (java) S 17207 17207 15723 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 20 0 419339610 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332155082736 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17226] ppid=17207 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/17209/task/17226/stat : 17226 (java) R 17207 17207 15723 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 20 0 419339610 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332154030000 140333944459656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17227] ppid=17207 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17227/stat : 17227 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419339611 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332152978400 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17228] ppid=17207 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17209/task/17228/stat : 17228 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339611 28904845312 10207 33554432000 4194304 4196468 140731505002096 140332151925936 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42284 KiB [startup+0.309913 s]* /proc/loadavg: 3.83 6.50 7.15 3/212 17228 /proc/meminfo: memFree=26652884/32770624 swapFree=66977616/67108860 [pid=17207] ppid=17204 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17207/stat : 17207 (xcsp3-exec) S 17204 17207 15723 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419339604 115843072 364 33554432000 4194304 5098028 140736812184672 140736812182776 140329279238780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140736812192629 140736812192873 140736812192873 140736812195786 0 /proc/17207/statm: 28282 364 305 221 0 87 0 [pid=17209] ppid=17207 vsize=28231644 memory=50132 CPUtime=0.53 cores=0-7 /proc/17209/stat : 17209 (java) S 17207 17207 15723 0 -1 1077944320 10887 0 0 0 49 4 0 0 20 0 20 0 419339605 28909203456 12533 33554432000 4194304 4196468 140731505002096 140731504984640 140333965922039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 /proc/17209/statm: 7057911 12533 3344 1 0 7019032 0 [pid=17209/tid=17210] ppid=17207 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/17209/task/17210/stat : 17210 (java) R 17207 17207 15723 0 -1 4202560 7750 0 0 0 27 2 0 0 20 0 20 0 419339605 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333970152512 140333950002526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17211] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17211/stat : 17211 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333918542864 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17212] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17212/stat : 17212 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333917490320 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17213] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17213/stat : 17213 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333916437264 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17214] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17214/stat : 17214 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419339606 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333915384720 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17215] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17215/stat : 17215 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333914331664 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17216] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17216/stat : 17216 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333913279120 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17217] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17217/stat : 17217 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333912226064 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17218] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17218/stat : 17218 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28909203456 12533 33554432000 4194304 4196468 140731505002096 140333911173520 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17219] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17219/stat : 17219 (java) S 17207 17207 15723 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419339607 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332161399536 140333965933186 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17220] ppid=17207 vsize=28231644 memory=280273594031488 CPUtime=0 cores=0-7 /proc/17209/task/17220/stat : 17220 (java) S 17207 17207 15723 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419339608 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332160345760 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17221] ppid=17207 vsize=28231644 memory=280273594036096 CPUtime=0 cores=0-7 /proc/17209/task/17221/stat : 17221 (java) S 17207 17207 15723 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419339608 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332159292656 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17222] ppid=17207 vsize=28231644 memory=280273594040704 CPUtime=0 cores=0-7 /proc/17209/task/17222/stat : 17222 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339610 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332158241232 140333965940635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17223] ppid=17207 vsize=28231644 memory=280273594045312 CPUtime=0.03 cores=0-7 /proc/17209/task/17223/stat : 17223 (java) S 17207 17207 15723 0 -1 1077944384 716 0 0 0 3 0 0 0 20 0 20 0 419339610 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332157188336 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17224] ppid=17207 vsize=28231644 memory=280273594049920 CPUtime=0.02 cores=0-7 /proc/17209/task/17224/stat : 17224 (java) S 17207 17207 15723 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 20 0 419339610 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332156135792 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17225] ppid=17207 vsize=28231644 memory=280273594054528 CPUtime=0.03 cores=0-7 /proc/17209/task/17225/stat : 17225 (java) R 17207 17207 15723 0 -1 4202560 145 0 0 0 3 0 0 0 20 0 20 0 419339610 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332155081136 140333947444617 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17226] ppid=17207 vsize=28231644 memory=280273594059136 CPUtime=0.12 cores=0-7 /proc/17209/task/17226/stat : 17226 (java) S 17207 17207 15723 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 20 0 419339610 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332154030192 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17227] ppid=17207 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17227/stat : 17227 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419339611 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332152978400 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17228] ppid=17207 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/17209/task/17228/stat : 17228 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339611 28909203456 12533 33554432000 4194304 4196468 140731505002096 140332151925936 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51588 KiB [startup+0.700934 s] /proc/loadavg: 3.83 6.50 7.15 3/212 17228 /proc/meminfo: memFree=26642708/32770624 swapFree=66977616/67108860 [pid=17207] ppid=17204 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17207/stat : 17207 (xcsp3-exec) S 17204 17207 15723 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419339604 115843072 364 33554432000 4194304 5098028 140736812184672 140736812182776 140329279238780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140736812192629 140736812192873 140736812192873 140736812195786 0 /proc/17207/statm: 28282 364 305 221 0 87 0 [pid=17209] ppid=17207 vsize=28233768 memory=86028 CPUtime=1.78 cores=0-7 /proc/17209/stat : 17209 (java) S 17207 17207 15723 0 -1 1077944320 15248 0 0 0 172 6 0 0 20 0 20 0 419339605 28911378432 21507 33554432000 4194304 4196468 140731505002096 140731504984640 140333965922039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 /proc/17209/statm: 7058442 21507 3459 1 0 7019544 0 [pid=17209/tid=17210] ppid=17207 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7 /proc/17209/task/17210/stat : 17210 (java) R 17207 17207 15723 0 -1 4202560 9221 0 0 0 65 3 0 0 20 0 20 0 419339605 28911378432 21507 33554432000 4194304 4196468 140731505002096 140333970157328 140333577019280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17211] ppid=17207 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17211/stat : 17211 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28911378432 21507 33554432000 4194304 4196468 140731505002096 140333918542864 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17212] ppid=17207 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17212/stat : 17212 (java) S 17207 17207 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419339606 28911378432 21507 33554432000 4194304 4196468 140731505002096 140333917490320 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17213] ppid=17207 vsize=28233768 memory=1056 CPUtime=0 cores=0-7 /proc/17209/task/17213/stat : 17213 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419339606 28911378432 21507 33554432000 4194304 4196468 140731505002096 140333916437264 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 ################ # More data... # ################ [pid=17209/tid=17236] ppid=17207 vsize=28768328 memory=2480 CPUtime=2405.88 cores=0-7 /proc/17209/task/17236/stat : 17236 (java) R 17207 17207 15723 0 -1 4202560 191108 0 0 0 240261 327 0 0 20 0 28 0 419339711 29458767872 393719 33554432000 4194304 4196468 140731505002096 140331691807304 140333584915509 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 Current children cumulated CPU time: 19432.3 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1576332 KiB [startup+2502.3 s] /proc/loadavg: 8.16 8.28 8.20 9/218 17422 /proc/meminfo: memFree=24510572/32770624 swapFree=66977616/67108860 [pid=17207] ppid=17204 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17207/stat : 17207 (xcsp3-exec) S 17204 17207 15723 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419339604 115843072 364 33554432000 4194304 5098028 140736812184672 140736812182776 140329279238780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140736812192629 140736812192873 140736812192873 140736812195786 0 /proc/17207/statm: 28282 364 305 221 0 87 0 [pid=17209] ppid=17207 vsize=28768328 memory=2193192 CPUtime=19909.8 cores=0-7 /proc/17209/stat : 17209 (java) S 17207 17207 15723 0 -1 1077944320 1202058 0 0 0 1988629 2348 0 0 20 0 28 0 419339605 29458767872 548298 33554432000 4194304 4196468 140731505002096 140731504984640 140333965922039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 /proc/17209/statm: 7192082 548298 3552 1 0 7153184 0 [pid=17209/tid=17210] ppid=17207 vsize=28768328 memory=2007820 CPUtime=1.03 cores=0-7 /proc/17209/task/17210/stat : 17210 (java) S 17207 17207 15723 0 -1 1077944384 9856 0 0 0 99 4 0 0 20 0 28 0 419339605 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333970162816 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17211] ppid=17207 vsize=28768328 memory=2172608 CPUtime=14.31 cores=0-7 /proc/17209/task/17211/stat : 17211 (java) S 17207 17207 15723 0 -1 1077944384 41049 0 0 0 1295 136 0 0 20 0 28 0 419339606 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333918542864 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17212] ppid=17207 vsize=28768328 memory=2193192 CPUtime=14.38 cores=0-7 /proc/17209/task/17212/stat : 17212 (java) S 17207 17207 15723 0 -1 1077944384 40633 0 0 0 1306 132 0 0 20 0 28 0 419339606 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333917490320 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17213] ppid=17207 vsize=28768328 memory=1456 CPUtime=14.46 cores=0-7 /proc/17209/task/17213/stat : 17213 (java) S 17207 17207 15723 0 -1 1077944384 27604 0 0 0 1307 139 0 0 20 0 28 0 419339606 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333916437264 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17214] ppid=17207 vsize=28768328 memory=2120 CPUtime=14.36 cores=0-7 /proc/17209/task/17214/stat : 17214 (java) S 17207 17207 15723 0 -1 1077944384 33043 0 0 0 1302 134 0 0 20 0 28 0 419339606 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333915384720 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17215] ppid=17207 vsize=28768328 memory=532 CPUtime=14.35 cores=0-7 /proc/17209/task/17215/stat : 17215 (java) S 17207 17207 15723 0 -1 1077944384 27067 0 0 0 1302 133 0 0 20 0 28 0 419339606 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333914331664 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17216] ppid=17207 vsize=28768328 memory=3616 CPUtime=14.23 cores=0-7 /proc/17209/task/17216/stat : 17216 (java) S 17207 17207 15723 0 -1 1077944384 33354 0 0 0 1288 135 0 0 20 0 28 0 419339606 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333913279120 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17217] ppid=17207 vsize=28768328 memory=41372 CPUtime=14.46 cores=0-7 /proc/17209/task/17217/stat : 17217 (java) S 17207 17207 15723 0 -1 1077944384 30190 0 0 0 1314 132 0 0 20 0 28 0 419339606 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333912226064 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17218] ppid=17207 vsize=28768328 memory=1456 CPUtime=14.38 cores=0-7 /proc/17209/task/17218/stat : 17218 (java) S 17207 17207 15723 0 -1 1077944384 35258 0 0 0 1303 135 0 0 20 0 28 0 419339606 29458767872 548298 33554432000 4194304 4196468 140731505002096 140333911173520 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17219] ppid=17207 vsize=28768328 memory=1438452 CPUtime=4.86 cores=0-7 /proc/17209/task/17219/stat : 17219 (java) S 17207 17207 15723 0 -1 1077944384 128808 0 0 0 254 232 0 0 20 0 28 0 419339607 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332161399536 140333965933186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17220] ppid=17207 vsize=28768328 memory=33 CPUtime=0 cores=0-7 /proc/17209/task/17220/stat : 17220 (java) S 17207 17207 15723 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 419339608 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332160345824 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17221] ppid=17207 vsize=28768328 memory=7161663929628780368 CPUtime=0 cores=0-7 /proc/17209/task/17221/stat : 17221 (java) S 17207 17207 15723 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 419339608 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332159292656 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17222] ppid=17207 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/17209/task/17222/stat : 17222 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419339610 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332158241232 140333965940635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17223] ppid=17207 vsize=28768328 memory=7163088806792160101 CPUtime=3.93 cores=0-7 /proc/17209/task/17223/stat : 17223 (java) S 17207 17207 15723 0 -1 1077944384 20563 0 0 0 391 2 0 0 20 0 28 0 419339610 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332157188336 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17224] ppid=17207 vsize=28768328 memory=0 CPUtime=4.45 cores=0-7 /proc/17209/task/17224/stat : 17224 (java) S 17207 17207 15723 0 -1 1077944384 29647 0 0 0 440 5 0 0 20 0 28 0 419339610 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332156135792 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17225] ppid=17207 vsize=28768328 memory=8292088564187963537 CPUtime=4.67 cores=0-7 /proc/17209/task/17225/stat : 17225 (java) S 17207 17207 15723 0 -1 1077944384 22650 0 0 0 463 4 0 0 20 0 28 0 419339610 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332155082736 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17226] ppid=17207 vsize=28768328 memory=1456 CPUtime=1.29 cores=0-7 /proc/17209/task/17226/stat : 17226 (java) S 17207 17207 15723 0 -1 1077944384 20641 0 0 0 124 5 0 0 20 0 28 0 419339610 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332154030192 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17227] ppid=17207 vsize=28768328 memory=2034680 CPUtime=0 cores=0-7 /proc/17209/task/17227/stat : 17227 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419339611 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332152978400 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17228] ppid=17207 vsize=28768328 memory=1984 CPUtime=0.84 cores=0-7 /proc/17209/task/17228/stat : 17228 (java) S 17207 17207 15723 0 -1 1077944384 4376 0 0 0 42 42 0 0 20 0 28 0 419339611 29458767872 548298 33554432000 4194304 4196468 140731505002096 140332151925936 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17229] ppid=17207 vsize=28768328 memory=1934560 CPUtime=2475.56 cores=0-7 /proc/17209/task/17229/stat : 17229 (java) R 17207 17207 15723 0 -1 4202560 20980 0 0 0 247535 21 0 0 20 0 28 0 419339710 29458767872 548298 33554432000 4194304 4196468 140731505002096 140331701271760 140333591012635 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17230] ppid=17207 vsize=28768328 memory=1164 CPUtime=2475.99 cores=0-7 /proc/17209/task/17230/stat : 17230 (java) R 17207 17207 15723 0 -1 4202560 19671 0 0 0 247574 25 0 0 20 0 28 0 419339710 29458767872 548298 33554432000 4194304 4196468 140731505002096 140331698123064 140333584311788 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17231] ppid=17207 vsize=28768328 memory=7881973766535800934 CPUtime=2474.62 cores=0-7 /proc/17209/task/17231/stat : 17231 (java) R 17207 17207 15723 0 -1 4202560 176375 0 0 0 247186 276 0 0 20 0 28 0 419339710 29458767872 548298 33554432000 4194304 4196468 140731505002096 140331697070136 140333583615579 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17232] ppid=17207 vsize=28768328 memory=1456 CPUtime=2470.19 cores=0-7 /proc/17209/task/17232/stat : 17232 (java) R 17207 17207 15723 0 -1 4202560 98092 0 0 0 246887 132 0 0 20 0 28 0 419339711 29458767872 548298 33554432000 4194304 4196468 140731505002096 140331696017480 140333580907559 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17233] ppid=17207 vsize=28768328 memory=1456 CPUtime=2469.82 cores=0-7 /proc/17209/task/17233/stat : 17233 (java) R 17207 17207 15723 0 -1 4202560 62937 0 0 0 246914 68 0 0 20 0 28 0 419339711 29458767872 548298 33554432000 4194304 4196468 140731505002096 140331694964408 140333585629791 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17234] ppid=17207 vsize=28768328 memory=1456 CPUtime=2470.94 cores=0-7 /proc/17209/task/17234/stat : 17234 (java) R 17207 17207 15723 0 -1 4202560 105455 0 0 0 246937 157 0 0 20 0 28 0 419339711 29458767872 548298 33554432000 4194304 4196468 140731505002096 140331693914656 140333585037046 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17235] ppid=17207 vsize=28768328 memory=1456 CPUtime=2471.41 cores=0-7 /proc/17209/task/17235/stat : 17235 (java) R 17207 17207 15723 0 -1 4202560 20453 0 0 0 247119 22 0 0 20 0 28 0 419339711 29458767872 548298 33554432000 4194304 4196468 140731505002096 140331692859864 140333583615511 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17236] ppid=17207 vsize=28768328 memory=2172608 CPUtime=2465.04 cores=0-7 /proc/17209/task/17236/stat : 17236 (java) R 17207 17207 15723 0 -1 4202560 191981 0 0 0 246176 328 0 0 20 0 28 0 419339711 29458767872 548298 33554432000 4194304 4196468 140731505002096 140331691807496 140333585037064 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 Current children cumulated CPU time: 19909.8 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 2194648 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.24 8.29 8.21 9/218 17424 /proc/meminfo: memFree=24040956/32770624 swapFree=66977616/67108860 [pid=17207] ppid=17204 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17207/stat : 17207 (xcsp3-exec) S 17204 17207 15723 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419339604 115843072 364 33554432000 4194304 5098028 140736812184672 140736812182776 140329279238780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25448448 140736812192629 140736812192873 140736812192873 140736812195786 0 /proc/17207/statm: 28282 364 305 221 0 87 0 [pid=17209] ppid=17207 vsize=28768328 memory=2662868 CPUtime=20050.3 cores=0-7 /proc/17209/stat : 17209 (java) S 17207 17207 15723 0 -1 1077944320 1208722 0 0 0 2002647 2386 0 0 20 0 28 0 419339605 29458767872 665717 33554432000 4194304 4196468 140731505002096 140731504984640 140333965922039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 /proc/17209/statm: 7192082 665717 3552 1 0 7153184 0 [pid=17209/tid=17210] ppid=17207 vsize=28768328 memory=1930308 CPUtime=1.03 cores=0-7 /proc/17209/task/17210/stat : 17210 (java) S 17207 17207 15723 0 -1 1077944384 9856 0 0 0 99 4 0 0 20 0 28 0 419339605 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333970162816 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17211] ppid=17207 vsize=28768328 memory=8317482817917895235 CPUtime=14.63 cores=0-7 /proc/17209/task/17211/stat : 17211 (java) S 17207 17207 15723 0 -1 1077944384 41327 0 0 0 1325 138 0 0 20 0 28 0 419339606 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333918542864 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17212] ppid=17207 vsize=28768328 memory=1756 CPUtime=14.71 cores=0-7 /proc/17209/task/17212/stat : 17212 (java) S 17207 17207 15723 0 -1 1077944384 40722 0 0 0 1337 134 0 0 20 0 28 0 419339606 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333917490320 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17213] ppid=17207 vsize=28768328 memory=1440 CPUtime=14.78 cores=0-7 /proc/17209/task/17213/stat : 17213 (java) S 17207 17207 15723 0 -1 1077944384 27842 0 0 0 1336 142 0 0 20 0 28 0 419339606 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333916437264 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17214] ppid=17207 vsize=28768328 memory=916 CPUtime=14.68 cores=0-7 /proc/17209/task/17214/stat : 17214 (java) S 17207 17207 15723 0 -1 1077944384 33452 0 0 0 1332 136 0 0 20 0 28 0 419339606 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333915384720 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17215] ppid=17207 vsize=28768328 memory=1984 CPUtime=14.67 cores=0-7 /proc/17209/task/17215/stat : 17215 (java) S 17207 17207 15723 0 -1 1077944384 27215 0 0 0 1332 135 0 0 20 0 28 0 419339606 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333914331664 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17216] ppid=17207 vsize=28768328 memory=2480 CPUtime=14.55 cores=0-7 /proc/17209/task/17216/stat : 17216 (java) S 17207 17207 15723 0 -1 1077944384 33419 0 0 0 1318 137 0 0 20 0 28 0 419339606 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333913279120 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17217] ppid=17207 vsize=28768328 memory=1768 CPUtime=14.78 cores=0-7 /proc/17209/task/17217/stat : 17217 (java) S 17207 17207 15723 0 -1 1077944384 30258 0 0 0 1343 135 0 0 20 0 28 0 419339606 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333912226064 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17218] ppid=17207 vsize=28768328 memory=111632 CPUtime=14.71 cores=0-7 /proc/17209/task/17218/stat : 17218 (java) S 17207 17207 15723 0 -1 1077944384 35316 0 0 0 1334 137 0 0 20 0 28 0 419339606 29458767872 665717 33554432000 4194304 4196468 140731505002096 140333911173520 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17219] ppid=17207 vsize=28768328 memory=796 CPUtime=4.96 cores=0-7 /proc/17209/task/17219/stat : 17219 (java) S 17207 17207 15723 0 -1 1077944384 130432 0 0 0 259 237 0 0 20 0 28 0 419339607 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332161399536 140333965933186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17220] ppid=17207 vsize=28768328 memory=1808 CPUtime=0 cores=0-7 /proc/17209/task/17220/stat : 17220 (java) S 17207 17207 15723 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 419339608 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332160345824 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17221] ppid=17207 vsize=28768328 memory=920 CPUtime=0 cores=0-7 /proc/17209/task/17221/stat : 17221 (java) S 17207 17207 15723 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 419339608 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332159292656 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17222] ppid=17207 vsize=28768328 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/17209/task/17222/stat : 17222 (java) S 17207 17207 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419339610 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332158241232 140333965940635 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17223] ppid=17207 vsize=28768328 memory=2525272 CPUtime=3.93 cores=0-7 /proc/17209/task/17223/stat : 17223 (java) S 17207 17207 15723 0 -1 1077944384 20565 0 0 0 391 2 0 0 20 0 28 0 419339610 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332157188336 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17224] ppid=17207 vsize=28768328 memory=2172608 CPUtime=4.46 cores=0-7 /proc/17209/task/17224/stat : 17224 (java) S 17207 17207 15723 0 -1 1077944384 29735 0 0 0 441 5 0 0 20 0 28 0 419339610 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332156135792 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17225] ppid=17207 vsize=28768328 memory=1456 CPUtime=4.67 cores=0-7 /proc/17209/task/17225/stat : 17225 (java) S 17207 17207 15723 0 -1 1077944384 22658 0 0 0 463 4 0 0 20 0 28 0 419339610 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332155082736 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17226] ppid=17207 vsize=28768328 memory=14048 CPUtime=1.29 cores=0-7 /proc/17209/task/17226/stat : 17226 (java) S 17207 17207 15723 0 -1 1077944384 20643 0 0 0 124 5 0 0 20 0 28 0 419339610 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332154030192 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17227] ppid=17207 vsize=28768328 memory=21924 CPUtime=0 cores=0-7 /proc/17209/task/17227/stat : 17227 (java) S 17207 17207 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419339611 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332152978400 140333965932245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17228] ppid=17207 vsize=28768328 memory=2120 CPUtime=0.84 cores=0-7 /proc/17209/task/17228/stat : 17228 (java) S 17207 17207 15723 0 -1 1077944384 4415 0 0 0 42 42 0 0 20 0 28 0 419339611 29458767872 665717 33554432000 4194304 4196468 140731505002096 140332151925936 140333965933186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17229] ppid=17207 vsize=28768328 memory=532 CPUtime=2492.83 cores=0-7 /proc/17209/task/17229/stat : 17229 (java) R 17207 17207 15723 0 -1 4202560 21104 0 0 0 249261 22 0 0 20 0 28 0 419339710 29458767872 665717 33554432000 4194304 4196468 140731505002096 140331701271640 140333585039406 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17230] ppid=17207 vsize=28768328 memory=1564 CPUtime=2493.25 cores=0-7 /proc/17209/task/17230/stat : 17230 (java) R 17207 17207 15723 0 -1 4202560 19754 0 0 0 249300 25 0 0 20 0 28 0 419339710 29458767872 665717 33554432000 4194304 4196468 140731505002096 140331698123096 140333584049685 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17231] ppid=17207 vsize=28768328 memory=924 CPUtime=2491.95 cores=0-7 /proc/17209/task/17231/stat : 17231 (java) R 17207 17207 15723 0 -1 4202560 177185 0 0 0 248910 285 0 0 20 0 28 0 419339710 29458767872 665717 33554432000 4194304 4196468 140731505002096 140331697069792 140333590269437 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17232] ppid=17207 vsize=28768328 memory=1756 CPUtime=2487.45 cores=0-7 /proc/17209/task/17232/stat : 17232 (java) R 17207 17207 15723 0 -1 4202560 99952 0 0 0 248612 133 0 0 20 0 28 0 419339711 29458767872 665717 33554432000 4194304 4196468 140731505002096 140331696017304 140333585036925 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17233] ppid=17207 vsize=28768328 memory=1456 CPUtime=2486.84 cores=0-7 /proc/17209/task/17233/stat : 17233 (java) R 17207 17207 15723 0 -1 4202560 63121 0 0 0 248614 70 0 0 20 0 28 0 419339711 29458767872 665717 33554432000 4194304 4196468 140731505002096 140331694964312 140333585037418 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17234] ppid=17207 vsize=28768328 memory=2662868 CPUtime=2488.14 cores=0-7 /proc/17209/task/17234/stat : 17234 (java) R 17207 17207 15723 0 -1 4202560 105667 0 0 0 248656 158 0 0 20 0 28 0 419339711 29458767872 665717 33554432000 4194304 4196468 140731505002096 140331693914656 140333583615649 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17235] ppid=17207 vsize=28768328 memory=2120 CPUtime=2488.64 cores=0-7 /proc/17209/task/17235/stat : 17235 (java) R 17207 17207 15723 0 -1 4202560 20556 0 0 0 248842 22 0 0 20 0 28 0 419339711 29458767872 665717 33554432000 4194304 4196468 140731505002096 140331692859720 140333583970379 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 [pid=17209/tid=17236] ppid=17207 vsize=28768328 memory=2004 CPUtime=2482.31 cores=0-7 /proc/17209/task/17236/stat : 17236 (java) R 17207 17207 15723 0 -1 4202560 192153 0 0 0 247903 328 0 0 20 0 28 0 419339711 29458767872 665717 33554432000 4194304 4196468 140731505002096 140331691807432 140333583615579 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 30126080 140731505005546 140731505005718 140731505005718 140731505008591 0 Current children cumulated CPU time: 20050.3 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 2664324 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 17207 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001629 s, system=0.000814 s [startup+2520.1 s] # the end of solver process 17209 was just reported to runsolver # cumulated CPU time of all completed processes: user=20027.1 s, system=23.8908 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.1 CPU time (s): 20051 CPU user time (s): 20027.1 CPU system time (s): 23.8908 CPU usage (%): 795.641 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 5063308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20027.1 system time used= 23.8908 maximum resident set size= 5110132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1209566 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3376 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 125717 involuntary context switches= 214050 # summary of solver processes directly reported to runsolver: # pid: 17207,17209 # total CPU time (s): 20051 # total CPU user time (s): 20027.1 # total CPU system time (s): 23.8908 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.7432 second user time and 28.8037 second system time The end
Begin job on node104 at 2019-09-14 04:03:26 IDJOB=4393652 IDBENCH=128093 IDSOLVER=2841 FILE ID=node104/4393652-1568430824 RUNJOBID= node104-1568421227-15750 PBS_JOBID= 21702284 Free space on /tmp= 59012 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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 /tmp/evaluation-result-4393652-1568430824/watcher-4393652-1568430824 -o /tmp/evaluation-result-4393652-1568430824/solver-4393652-1568430824 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1348108036 HOME/instance-4393652-1568430824.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e7221c19415bed5c98fc37c567f19ceb RANDOM SEED=1348108036 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 26689408 kB MemAvailable: 31833436 kB Buffers: 180716 kB Cached: 5217196 kB SwapCached: 31688 kB Active: 1773592 kB Inactive: 3662484 kB Active(anon): 4124 kB Inactive(anon): 75148 kB Active(file): 1769468 kB Inactive(file): 3587336 kB Unevictable: 107776 kB Mlocked: 107776 kB SwapTotal: 67108860 kB SwapFree: 66977616 kB Dirty: 26172 kB Writeback: 0 kB AnonPages: 184908 kB Mapped: 44348 kB Shmem: 32780 kB Slab: 236872 kB SReclaimable: 206120 kB SUnreclaim: 30752 kB KernelStack: 3840 kB PageTables: 6048 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 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= 58984 MiB End job on node104 at 2019-09-14 04:45:27