Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | ? (TO) | 20052.5 | 2520.1499 |
Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml |
MD5SUM | 35e588148f794a6a4a81576d123b10dc |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 2400.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 19091 |
Number of constraints | 160 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":19091}] |
Minimum variable degree | 3 |
Maximum variable degree | 19 |
Distribution of variable degrees | [{"degree":3,"count":10},{"degree":4,"count":86},{"degree":5,"count":309},{"degree":6,"count":636},{"degree":7,"count":911},{"degree":8,"count":1069},{"degree":9,"count":1258},{"degree":10,"count":1321},{"degree":11,"count":1446},{"degree":12,"count":1732},{"degree":13,"count":2126},{"degree":14,"count":2492},{"degree":15,"count":3123},{"degree":16,"count":1856},{"degree":17,"count":628},{"degree":18,"count":85},{"degree":19,"count":3}] |
Minimum constraint arity | 13 |
Maximum constraint arity | 4379 |
Distribution of constraint arities | [{"arity":13,"count":2},{"arity":140,"count":2},{"arity":176,"count":1},{"arity":182,"count":2},{"arity":212,"count":2},{"arity":214,"count":2},{"arity":221,"count":2},{"arity":222,"count":2},{"arity":271,"count":1},{"arity":273,"count":2},{"arity":275,"count":3},{"arity":280,"count":1},{"arity":282,"count":1},{"arity":291,"count":3},{"arity":301,"count":4},{"arity":304,"count":3},{"arity":307,"count":5},{"arity":341,"count":3},{"arity":352,"count":1},{"arity":393,"count":2},{"arity":421,"count":3},{"arity":438,"count":2},{"arity":441,"count":2},{"arity":449,"count":1},{"arity":458,"count":2},"...",{"arity":2907,"count":1}, {"arity":2936,"count":1}, {"arity":3201,"count":1}, {"arity":3393,"count":1}, {"arity":3498,"count":1}, {"arity":3551,"count":1}, {"arity":3656,"count":1}, {"arity":3814,"count":1}, {"arity":3816,"count":1}, {"arity":3827,"count":1}, {"arity":3932,"count":1}, {"arity":3961,"count":1}, {"arity":4014,"count":1}, {"arity":4038,"count":1}, {"arity":4066,"count":1}, {"arity":4072,"count":1}, {"arity":4078,"count":1}, {"arity":4125,"count":1}, {"arity":4146,"count":1}, {"arity":4162,"count":1}, {"arity":4242,"count":1}, {"arity":4283,"count":1}, {"arity":4304,"count":1}, {"arity":4369,"count":1}, {"arity":4379,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":160}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270500-1502762664.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270500-1502762664.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 6.98/2.54 c solve instance... 20051.63/2520.10 s UNKNOWN 20051.63/2520.10 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 (12857 MiB free) memory of node 1: 16384 MiB (14962 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270500-1502762664/watcher-4270500-1502762664 -o /tmp/evaluation-result-4270500-1502762664/solver-4270500-1502762664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502756729-30142 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1257478048 HOME/instance-4270500-1502762664.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=30657, runsolver pid=30654 Current StackSize limit: 8192 KiB [startup+0.10006 s]* /proc/loadavg: 8.10 8.27 8.22 3/200 30678 /proc/meminfo: memFree=28472416/32770624 swapFree=67108860/67108860 [pid=30657] ppid=30654 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30657/stat : 30657 (xcsp3-exec) S 30654 30657 30115 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109354267 9740288 346 33554432000 4194304 5098028 140732162615648 140732162613752 140560781951612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27422720 140732162618468 140732162618679 140732162618679 140732162621419 0 /proc/30657/statm: 2378 346 289 221 0 87 0 [pid=30659] ppid=30657 vsize=25999808 memory=27176 CPUtime=0.12 cores=0-7 /proc/30659/stat : 30659 (java) S 30657 30657 30115 0 -1 1077944320 5665 0 0 0 11 1 0 0 20 0 20 0 109354267 26623803392 6794 33554432000 4194304 4196468 140729212115920 140729212098464 139797536202487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 /proc/30659/statm: 6499952 6794 2866 1 0 6488269 0 [pid=30659/tid=30660] ppid=30657 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30659/task/30660/stat : 30660 (java) R 30657 30657 30115 0 -1 4202560 3673 0 0 0 8 1 0 0 20 0 20 0 109354268 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797540435760 139797517766062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30661] ppid=30657 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30659/task/30661/stat : 30661 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797094484752 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30662] ppid=30657 vsize=25999808 memory=140286674339456 CPUtime=0 cores=0-7 /proc/30659/task/30662/stat : 30662 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797093432208 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30663] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30663/stat : 30663 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354268 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797092379664 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30664] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30664/stat : 30664 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797091327120 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30665] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30665/stat : 30665 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354268 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797090273552 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30666] ppid=30657 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30659/task/30666/stat : 30666 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797089221008 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30667] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30667/stat : 30667 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354268 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797088168464 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30668] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30668/stat : 30668 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354269 26623803392 6794 33554432000 4194304 4196468 140729212115920 139797087115920 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30669] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30669/stat : 30669 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354270 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795942566384 139797536213634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30670] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30670/stat : 30670 (java) S 30657 30657 30115 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109354270 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795941512608 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30671] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30671/stat : 30671 (java) S 30657 30657 30115 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109354271 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795940460016 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30672] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30672/stat : 30672 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354273 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795939408592 139797536221083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30673] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30673/stat : 30673 (java) S 30657 30657 30115 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 109354273 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795938355184 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30674] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30674/stat : 30674 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354273 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795937302640 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30675] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30675/stat : 30675 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354273 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795936250096 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30676] ppid=30657 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/30659/task/30676/stat : 30676 (java) R 30657 30657 30115 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 109354273 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795935197552 139797536214422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30677] ppid=30657 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30677/stat : 30677 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354273 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795934145248 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30678] ppid=30657 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/30659/task/30678/stat : 30678 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354273 26623803392 6794 33554432000 4194304 4196468 140729212115920 139795933092784 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28560 KiB [startup+0.210571 s]* /proc/loadavg: 8.10 8.27 8.22 2/200 30678 /proc/meminfo: memFree=28461220/32770624 swapFree=67108860/67108860 [pid=30657] ppid=30654 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30657/stat : 30657 (xcsp3-exec) S 30654 30657 30115 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109354267 9740288 346 33554432000 4194304 5098028 140732162615648 140732162613752 140560781951612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27422720 140732162618468 140732162618679 140732162618679 140732162621419 0 /proc/30657/statm: 2378 346 289 221 0 87 0 [pid=30659] ppid=30657 vsize=26004064 memory=39084 CPUtime=0.33 cores=0-7 /proc/30659/stat : 30659 (java) S 30657 30657 30115 0 -1 1077944320 8351 0 0 0 31 2 0 0 20 0 20 0 109354267 26628161536 9771 33554432000 4194304 4196468 140729212115920 140729212098464 139797536202487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 /proc/30659/statm: 6501016 9771 3036 1 0 6488269 0 [pid=30659/tid=30660] ppid=30657 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30659/task/30660/stat : 30660 (java) R 30657 30657 30115 0 -1 4202560 5460 0 0 0 18 1 0 0 20 0 20 0 109354268 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797540423480 139797520282974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30661] ppid=30657 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/30659/task/30661/stat : 30661 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797094484752 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30662] ppid=30657 vsize=26004064 memory=288370662826051200 CPUtime=0 cores=0-7 /proc/30659/task/30662/stat : 30662 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797093432208 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30663] ppid=30657 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30659/task/30663/stat : 30663 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797092379664 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30664] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30664/stat : 30664 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797091327120 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30665] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30665/stat : 30665 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797090273552 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30666] ppid=30657 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30659/task/30666/stat : 30666 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797089221008 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30667] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30667/stat : 30667 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797088168464 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30668] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30668/stat : 30668 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354269 26628161536 9771 33554432000 4194304 4196468 140729212115920 139797087115920 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30669] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30669/stat : 30669 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354270 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795942566384 139797536213634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30670] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30670/stat : 30670 (java) S 30657 30657 30115 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109354270 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795941512608 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30671] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30671/stat : 30671 (java) S 30657 30657 30115 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109354271 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795940460016 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30672] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30672/stat : 30672 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354273 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795939408592 139797536221083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30673] ppid=30657 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/30659/task/30673/stat : 30673 (java) S 30657 30657 30115 0 -1 1077944384 582 0 0 0 1 0 0 0 20 0 20 0 109354273 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795938355184 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30674] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30674/stat : 30674 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354273 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795937302640 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30675] ppid=30657 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7 /proc/30659/task/30675/stat : 30675 (java) S 30657 30657 30115 0 -1 1077944384 301 0 0 0 2 0 0 0 20 0 20 0 109354273 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795936250096 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30676] ppid=30657 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/30659/task/30676/stat : 30676 (java) R 30657 30657 30115 0 -1 4202560 693 0 0 0 7 0 0 0 20 0 20 0 109354273 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795935195088 139797536214422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30677] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30677/stat : 30677 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354273 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795934145248 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30678] ppid=30657 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30659/task/30678/stat : 30678 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354273 26628161536 9771 33554432000 4194304 4196468 140729212115920 139795933092784 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40468 KiB [startup+0.310475 s]* /proc/loadavg: 8.10 8.27 8.22 5/200 30678 /proc/meminfo: memFree=28456816/32770624 swapFree=67108860/67108860 [pid=30657] ppid=30654 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30657/stat : 30657 (xcsp3-exec) S 30654 30657 30115 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109354267 9740288 346 33554432000 4194304 5098028 140732162615648 140732162613752 140560781951612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27422720 140732162618468 140732162618679 140732162618679 140732162621419 0 /proc/30657/statm: 2378 346 289 221 0 87 0 [pid=30659] ppid=30657 vsize=26004064 memory=47320 CPUtime=0.52 cores=0-7 /proc/30659/stat : 30659 (java) S 30657 30657 30115 0 -1 1077944320 9541 0 0 0 49 3 0 0 20 0 20 0 109354267 26628161536 11830 33554432000 4194304 4196468 140729212115920 140729212098464 139797536202487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 /proc/30659/statm: 6501016 11830 3116 1 0 6488269 0 [pid=30659/tid=30660] ppid=30657 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30659/task/30660/stat : 30660 (java) R 30657 30657 30115 0 -1 4202560 6120 0 0 0 27 2 0 0 20 0 20 0 109354268 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797540438992 139797173673269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30661] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30661/stat : 30661 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797094484752 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30662] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30662/stat : 30662 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797093432208 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30663] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30663/stat : 30663 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797092379664 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30664] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30664/stat : 30664 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797091327120 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30665] ppid=30657 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/30659/task/30665/stat : 30665 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797090273552 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30666] ppid=30657 vsize=26004064 memory=140286516884399 CPUtime=0 cores=0-7 /proc/30659/task/30666/stat : 30666 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797089221008 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30667] ppid=30657 vsize=26004064 memory=140286516886704 CPUtime=0 cores=0-7 /proc/30659/task/30667/stat : 30667 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354268 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797088168464 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30668] ppid=30657 vsize=26004064 memory=140286516889008 CPUtime=0 cores=0-7 /proc/30659/task/30668/stat : 30668 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354269 26628161536 11830 33554432000 4194304 4196468 140729212115920 139797087115920 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30669] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30669/stat : 30669 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354270 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795942566384 139797536213634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30670] ppid=30657 vsize=26004064 memory=280573033784976 CPUtime=0 cores=0-7 /proc/30659/task/30670/stat : 30670 (java) S 30657 30657 30115 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109354270 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795941512608 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30671] ppid=30657 vsize=26004064 memory=280573033791888 CPUtime=0 cores=0-7 /proc/30659/task/30671/stat : 30671 (java) S 30657 30657 30115 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109354271 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795940460016 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30672] ppid=30657 vsize=26004064 memory=280573033733168 CPUtime=0 cores=0-7 /proc/30659/task/30672/stat : 30672 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354273 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795939408592 139797536221083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30673] ppid=30657 vsize=26004064 memory=280573033805712 CPUtime=0.02 cores=0-7 /proc/30659/task/30673/stat : 30673 (java) R 30657 30657 30115 0 -1 4202560 651 0 0 0 2 0 0 0 20 0 20 0 109354273 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795938355184 139797536223834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30674] ppid=30657 vsize=26004064 memory=280573033812624 CPUtime=0.01 cores=0-7 /proc/30659/task/30674/stat : 30674 (java) R 30657 30657 30115 0 -1 4202560 99 0 0 0 1 0 0 0 20 0 20 0 109354273 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795937302640 139797536223834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30675] ppid=30657 vsize=26004064 memory=280573033810320 CPUtime=0.04 cores=0-7 /proc/30659/task/30675/stat : 30675 (java) R 30657 30657 30115 0 -1 4202560 485 0 0 0 4 0 0 0 20 0 20 0 109354273 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795936236624 139797517730551 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30676] ppid=30657 vsize=26004064 memory=280573033826480 CPUtime=0.12 cores=0-7 /proc/30659/task/30676/stat : 30676 (java) R 30657 30657 30115 0 -1 4202560 876 0 0 0 12 0 0 0 20 0 20 0 109354273 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795935192720 139797536223834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30677] ppid=30657 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30677/stat : 30677 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354273 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795934145248 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30678] ppid=30657 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/30659/task/30678/stat : 30678 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109354273 26628161536 11830 33554432000 4194304 4196468 140729212115920 139795933092784 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 48704 KiB [startup+0.70103 s] /proc/loadavg: 8.10 8.27 8.22 5/200 30678 /proc/meminfo: memFree=28409536/32770624 swapFree=67108860/67108860 [pid=30657] ppid=30654 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30657/stat : 30657 (xcsp3-exec) S 30654 30657 30115 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109354267 9740288 346 33554432000 4194304 5098028 140732162615648 140732162613752 140560781951612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27422720 140732162618468 140732162618679 140732162618679 140732162621419 0 /proc/30657/statm: 2378 346 289 221 0 87 0 [pid=30659] ppid=30657 vsize=26004140 memory=174244 CPUtime=2.03 cores=0-7 /proc/30659/stat : 30659 (java) S 30657 30657 30115 0 -1 1077944320 14126 0 0 0 198 5 0 0 20 0 20 0 109354267 26628239360 43561 33554432000 4194304 4196468 140729212115920 140729212098464 139797536202487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 /proc/30659/statm: 6501035 43561 3201 1 0 6488269 0 [pid=30659/tid=30660] ppid=30657 vsize=26004140 memory=280573034184368 CPUtime=0.67 cores=0-7 /proc/30659/task/30660/stat : 30660 (java) R 30657 30657 30115 0 -1 4202560 6530 0 0 0 64 3 0 0 20 0 20 0 109354268 26628239360 43561 33554432000 4194304 4196468 140729212115920 139797540439120 139797536224413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30661] ppid=30657 vsize=26004140 memory=140286517093232 CPUtime=0 cores=0-7 /proc/30659/task/30661/stat : 30661 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628239360 43561 33554432000 4194304 4196468 140729212115920 139797094484752 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30662] ppid=30657 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/30659/task/30662/stat : 30662 (java) S 30657 30657 30115 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109354268 26628239360 43561 33554432000 4194304 4196468 140729212115920 139797093432208 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30663] ppid=30657 vsize=26004140 memory=11008 CPUtime=0 cores=0-7 /proc/30659/task/30663/stat : 30663 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109354268 26628239360 43561 33554432000 4194304 4196468 140729212115920 139797092379664 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 ################ # More data... # ################ /proc/meminfo: memFree=23376588/32770624 swapFree=67108860/67108860 [pid=30657] ppid=30654 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30657/stat : 30657 (xcsp3-exec) S 30654 30657 30115 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109354267 9740288 346 33554432000 4194304 5098028 140732162615648 140732162613752 140560781951612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27422720 140732162618468 140732162618679 140732162618679 140732162621419 0 /proc/30657/statm: 2378 346 289 221 0 87 0 [pid=30659] ppid=30657 vsize=26538700 memory=5115312 CPUtime=19910.3 cores=0-7 /proc/30659/stat : 30659 (java) S 30657 30657 30115 0 -1 1077944320 213957 0 0 0 1990665 367 0 0 20 0 28 0 109354267 27175628800 1278828 33554432000 4194304 4196468 140729212115920 140729212098464 139797536202487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 /proc/30659/statm: 6634675 1278828 3297 1 0 6621909 0 [pid=30659/tid=30660] ppid=30657 vsize=26538700 memory=5115312 CPUtime=2.41 cores=0-7 /proc/30659/task/30660/stat : 30660 (java) S 30657 30657 30115 0 -1 1077944384 7105 0 0 0 234 7 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797540443264 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30661] ppid=30657 vsize=26538700 memory=5115312 CPUtime=2.56 cores=0-7 /proc/30659/task/30661/stat : 30661 (java) S 30657 30657 30115 0 -1 1077944384 1983 0 0 0 242 14 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797094484752 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30662] ppid=30657 vsize=26538700 memory=5115312 CPUtime=2.54 cores=0-7 /proc/30659/task/30662/stat : 30662 (java) S 30657 30657 30115 0 -1 1077944384 3480 0 0 0 226 28 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797093432208 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30663] ppid=30657 vsize=26538700 memory=5115312 CPUtime=2.54 cores=0-7 /proc/30659/task/30663/stat : 30663 (java) S 30657 30657 30115 0 -1 1077944384 2329 0 0 0 224 30 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797092379664 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30664] ppid=30657 vsize=26538700 memory=5115312 CPUtime=2.54 cores=0-7 /proc/30659/task/30664/stat : 30664 (java) S 30657 30657 30115 0 -1 1077944384 1655 0 0 0 240 14 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797091327120 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30665] ppid=30657 vsize=26538700 memory=1384 CPUtime=2.58 cores=0-7 /proc/30659/task/30665/stat : 30665 (java) S 30657 30657 30115 0 -1 1077944384 1276 0 0 0 238 20 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797090273552 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30666] ppid=30657 vsize=26538700 memory=6791534058613427641 CPUtime=2.54 cores=0-7 /proc/30659/task/30666/stat : 30666 (java) S 30657 30657 30115 0 -1 1077944384 1716 0 0 0 239 15 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797089221008 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30667] ppid=30657 vsize=26538700 memory=4140 CPUtime=2.55 cores=0-7 /proc/30659/task/30667/stat : 30667 (java) S 30657 30657 30115 0 -1 1077944384 3417 0 0 0 243 12 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797088168464 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30668] ppid=30657 vsize=26538700 memory=280573035863984 CPUtime=2.56 cores=0-7 /proc/30659/task/30668/stat : 30668 (java) S 30657 30657 30115 0 -1 1077944384 2523 0 0 0 234 22 0 0 20 0 28 0 109354269 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797087115920 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30669] ppid=30657 vsize=26538700 memory=576574510189602056 CPUtime=6.08 cores=0-7 /proc/30659/task/30669/stat : 30669 (java) S 30657 30657 30115 0 -1 1077944384 14067 0 0 0 568 40 0 0 20 0 28 0 109354270 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795942566384 139797536213634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30670] ppid=30657 vsize=26538700 memory=13855183067154599 CPUtime=0 cores=0-7 /proc/30659/task/30670/stat : 30670 (java) S 30657 30657 30115 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 109354270 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795941512672 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30671] ppid=30657 vsize=26538700 memory=16448 CPUtime=0 cores=0-7 /proc/30659/task/30671/stat : 30671 (java) S 30657 30657 30115 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 109354271 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795940460032 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30672] ppid=30657 vsize=26538700 memory=5115312 CPUtime=0 cores=0-7 /proc/30659/task/30672/stat : 30672 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795939408592 139797536221083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30673] ppid=30657 vsize=26538700 memory=8443538352883892301 CPUtime=2.28 cores=0-7 /proc/30659/task/30673/stat : 30673 (java) S 30657 30657 30115 0 -1 1077944384 24410 0 0 0 225 3 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795938355184 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30674] ppid=30657 vsize=26538700 memory=0 CPUtime=2.61 cores=0-7 /proc/30659/task/30674/stat : 30674 (java) S 30657 30657 30115 0 -1 1077944384 23725 0 0 0 257 4 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795937302640 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30675] ppid=30657 vsize=26538700 memory=84 CPUtime=2.42 cores=0-7 /proc/30659/task/30675/stat : 30675 (java) S 30657 30657 30115 0 -1 1077944384 20483 0 0 0 239 3 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795936250096 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30676] ppid=30657 vsize=26538700 memory=0 CPUtime=0.81 cores=0-7 /proc/30659/task/30676/stat : 30676 (java) S 30657 30657 30115 0 -1 1077944384 18760 0 0 0 77 4 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795935197552 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30677] ppid=30657 vsize=26538700 memory=7084557404052677221 CPUtime=0 cores=0-7 /proc/30659/task/30677/stat : 30677 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795934145248 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30678] ppid=30657 vsize=26538700 memory=31248 CPUtime=0.85 cores=0-7 /proc/30659/task/30678/stat : 30678 (java) S 30657 30657 30115 0 -1 1077944384 3304 0 0 0 57 28 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795933092784 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30679] ppid=30657 vsize=26538700 memory=1296 CPUtime=2476.39 cores=0-7 /proc/30659/task/30679/stat : 30679 (java) R 30657 30657 30115 0 -1 4202560 3820 0 0 0 247630 9 0 0 20 0 28 0 109354526 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795925081336 139797180882786 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30680] ppid=30657 vsize=26538700 memory=1384 CPUtime=2475.96 cores=0-7 /proc/30659/task/30680/stat : 30680 (java) R 30657 30657 30115 0 -1 4202560 7311 0 0 0 247585 11 0 0 20 0 28 0 109354526 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795924029928 139797181061759 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30681] ppid=30657 vsize=26538700 memory=5115312 CPUtime=2490.27 cores=0-7 /proc/30659/task/30681/stat : 30681 (java) R 30657 30657 30115 0 -1 4202560 8815 0 0 0 249018 9 0 0 20 0 28 0 109354526 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795922976320 139797180883661 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30682] ppid=30657 vsize=26538700 memory=1384 CPUtime=2489.56 cores=0-7 /proc/30659/task/30682/stat : 30682 (java) R 30657 30657 30115 0 -1 4202560 11239 0 0 0 248933 23 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795921923832 139797180883115 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30683] ppid=30657 vsize=26538700 memory=4140 CPUtime=2490.21 cores=0-7 /proc/30659/task/30683/stat : 30683 (java) R 30657 30657 30115 0 -1 4202560 7338 0 0 0 249010 11 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795920871288 139797180882862 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30684] ppid=30657 vsize=26538700 memory=4140 CPUtime=2478.26 cores=0-7 /proc/30659/task/30684/stat : 30684 (java) R 30657 30657 30115 0 -1 4202560 32665 0 0 0 247762 64 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795919820568 139797180882768 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30685] ppid=30657 vsize=26538700 memory=31268 CPUtime=2490.31 cores=0-7 /proc/30659/task/30685/stat : 30685 (java) R 30657 30657 30115 0 -1 4202560 4071 0 0 0 249023 8 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795918766200 139797180883085 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30686] ppid=30657 vsize=26538700 memory=1296 CPUtime=2481.24 cores=0-7 /proc/30659/task/30686/stat : 30686 (java) R 30657 30657 30115 0 -1 4202560 7092 0 0 0 248117 7 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795917713352 139797181061759 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 Current children cumulated CPU time: 19910.3 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5116696 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.09 8.23 8.25 9/208 30743 /proc/meminfo: memFree=23376608/32770624 swapFree=67108860/67108860 [pid=30657] ppid=30654 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/30657/stat : 30657 (xcsp3-exec) S 30654 30657 30115 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 109354267 9740288 346 33554432000 4194304 5098028 140732162615648 140732162613752 140560781951612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27422720 140732162618468 140732162618679 140732162618679 140732162621419 0 /proc/30657/statm: 2378 346 289 221 0 87 0 [pid=30659] ppid=30657 vsize=26538700 memory=5115312 CPUtime=20051.6 cores=0-7 /proc/30659/stat : 30659 (java) S 30657 30657 30115 0 -1 1077944320 214534 0 0 0 2004796 367 0 0 20 0 28 0 109354267 27175628800 1278828 33554432000 4194304 4196468 140729212115920 140729212098464 139797536202487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 /proc/30659/statm: 6634675 1278828 3297 1 0 6621909 0 [pid=30659/tid=30660] ppid=30657 vsize=26538700 memory=6791534058613427641 CPUtime=2.41 cores=0-7 /proc/30659/task/30660/stat : 30660 (java) S 30657 30657 30115 0 -1 1077944384 7105 0 0 0 234 7 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797540443264 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30661] ppid=30657 vsize=26538700 memory=4872558044660077418 CPUtime=2.56 cores=0-7 /proc/30659/task/30661/stat : 30661 (java) S 30657 30657 30115 0 -1 1077944384 1983 0 0 0 242 14 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797094484752 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30662] ppid=30657 vsize=26538700 memory=1200 CPUtime=2.54 cores=0-7 /proc/30659/task/30662/stat : 30662 (java) S 30657 30657 30115 0 -1 1077944384 3480 0 0 0 226 28 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797093432208 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30663] ppid=30657 vsize=26538700 memory=8564 CPUtime=2.54 cores=0-7 /proc/30659/task/30663/stat : 30663 (java) S 30657 30657 30115 0 -1 1077944384 2329 0 0 0 224 30 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797092379664 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30664] ppid=30657 vsize=26538700 memory=4140 CPUtime=2.54 cores=0-7 /proc/30659/task/30664/stat : 30664 (java) S 30657 30657 30115 0 -1 1077944384 1655 0 0 0 240 14 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797091327120 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30665] ppid=30657 vsize=26538700 memory=31268 CPUtime=2.58 cores=0-7 /proc/30659/task/30665/stat : 30665 (java) S 30657 30657 30115 0 -1 1077944384 1276 0 0 0 238 20 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797090273552 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30666] ppid=30657 vsize=26538700 memory=1296 CPUtime=2.54 cores=0-7 /proc/30659/task/30666/stat : 30666 (java) S 30657 30657 30115 0 -1 1077944384 1716 0 0 0 239 15 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797089221008 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30667] ppid=30657 vsize=26538700 memory=1398720917958146503 CPUtime=2.55 cores=0-7 /proc/30659/task/30667/stat : 30667 (java) S 30657 30657 30115 0 -1 1077944384 3417 0 0 0 243 12 0 0 20 0 28 0 109354268 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797088168464 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30668] ppid=30657 vsize=26538700 memory=16448 CPUtime=2.56 cores=0-7 /proc/30659/task/30668/stat : 30668 (java) S 30657 30657 30115 0 -1 1077944384 2523 0 0 0 234 22 0 0 20 0 28 0 109354269 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139797087115920 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30669] ppid=30657 vsize=26538700 memory=17328 CPUtime=6.08 cores=0-7 /proc/30659/task/30669/stat : 30669 (java) S 30657 30657 30115 0 -1 1077944384 14074 0 0 0 568 40 0 0 20 0 28 0 109354270 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795942566384 139797536213634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30670] ppid=30657 vsize=26538700 memory=4048 CPUtime=0 cores=0-7 /proc/30659/task/30670/stat : 30670 (java) S 30657 30657 30115 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 109354270 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795941512672 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30671] ppid=30657 vsize=26538700 memory=1236 CPUtime=0 cores=0-7 /proc/30659/task/30671/stat : 30671 (java) S 30657 30657 30115 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 109354271 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795940460032 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30672] ppid=30657 vsize=26538700 memory=644 CPUtime=0 cores=0-7 /proc/30659/task/30672/stat : 30672 (java) S 30657 30657 30115 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795939408592 139797536221083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30673] ppid=30657 vsize=26538700 memory=1788 CPUtime=2.28 cores=0-7 /proc/30659/task/30673/stat : 30673 (java) S 30657 30657 30115 0 -1 1077944384 24413 0 0 0 225 3 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795938355184 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30674] ppid=30657 vsize=26538700 memory=952 CPUtime=2.61 cores=0-7 /proc/30659/task/30674/stat : 30674 (java) S 30657 30657 30115 0 -1 1077944384 23728 0 0 0 257 4 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795937302640 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30675] ppid=30657 vsize=26538700 memory=2340 CPUtime=2.42 cores=0-7 /proc/30659/task/30675/stat : 30675 (java) S 30657 30657 30115 0 -1 1077944384 20492 0 0 0 239 3 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795936250096 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30676] ppid=30657 vsize=26538700 memory=1384 CPUtime=0.81 cores=0-7 /proc/30659/task/30676/stat : 30676 (java) S 30657 30657 30115 0 -1 1077944384 18764 0 0 0 77 4 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795935197552 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30677] ppid=30657 vsize=26538700 memory=5115312 CPUtime=0 cores=0-7 /proc/30659/task/30677/stat : 30677 (java) S 30657 30657 30115 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795934145248 139797536212693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30678] ppid=30657 vsize=26538700 memory=1384 CPUtime=0.87 cores=0-7 /proc/30659/task/30678/stat : 30678 (java) S 30657 30657 30115 0 -1 1077944384 3333 0 0 0 58 29 0 0 20 0 28 0 109354273 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795933092784 139797536213634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30679] ppid=30657 vsize=26538700 memory=5115312 CPUtime=2494.1 cores=0-7 /proc/30659/task/30679/stat : 30679 (java) R 30657 30657 30115 0 -1 4202560 3851 0 0 0 249401 9 0 0 20 0 28 0 109354526 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795925081336 139797180882773 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30680] ppid=30657 vsize=26538700 memory=1236 CPUtime=2493.48 cores=0-7 /proc/30659/task/30680/stat : 30680 (java) R 30657 30657 30115 0 -1 4202560 7360 0 0 0 249337 11 0 0 20 0 28 0 109354526 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795924029928 139797180882796 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30681] ppid=30657 vsize=26538700 memory=644 CPUtime=2507.97 cores=0-7 /proc/30659/task/30681/stat : 30681 (java) R 30657 30657 30115 0 -1 4202560 8951 0 0 0 250788 9 0 0 20 0 28 0 109354526 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795922976320 139797180882895 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30682] ppid=30657 vsize=26538700 memory=1788 CPUtime=2507.27 cores=0-7 /proc/30659/task/30682/stat : 30682 (java) R 30657 30657 30115 0 -1 4202560 11306 0 0 0 250704 23 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795921923832 139797181061729 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30683] ppid=30657 vsize=26538700 memory=952 CPUtime=2507.91 cores=0-7 /proc/30659/task/30683/stat : 30683 (java) R 30657 30657 30115 0 -1 4202560 7403 0 0 0 250780 11 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795920871288 139797180883085 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30684] ppid=30657 vsize=26538700 memory=2340 CPUtime=2495.79 cores=0-7 /proc/30659/task/30684/stat : 30684 (java) R 30657 30657 30115 0 -1 4202560 32748 0 0 0 249515 64 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795919820568 139797181061701 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30685] ppid=30657 vsize=26538700 memory=1580 CPUtime=2508.02 cores=0-7 /proc/30659/task/30685/stat : 30685 (java) R 30657 30657 30115 0 -1 4202560 4095 0 0 0 250794 8 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795918766200 139797180883057 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 [pid=30659/tid=30686] ppid=30657 vsize=26538700 memory=928 CPUtime=2498.95 cores=0-7 /proc/30659/task/30686/stat : 30686 (java) R 30657 30657 30115 0 -1 4202560 7159 0 0 0 249888 7 0 0 20 0 28 0 109354527 27175628800 1278828 33554432000 4194304 4196468 140729212115920 139795917713352 139797180883098 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 34578432 140729212122258 140729212122435 140729212122435 140729212125135 0 Current children cumulated CPU time: 20051.6 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 5116696 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 30657 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000972 s, system=0.000972 s [startup+2520.15 s] # the end of solver process 30659 was just reported to runsolver # cumulated CPU time of all completed processes: user=20048.8 s, system=3.7033 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 [startup+2520.14 s]* /proc/loadavg: 8.09 8.23 8.25 2/180 30745 /proc/meminfo: memFree=28343052/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.001944 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 2520.15 CPU time (s): 20052.5 CPU user time (s): 20048.8 CPU system time (s): 3.7033 CPU usage (%): 795.688 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 5116696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20048.8 system time used= 3.7033 maximum resident set size= 5115912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 215907 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 61210 involuntary context switches= 198904 # summary of solver processes directly reported to runsolver: # pid: 30657,30659 # total CPU time (s): 20052.5 # total CPU user time (s): 20048.8 # total CPU system time (s): 3.7033 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 25.3835 second user time and 25.7347 second system time The end
Begin job on node104 at 2017-08-15 03:50:05 IDJOB=4270500 IDBENCH=133709 IDSOLVER=2662 FILE ID=node104/4270500-1502762664 RUNJOBID= node104-1502756729-30142 PBS_JOBID= 20629084 Free space on /tmp= 61864 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270500-1502762664/watcher-4270500-1502762664 -o /tmp/evaluation-result-4270500-1502762664/solver-4270500-1502762664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502756729-30142 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1257478048 HOME/instance-4270500-1502762664.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 35e588148f794a6a4a81576d123b10dc RANDOM SEED=1257478048 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 : 5333.43 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.43 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.43 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.43 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: 28488144 kB MemAvailable: 31982360 kB Buffers: 210308 kB Cached: 3562520 kB SwapCached: 0 kB Active: 422036 kB Inactive: 3401736 kB Active(anon): 53736 kB Inactive(anon): 25024 kB Active(file): 368300 kB Inactive(file): 3376712 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7976 kB Writeback: 0 kB AnonPages: 61164 kB Mapped: 45292 kB Shmem: 25228 kB Slab: 155480 kB SReclaimable: 130076 kB SUnreclaim: 25404 kB KernelStack: 3520 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61856 MiB End job on node104 at 2017-08-15 04:32:05