Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | ? (TO) | 20060.7 | 2520.14 |
Name | NurseRostering/ NurseRostering-15_c18.xml |
MD5SUM | 08877e0fafa48cd5ca524d34b6939bef |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3553 |
Number of constraints | 9202 |
Number of domains | 26 |
Minimum domain size | 1 |
Maximum domain size | 46 |
Distribution of domain sizes | [{"size":1,"count":135},{"size":2,"count":760},{"size":3,"count":8},{"size":4,"count":30},{"size":5,"count":14},{"size":7,"count":1890},{"size":8,"count":2},{"size":9,"count":2},{"size":12,"count":2},{"size":13,"count":11},{"size":15,"count":15},{"size":20,"count":10},{"size":22,"count":38},{"size":43,"count":90},{"size":46,"count":546}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":1393},{"degree":3,"count":270},{"degree":18,"count":2},{"degree":19,"count":33},{"degree":20,"count":47},{"degree":21,"count":9},{"degree":22,"count":30},{"degree":23,"count":52},{"degree":24,"count":74},{"degree":25,"count":66},{"degree":26,"count":110},{"degree":27,"count":537},{"degree":28,"count":506},{"degree":29,"count":252},{"degree":30,"count":135},{"degree":31,"count":37}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 180 |
Distribution of constraint arities | [{"arity":2,"count":3337},{"arity":3,"count":3120},{"arity":4,"count":390},{"arity":6,"count":1340},{"arity":7,"count":405},{"arity":43,"count":315},{"arity":46,"count":294},{"arity":180,"count":1}] |
Number of extensional constraints | 2139 |
Number of intensional constraints | 1116 |
Distribution of constraint types | [{"type":"extension","count":2139},{"type":"intension","count":1116},{"type":"regular","count":3592},{"type":"sum","count":90},{"type":"count","count":2264},{"type":"instantiation","count":1}] |
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-4297532-1532692162.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4297532-1532692162.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 25.80/6.84 c solve instance... 20059.86/2520.10 s UNKNOWN 20059.86/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 (14391 MiB free) memory of node 1: 16384 MiB (13294 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297532-1532692162/watcher-4297532-1532692162 -o /tmp/evaluation-result-4297532-1532692162/solver-4297532-1532692162 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532684358-16973 --watchdog 2580 HOME/xcsp3-exec -seed 2132467703 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297532-1532692162.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=19873, runsolver pid=19870 [startup+0.104627 s]* /proc/loadavg: 7.53 8.11 8.29 2/199 19894 /proc/meminfo: memFree=28336156/32770624 swapFree=67108860/67108860 [pid=19873] ppid=19870 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19873/stat : 19873 (xcsp3-exec) S 19870 19873 16946 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 86779360 115843072 364 33554432000 4194304 5098028 140723517389936 140723517388040 140718397395580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33423360 140723517391925 140723517392128 140723517392128 140723517394890 0 /proc/19873/statm: 28282 364 307 221 0 87 0 [pid=19875] ppid=19873 vsize=26104152 memory=26368 CPUtime=0.13 cores=0-7 /proc/19875/stat : 19875 (java) S 19873 19873 16946 0 -1 1077944320 5522 0 0 0 11 2 0 0 20 0 20 0 86779360 26730651648 6592 33554432000 4194304 4196468 140728444257248 140728444239792 140559144824567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 /proc/19875/statm: 6526038 6592 3014 1 0 6488315 0 [pid=19875/tid=19876] ppid=19873 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/19875/task/19876/stat : 19876 (java) R 19873 19873 16946 0 -1 4202560 3482 0 0 0 9 0 0 0 20 0 20 0 86779360 26730651648 6592 33554432000 4194304 4196468 140728444257248 140559149056480 140558781154834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19877] ppid=19873 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19875/task/19877/stat : 19877 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 6592 33554432000 4194304 4196468 140728444257248 140559114537744 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19878] ppid=19873 vsize=26104152 memory=140686734173824 CPUtime=0 cores=0-7 /proc/19875/task/19878/stat : 19878 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558702029712 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19879] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19879/stat : 19879 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558700977168 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19880] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19880/stat : 19880 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558699924624 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19881] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19881/stat : 19881 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558698871056 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19882] ppid=19873 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19875/task/19882/stat : 19882 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558697818512 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19883] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19883/stat : 19883 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558696765968 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19884] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19884/stat : 19884 (java) S 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558695713424 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19885] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19885/stat : 19885 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779362 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558540737008 140559144835714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19886] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19886/stat : 19886 (java) S 19873 19873 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86779363 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558539683232 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19887] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19887/stat : 19887 (java) S 19873 19873 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86779363 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558538630640 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19888] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19888/stat : 19888 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779365 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558537579216 140559144843163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19889] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19889/stat : 19889 (java) S 19873 19873 16946 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 86779365 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558536525808 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19890] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19890/stat : 19890 (java) R 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86779366 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558535473264 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19891] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19891/stat : 19891 (java) S 19873 19873 16946 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 86779366 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558534420720 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19892] ppid=19873 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/19875/task/19892/stat : 19892 (java) R 19873 19873 16946 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 20 0 86779366 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558533368176 140559137931103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19893] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19893/stat : 19893 (java) S 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86779366 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558532315872 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19894] ppid=19873 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19875/task/19894/stat : 19894 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779366 26730651648 6658 33554432000 4194304 4196468 140728444257248 140558531263408 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 27824 KiB [startup+0.210569 s]* /proc/loadavg: 7.53 8.11 8.29 2/199 19894 /proc/meminfo: memFree=28325868/32770624 swapFree=67108860/67108860 [pid=19873] ppid=19870 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19873/stat : 19873 (xcsp3-exec) S 19870 19873 16946 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 86779360 115843072 364 33554432000 4194304 5098028 140723517389936 140723517388040 140718397395580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33423360 140723517391925 140723517392128 140723517392128 140723517394890 0 /proc/19873/statm: 28282 364 307 221 0 87 0 [pid=19875] ppid=19873 vsize=26104152 memory=38436 CPUtime=0.34 cores=0-7 /proc/19875/stat : 19875 (java) S 19873 19873 16946 0 -1 1077944320 8110 0 0 0 31 3 0 0 20 0 20 0 86779360 26730651648 9609 33554432000 4194304 4196468 140728444257248 140728444239792 140559144824567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 /proc/19875/statm: 6526038 9609 3214 1 0 6488315 0 [pid=19875/tid=19876] ppid=19873 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19875/task/19876/stat : 19876 (java) R 19873 19873 16946 0 -1 4202560 5156 0 0 0 18 1 0 0 20 0 20 0 86779360 26730651648 9609 33554432000 4194304 4196468 140728444257248 140559149061264 140559144846493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19877] ppid=19873 vsize=26104152 memory=339 CPUtime=0 cores=0-7 /proc/19875/task/19877/stat : 19877 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 9609 33554432000 4194304 4196468 140728444257248 140559114537744 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19878] ppid=19873 vsize=26104152 memory=140686734677497 CPUtime=0 cores=0-7 /proc/19875/task/19878/stat : 19878 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558702029712 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19879] ppid=19873 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19875/task/19879/stat : 19879 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558700977168 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19880] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19880/stat : 19880 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558699924624 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19881] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19881/stat : 19881 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558698871056 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19882] ppid=19873 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19875/task/19882/stat : 19882 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558697818512 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19883] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19883/stat : 19883 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558696765968 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19884] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19884/stat : 19884 (java) S 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86779361 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558695713424 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19885] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19885/stat : 19885 (java) S 19873 19873 16946 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86779362 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558540737008 140559144835714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19886] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19886/stat : 19886 (java) S 19873 19873 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86779363 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558539683232 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19887] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19887/stat : 19887 (java) S 19873 19873 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86779363 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558538630640 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19888] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19888/stat : 19888 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779365 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558537579216 140559144843163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19889] ppid=19873 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/19875/task/19889/stat : 19889 (java) S 19873 19873 16946 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 86779365 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558536525808 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19890] ppid=19873 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/19875/task/19890/stat : 19890 (java) S 19873 19873 16946 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 86779366 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558535473264 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19891] ppid=19873 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/19875/task/19891/stat : 19891 (java) S 19873 19873 16946 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 20 0 86779366 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558534420720 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19892] ppid=19873 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/19875/task/19892/stat : 19892 (java) S 19873 19873 16946 0 -1 1077944384 878 0 0 0 8 0 0 0 20 0 20 0 86779366 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558533368176 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19893] ppid=19873 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19893/stat : 19893 (java) S 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86779366 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558532315872 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19894] ppid=19873 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/19875/task/19894/stat : 19894 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779366 26730651648 9609 33554432000 4194304 4196468 140728444257248 140558531263408 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 39892 KiB [startup+0.310555 s]* /proc/loadavg: 7.53 8.11 8.29 4/199 19894 /proc/meminfo: memFree=28319044/32770624 swapFree=67108860/67108860 [pid=19873] ppid=19870 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19873/stat : 19873 (xcsp3-exec) S 19870 19873 16946 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 86779360 115843072 364 33554432000 4194304 5098028 140723517389936 140723517388040 140718397395580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33423360 140723517391925 140723517392128 140723517392128 140723517394890 0 /proc/19873/statm: 28282 364 307 221 0 87 0 [pid=19875] ppid=19873 vsize=26108408 memory=45448 CPUtime=0.51 cores=0-7 /proc/19875/stat : 19875 (java) S 19873 19873 16946 0 -1 1077944320 9093 0 0 0 48 3 0 0 20 0 20 0 86779360 26735009792 11362 33554432000 4194304 4196468 140728444257248 140728444239792 140559144824567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 /proc/19875/statm: 6527102 11362 3254 1 0 6488315 0 [pid=19875/tid=19876] ppid=19873 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/19875/task/19876/stat : 19876 (java) R 19873 19873 16946 0 -1 4202560 5806 0 0 0 27 2 0 0 20 0 20 0 86779360 26735009792 11362 33554432000 4194304 4196468 140728444257248 140559149055680 140559128905054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19877] ppid=19873 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19877/stat : 19877 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26735009792 11362 33554432000 4194304 4196468 140728444257248 140559114537744 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19878] ppid=19873 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19878/stat : 19878 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558702029712 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19879] ppid=19873 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19879/stat : 19879 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558700977168 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19880] ppid=19873 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19880/stat : 19880 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558699924624 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19881] ppid=19873 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/19875/task/19881/stat : 19881 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558698871056 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19882] ppid=19873 vsize=26108408 memory=140686619931567 CPUtime=0 cores=0-7 /proc/19875/task/19882/stat : 19882 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558697818512 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19883] ppid=19873 vsize=26108408 memory=140686619933872 CPUtime=0 cores=0-7 /proc/19875/task/19883/stat : 19883 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558696765968 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19884] ppid=19873 vsize=26108408 memory=140686619936176 CPUtime=0 cores=0-7 /proc/19875/task/19884/stat : 19884 (java) S 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86779361 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558695713424 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19885] ppid=19873 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19885/stat : 19885 (java) S 19873 19873 16946 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 86779362 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558540737008 140559144835714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19886] ppid=19873 vsize=26108408 memory=281373239879312 CPUtime=0 cores=0-7 /proc/19875/task/19886/stat : 19886 (java) S 19873 19873 16946 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 86779363 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558539683232 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19887] ppid=19873 vsize=26108408 memory=281373239886224 CPUtime=0 cores=0-7 /proc/19875/task/19887/stat : 19887 (java) S 19873 19873 16946 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 86779363 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558538630640 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19888] ppid=19873 vsize=26108408 memory=281373239827504 CPUtime=0 cores=0-7 /proc/19875/task/19888/stat : 19888 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779365 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558537579216 140559144843163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19889] ppid=19873 vsize=26108408 memory=281373239900048 CPUtime=0.02 cores=0-7 /proc/19875/task/19889/stat : 19889 (java) S 19873 19873 16946 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 20 0 86779365 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558536525808 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19890] ppid=19873 vsize=26108408 memory=281373239906960 CPUtime=0.03 cores=0-7 /proc/19875/task/19890/stat : 19890 (java) R 19873 19873 16946 0 -1 4202560 173 0 0 0 3 0 0 0 20 0 20 0 86779366 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558535473264 140559124512798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19891] ppid=19873 vsize=26108408 memory=281373239904656 CPUtime=0.02 cores=0-7 /proc/19875/task/19891/stat : 19891 (java) S 19873 19873 16946 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 20 0 86779366 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558534420720 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19892] ppid=19873 vsize=26108408 memory=281373239920816 CPUtime=0.12 cores=0-7 /proc/19875/task/19892/stat : 19892 (java) S 19873 19873 16946 0 -1 1077944384 1091 0 0 0 12 0 0 0 20 0 20 0 86779366 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558533368176 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19893] ppid=19873 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19893/stat : 19893 (java) S 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 86779366 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558532315872 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19894] ppid=19873 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/19875/task/19894/stat : 19894 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779366 26735009792 11362 33554432000 4194304 4196468 140728444257248 140558531263408 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 46904 KiB [startup+0.70097 s] /proc/loadavg: 7.53 8.11 8.29 3/199 19894 /proc/meminfo: memFree=28294728/32770624 swapFree=67108860/67108860 [pid=19873] ppid=19870 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19873/stat : 19873 (xcsp3-exec) S 19870 19873 16946 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 86779360 115843072 364 33554432000 4194304 5098028 140723517389936 140723517388040 140718397395580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33423360 140723517391925 140723517392128 140723517392128 140723517394890 0 /proc/19873/statm: 28282 364 307 221 0 87 0 [pid=19875] ppid=19873 vsize=26110532 memory=104432 CPUtime=1.97 cores=0-7 /proc/19875/stat : 19875 (java) S 19873 19873 16946 0 -1 1077944320 15095 0 0 0 191 6 0 0 20 0 20 0 86779360 26737184768 26108 33554432000 4194304 4196468 140728444257248 140728444239792 140559144824567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 /proc/19875/statm: 6527633 26108 3358 1 0 6488827 0 [pid=19875/tid=19876] ppid=19873 vsize=26110532 memory=281373240278704 CPUtime=0.67 cores=0-7 /proc/19875/task/19876/stat : 19876 (java) R 19873 19873 16946 0 -1 4202560 6440 0 0 0 64 3 0 0 20 0 20 0 86779360 26737184768 26108 33554432000 4194304 4196468 140728444257248 140559149057888 140558784863579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19877] ppid=19873 vsize=26110532 memory=140686620140400 CPUtime=0 cores=0-7 /proc/19875/task/19877/stat : 19877 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26737184768 26108 33554432000 4194304 4196468 140728444257248 140559114537744 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19878] ppid=19873 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/19875/task/19878/stat : 19878 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 86779361 26737184768 26108 33554432000 4194304 4196468 140728444257248 140558702029712 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19879] ppid=19873 vsize=26110532 memory=8496 CPUtime=0 cores=0-7 /proc/19875/task/19879/stat : 19879 (java) S 19873 19873 16946 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 86779361 26737184768 26108 33554432000 4194304 4196468 140728444257248 140558700977168 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 ################ # More data... # ################ /proc/meminfo: memFree=24762784/32770624 swapFree=67108860/67108860 [pid=19873] ppid=19870 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19873/stat : 19873 (xcsp3-exec) S 19870 19873 16946 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 86779360 115843072 364 33554432000 4194304 5098028 140723517389936 140723517388040 140718397395580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33423360 140723517391925 140723517392128 140723517392128 140723517394890 0 /proc/19873/statm: 28282 364 307 221 0 87 0 [pid=19875] ppid=19873 vsize=26645092 memory=3592400 CPUtime=19918.6 cores=0-7 /proc/19875/stat : 19875 (java) S 19873 19873 16946 0 -1 1077944320 665625 0 0 0 1990890 972 0 0 20 0 28 0 86779360 27284574208 898100 33554432000 4194304 4196468 140728444257248 140728444239792 140559144824567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 /proc/19875/statm: 6661273 898100 3463 1 0 6622467 0 [pid=19875/tid=19876] ppid=19873 vsize=26645092 memory=3592400 CPUtime=6.13 cores=0-7 /proc/19875/task/19876/stat : 19876 (java) S 19873 19873 16946 0 -1 1077944384 9877 0 0 0 599 14 0 0 20 0 28 0 86779360 27284574208 898100 33554432000 4194304 4196468 140728444257248 140559149065344 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19877] ppid=19873 vsize=26645092 memory=3593940 CPUtime=7.66 cores=0-7 /proc/19875/task/19877/stat : 19877 (java) S 19873 19873 16946 0 -1 1077944384 19848 0 0 0 709 57 0 0 20 0 28 0 86779361 27284574208 898100 33554432000 4194304 4196468 140728444257248 140559114537744 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19878] ppid=19873 vsize=26645092 memory=3592400 CPUtime=7.61 cores=0-7 /proc/19875/task/19878/stat : 19878 (java) S 19873 19873 16946 0 -1 1077944384 18347 0 0 0 707 54 0 0 20 0 28 0 86779361 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558702029712 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19879] ppid=19873 vsize=26645092 memory=1456 CPUtime=7.61 cores=0-7 /proc/19875/task/19879/stat : 19879 (java) S 19873 19873 16946 0 -1 1077944384 22353 0 0 0 708 53 0 0 20 0 28 0 86779361 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558700977168 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19880] ppid=19873 vsize=26645092 memory=12060 CPUtime=7.56 cores=0-7 /proc/19875/task/19880/stat : 19880 (java) S 19873 19873 16946 0 -1 1077944384 20597 0 0 0 703 53 0 0 20 0 28 0 86779361 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558699924624 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19881] ppid=19873 vsize=26645092 memory=3593940 CPUtime=7.6 cores=0-7 /proc/19875/task/19881/stat : 19881 (java) S 19873 19873 16946 0 -1 1077944384 18991 0 0 0 706 54 0 0 20 0 28 0 86779361 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558698871056 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19882] ppid=19873 vsize=26645092 memory=56 CPUtime=7.51 cores=0-7 /proc/19875/task/19882/stat : 19882 (java) S 19873 19873 16946 0 -1 1077944384 14106 0 0 0 698 53 0 0 20 0 28 0 86779361 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558697818512 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19883] ppid=19873 vsize=26645092 memory=1456 CPUtime=7.47 cores=0-7 /proc/19875/task/19883/stat : 19883 (java) S 19873 19873 16946 0 -1 1077944384 16319 0 0 0 695 52 0 0 20 0 28 0 86779361 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558696765968 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19884] ppid=19873 vsize=26645092 memory=4028 CPUtime=7.63 cores=0-7 /proc/19875/task/19884/stat : 19884 (java) S 19873 19873 16946 0 -1 1077944384 16037 0 0 0 706 57 0 0 20 0 28 0 86779361 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558695713424 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19885] ppid=19873 vsize=26645092 memory=170922518551410 CPUtime=1.14 cores=0-7 /proc/19875/task/19885/stat : 19885 (java) S 19873 19873 16946 0 -1 1077944384 43576 0 0 0 91 23 0 0 20 0 28 0 86779362 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558540737008 140559144835714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19886] ppid=19873 vsize=26645092 memory=8028066997825000551 CPUtime=0 cores=0-7 /proc/19875/task/19886/stat : 19886 (java) S 19873 19873 16946 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 86779363 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558539683296 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19887] ppid=19873 vsize=26645092 memory=792 CPUtime=0 cores=0-7 /proc/19875/task/19887/stat : 19887 (java) S 19873 19873 16946 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 86779363 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558538630656 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19888] ppid=19873 vsize=26645092 memory=1228 CPUtime=0 cores=0-7 /proc/19875/task/19888/stat : 19888 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86779365 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558537579216 140559144843163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19889] ppid=19873 vsize=26645092 memory=6791534058613427641 CPUtime=8.52 cores=0-7 /proc/19875/task/19889/stat : 19889 (java) S 19873 19873 16946 0 -1 1077944384 44243 0 0 0 845 7 0 0 20 0 28 0 86779365 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558536525808 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19890] ppid=19873 vsize=26645092 memory=-7023579799431922829 CPUtime=7.73 cores=0-7 /proc/19875/task/19890/stat : 19890 (java) S 19873 19873 16946 0 -1 1077944384 37183 0 0 0 767 6 0 0 20 0 28 0 86779366 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558535473264 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19891] ppid=19873 vsize=26645092 memory=3599068 CPUtime=7.31 cores=0-7 /proc/19875/task/19891/stat : 19891 (java) S 19873 19873 16946 0 -1 1077944384 34036 0 0 0 725 6 0 0 20 0 28 0 86779366 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558534420720 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19892] ppid=19873 vsize=26645092 memory=1456 CPUtime=1.46 cores=0-7 /proc/19875/task/19892/stat : 19892 (java) S 19873 19873 16946 0 -1 1077944384 20672 0 0 0 142 4 0 0 20 0 28 0 86779366 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558533368176 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19893] ppid=19873 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/19875/task/19893/stat : 19893 (java) S 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86779366 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558532315872 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19894] ppid=19873 vsize=26645092 memory=3593940 CPUtime=1.03 cores=0-7 /proc/19875/task/19894/stat : 19894 (java) S 19873 19873 16946 0 -1 1077944384 4399 0 0 0 23 80 0 0 20 0 28 0 86779366 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558531263408 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19895] ppid=19873 vsize=26645092 memory=56 CPUtime=2477.91 cores=0-7 /proc/19875/task/19895/stat : 19895 (java) R 19873 19873 16946 0 -1 4202560 23138 0 0 0 247764 27 0 0 20 0 28 0 86780048 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558520383760 140558783910223 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19896] ppid=19873 vsize=26645092 memory=-6586667735541663136 CPUtime=2474.38 cores=0-7 /proc/19875/task/19896/stat : 19896 (java) R 19873 19873 16946 0 -1 4202560 24461 0 0 0 247413 25 0 0 20 0 28 0 86780048 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558519329368 140558785657356 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19897] ppid=19873 vsize=26645092 memory=1456 CPUtime=2480.86 cores=0-7 /proc/19875/task/19897/stat : 19897 (java) R 19873 19873 16946 0 -1 4202560 30323 0 0 0 248043 43 0 0 20 0 28 0 86780048 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558518275576 140558787910492 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19898] ppid=19873 vsize=26645092 memory=3593940 CPUtime=2481.03 cores=0-7 /proc/19875/task/19898/stat : 19898 (java) R 19873 19873 16946 0 -1 4202560 130032 0 0 0 247821 282 0 0 20 0 28 0 86780048 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558517223352 140558791920016 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19899] ppid=19873 vsize=26645092 memory=4612 CPUtime=2473.66 cores=0-7 /proc/19875/task/19899/stat : 19899 (java) R 19873 19873 16946 0 -1 4202560 24617 0 0 0 247347 19 0 0 20 0 28 0 86780048 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558516170496 140558788038365 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19900] ppid=19873 vsize=26645092 memory=4028 CPUtime=2483.82 cores=0-7 /proc/19875/task/19900/stat : 19900 (java) R 19873 19873 16946 0 -1 4202560 44700 0 0 0 248355 27 0 0 20 0 28 0 86780048 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558515118184 140558783275380 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19901] ppid=19873 vsize=26645092 memory=25404 CPUtime=2470.06 cores=0-7 /proc/19875/task/19901/stat : 19901 (java) R 19873 19873 16946 0 -1 4202560 19987 0 0 0 246982 24 0 0 20 0 28 0 86780048 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558514065656 140558785657536 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19902] ppid=19873 vsize=26645092 memory=1296 CPUtime=2482.68 cores=0-7 /proc/19875/task/19902/stat : 19902 (java) R 19873 19873 16946 0 -1 4202560 26406 0 0 0 248243 25 0 0 20 0 28 0 86780049 27284574208 898100 33554432000 4194304 4196468 140728444257248 140558513013160 140558790959919 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 Current children cumulated CPU time: 19918.6 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 3593856 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.72 8.35 8.30 9/208 19962 /proc/meminfo: memFree=24764024/32770624 swapFree=67108860/67108860 [pid=19873] ppid=19870 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19873/stat : 19873 (xcsp3-exec) S 19870 19873 16946 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 86779360 115843072 364 33554432000 4194304 5098028 140723517389936 140723517388040 140718397395580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33423360 140723517391925 140723517392128 140723517392128 140723517394890 0 /proc/19873/statm: 28282 364 307 221 0 87 0 [pid=19875] ppid=19873 vsize=26645092 memory=3590860 CPUtime=20059.9 cores=0-7 /proc/19875/stat : 19875 (java) S 19873 19873 16946 0 -1 1077944320 668211 0 0 0 2005014 972 0 0 20 0 28 0 86779360 27284574208 897715 33554432000 4194304 4196468 140728444257248 140728444239792 140559144824567 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 /proc/19875/statm: 6661273 897715 3463 1 0 6622467 0 [pid=19875/tid=19876] ppid=19873 vsize=26645092 memory=3592400 CPUtime=6.13 cores=0-7 /proc/19875/task/19876/stat : 19876 (java) S 19873 19873 16946 0 -1 1077944384 9877 0 0 0 599 14 0 0 20 0 28 0 86779360 27284574208 897715 33554432000 4194304 4196468 140728444257248 140559149065344 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19877] ppid=19873 vsize=26645092 memory=4872558044660077418 CPUtime=7.68 cores=0-7 /proc/19875/task/19877/stat : 19877 (java) S 19873 19873 16946 0 -1 1077944384 19909 0 0 0 711 57 0 0 20 0 28 0 86779361 27284574208 897715 33554432000 4194304 4196468 140728444257248 140559114537744 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19878] ppid=19873 vsize=26645092 memory=8148 CPUtime=7.62 cores=0-7 /proc/19875/task/19878/stat : 19878 (java) S 19873 19873 16946 0 -1 1077944384 18445 0 0 0 708 54 0 0 20 0 28 0 86779361 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558702029712 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19879] ppid=19873 vsize=26645092 memory=844 CPUtime=7.62 cores=0-7 /proc/19875/task/19879/stat : 19879 (java) S 19873 19873 16946 0 -1 1077944384 22672 0 0 0 709 53 0 0 20 0 28 0 86779361 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558700977168 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19880] ppid=19873 vsize=26645092 memory=1692 CPUtime=7.58 cores=0-7 /proc/19875/task/19880/stat : 19880 (java) S 19873 19873 16946 0 -1 1077944384 20980 0 0 0 705 53 0 0 20 0 28 0 86779361 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558699924624 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19881] ppid=19873 vsize=26645092 memory=916 CPUtime=7.62 cores=0-7 /proc/19875/task/19881/stat : 19881 (java) S 19873 19873 16946 0 -1 1077944384 19008 0 0 0 708 54 0 0 20 0 28 0 86779361 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558698871056 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19882] ppid=19873 vsize=26645092 memory=5756 CPUtime=7.52 cores=0-7 /proc/19875/task/19882/stat : 19882 (java) S 19873 19873 16946 0 -1 1077944384 14126 0 0 0 699 53 0 0 20 0 28 0 86779361 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558697818512 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19883] ppid=19873 vsize=26645092 memory=4100 CPUtime=7.49 cores=0-7 /proc/19875/task/19883/stat : 19883 (java) S 19873 19873 16946 0 -1 1077944384 16342 0 0 0 697 52 0 0 20 0 28 0 86779361 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558696765968 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19884] ppid=19873 vsize=26645092 memory=1408 CPUtime=7.65 cores=0-7 /proc/19875/task/19884/stat : 19884 (java) S 19873 19873 16946 0 -1 1077944384 16173 0 0 0 708 57 0 0 20 0 28 0 86779361 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558695713424 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19885] ppid=19873 vsize=26645092 memory=3668 CPUtime=1.14 cores=0-7 /proc/19875/task/19885/stat : 19885 (java) S 19873 19873 16946 0 -1 1077944384 43842 0 0 0 91 23 0 0 20 0 28 0 86779362 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558540737008 140559144835714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19886] ppid=19873 vsize=26645092 memory=1456 CPUtime=0 cores=0-7 /proc/19875/task/19886/stat : 19886 (java) S 19873 19873 16946 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 86779363 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558539683296 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19887] ppid=19873 vsize=26645092 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19875/task/19887/stat : 19887 (java) S 19873 19873 16946 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 86779363 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558538630656 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19888] ppid=19873 vsize=26645092 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/19875/task/19888/stat : 19888 (java) S 19873 19873 16946 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 86779365 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558537579216 140559144843163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19889] ppid=19873 vsize=26645092 memory=4872558044660077418 CPUtime=8.52 cores=0-7 /proc/19875/task/19889/stat : 19889 (java) S 19873 19873 16946 0 -1 1077944384 44245 0 0 0 845 7 0 0 20 0 28 0 86779365 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558536525808 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19890] ppid=19873 vsize=26645092 memory=15448 CPUtime=7.73 cores=0-7 /proc/19875/task/19890/stat : 19890 (java) S 19873 19873 16946 0 -1 1077944384 37185 0 0 0 767 6 0 0 20 0 28 0 86779366 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558535473264 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19891] ppid=19873 vsize=26645092 memory=4052 CPUtime=7.31 cores=0-7 /proc/19875/task/19891/stat : 19891 (java) S 19873 19873 16946 0 -1 1077944384 34038 0 0 0 725 6 0 0 20 0 28 0 86779366 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558534420720 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19892] ppid=19873 vsize=26645092 memory=18248 CPUtime=1.46 cores=0-7 /proc/19875/task/19892/stat : 19892 (java) S 19873 19873 16946 0 -1 1077944384 20675 0 0 0 142 4 0 0 20 0 28 0 86779366 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558533368176 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19893] ppid=19873 vsize=26645092 memory=640 CPUtime=0 cores=0-7 /proc/19875/task/19893/stat : 19893 (java) S 19873 19873 16946 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 86779366 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558532315872 140559144834773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19894] ppid=19873 vsize=26645092 memory=1784 CPUtime=1.04 cores=0-7 /proc/19875/task/19894/stat : 19894 (java) S 19873 19873 16946 0 -1 1077944384 4419 0 0 0 23 81 0 0 20 0 28 0 86779366 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558531263408 140559144835714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19895] ppid=19873 vsize=26645092 memory=1236 CPUtime=2495.37 cores=0-7 /proc/19875/task/19895/stat : 19895 (java) R 19873 19873 16946 0 -1 4202560 23299 0 0 0 249510 27 0 0 20 0 28 0 86780048 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558520381448 140558788870320 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19896] ppid=19873 vsize=26645092 memory=960 CPUtime=2492.07 cores=0-7 /proc/19875/task/19896/stat : 19896 (java) R 19873 19873 16946 0 -1 4202560 24614 0 0 0 249182 25 0 0 20 0 28 0 86780048 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558519329768 140558788038365 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19897] ppid=19873 vsize=26645092 memory=18248 CPUtime=2498.54 cores=0-7 /proc/19875/task/19897/stat : 19897 (java) R 19873 19873 16946 0 -1 4202560 30508 0 0 0 249811 43 0 0 20 0 28 0 86780048 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558518275552 140558784219286 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19898] ppid=19873 vsize=26645092 memory=640 CPUtime=2498.72 cores=0-7 /proc/19875/task/19898/stat : 19898 (java) R 19873 19873 16946 0 -1 4202560 130146 0 0 0 249590 282 0 0 20 0 28 0 86780048 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558517223224 140558782200523 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19899] ppid=19873 vsize=26645092 memory=1784 CPUtime=2491.34 cores=0-7 /proc/19875/task/19899/stat : 19899 (java) R 19873 19873 16946 0 -1 4202560 24807 0 0 0 249115 19 0 0 20 0 28 0 86780048 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558516170872 140558785296323 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19900] ppid=19873 vsize=26645092 memory=1236 CPUtime=2501.51 cores=0-7 /proc/19875/task/19900/stat : 19900 (java) R 19873 19873 16946 0 -1 4202560 44864 0 0 0 250124 27 0 0 20 0 28 0 86780048 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558515118184 140558783910220 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19901] ppid=19873 vsize=26645092 memory=960 CPUtime=2487.6 cores=0-7 /proc/19875/task/19901/stat : 19901 (java) R 19873 19873 16946 0 -1 4202560 20121 0 0 0 248736 24 0 0 20 0 28 0 86780048 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558514068608 140558784165673 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 [pid=19875/tid=19902] ppid=19873 vsize=26645092 memory=2340 CPUtime=2500.37 cores=0-7 /proc/19875/task/19902/stat : 19902 (java) R 19873 19873 16946 0 -1 4202560 26539 0 0 0 250011 26 0 0 20 0 28 0 86780049 27284574208 897715 33554432000 4194304 4196468 140728444257248 140558513013160 140558790959646 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 27291648 140728444265601 140728444265773 140728444265773 140728444268495 0 Current children cumulated CPU time: 20059.9 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 3592316 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 19873 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001168 s, system=0.001168 s [startup+2520.14 s] # the end of solver process 19875 was just reported to runsolver # cumulated CPU time of all completed processes: user=20050.9 s, system=9.75258 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.13 s]* /proc/loadavg: 8.72 8.35 8.30 2/181 19964 /proc/meminfo: memFree=28309916/32770624 swapFree=67108860/67108860 Current cumulated CPU time of completed processes: 0.002336 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.14 CPU time (s): 20060.7 CPU user time (s): 20050.9 CPU system time (s): 9.75258 CPU usage (%): 796.015 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 3976388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20050.9 system time used= 9.75258 maximum resident set size= 3974940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 669282 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3224 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 109213 involuntary context switches= 208923 # summary of solver processes directly reported to runsolver: # pid: 19873,19875 # total CPU time (s): 20060.7 # total CPU user time (s): 20050.9 # total CPU system time (s): 9.75258 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.8423 second user time and 34.1876 second system time The end
Begin job on node151 at 2018-07-27 13:49:22 IDJOB=4297532 IDBENCH=141050 IDSOLVER=2760 FILE ID=node151/4297532-1532692162 RUNJOBID= node151-1532684358-16973 PBS_JOBID= 21022271 Free space on /tmp= 54928 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/NurseRostering/NurseRostering-15_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297532-1532692162/watcher-4297532-1532692162 -o /tmp/evaluation-result-4297532-1532692162/solver-4297532-1532692162 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532684358-16973 --watchdog 2580 HOME/xcsp3-exec -seed 2132467703 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297532-1532692162.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 08877e0fafa48cd5ca524d34b6939bef RANDOM SEED=2132467703 node151.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.87 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.87 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.87 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.87 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: 28350392 kB MemAvailable: 31965544 kB Buffers: 150312 kB Cached: 3735000 kB SwapCached: 0 kB Active: 1425592 kB Inactive: 2516136 kB Active(anon): 5964 kB Inactive(anon): 78204 kB Active(file): 1419628 kB Inactive(file): 2437932 kB Unevictable: 7796 kB Mlocked: 7796 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 22204 kB Writeback: 0 kB AnonPages: 77840 kB Mapped: 41576 kB Shmem: 25224 kB Slab: 174028 kB SReclaimable: 146856 kB SUnreclaim: 27172 kB KernelStack: 3552 kB PageTables: 4808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 326564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 54904 MiB End job on node151 at 2018-07-27 14:31:22