| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | ? (TO) | 20071.4 | 2520.1101 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-04-72.xml |
| MD5SUM | 606ad4221d4941292d84c5bdd64a5487 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 1596.5699 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of constraints | 731 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":500},{"size":22,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 53 |
| Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":25},{"degree":25,"count":14},{"degree":26,"count":9},"...",{"degree":29,"count":9}, {"degree":30,"count":10}, {"degree":31,"count":26}, {"degree":32,"count":19}, {"degree":33,"count":2}, {"degree":34,"count":2}, {"degree":35,"count":2}, {"degree":36,"count":2}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},{"arity":36,"count":1},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":630},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280686-1503145629.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280686-1503145629.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.77/0.92 c solve instance... 20070.61/2520.09 s UNKNOWN 20070.61/2520.09 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 (13006 MiB free)
memory of node 1: 16384 MiB (13419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280686-1503145629/watcher-4280686-1503145629 -o /tmp/evaluation-result-4280686-1503145629/solver-4280686-1503145629 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503136251-22362 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1722512839 HOME/instance-4280686-1503145629.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=23913, runsolver pid=23910
[startup+0.10016 s]*
/proc/loadavg: 7.22 8.07 8.22 2/200 23934
/proc/meminfo: memFree=27044524/32770624 swapFree=67108860/67108860
[pid=23913] ppid=23910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23913/stat : 23913 (xcsp3-exec) S 23910 23913 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147650866 9740288 346 33554432000 4194304 5098028 140732462472304 140732462470408 140361371775612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140732462478436 140732462478647 140732462478647 140732462481387 0
/proc/23913/statm: 2378 346 289 221 0 87 0
[pid=23915] ppid=23913 vsize=25999808 memory=26140 CPUtime=0.12 cores=0-7
/proc/23915/stat : 23915 (java) S 23913 23913 22335 0 -1 1077944320 5478 0 0 0 11 1 0 0 20 0 20 0 147650866 26623803392 6535 33554432000 4194304 4196468 140723959257456 140723959240000 140116807032567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
/proc/23915/statm: 6499952 6535 2847 1 0 6488269 0
[pid=23915/tid=23916] ppid=23913 vsize=25999808 memory=8329296943472615064 CPUtime=0.08 cores=0-7
/proc/23915/task/23916/stat : 23916 (java) R 23913 23913 22335 0 -1 4202560 3483 0 0 0 8 0 0 0 20 0 20 0 147650866 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116811261984 140116807044502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23917] ppid=23913 vsize=25999808 memory=732369771244145637 CPUtime=0 cores=0-7
/proc/23915/task/23917/stat : 23917 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116759653136 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23918] ppid=23913 vsize=25999808 memory=139632906692224 CPUtime=0 cores=0-7
/proc/23915/task/23918/stat : 23918 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116758600592 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23919] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23919/stat : 23919 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116757548048 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23920] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23920/stat : 23920 (java) S 23913 23913 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147650867 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116756495504 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23921] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23921/stat : 23921 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116755441936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23922] ppid=23913 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23915/task/23922/stat : 23922 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116754389392 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23923] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23923/stat : 23923 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116753336848 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23924] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23924/stat : 23924 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26623803392 6535 33554432000 4194304 4196468 140723959257456 140116752284304 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23925] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23925/stat : 23925 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650869 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115079305712 140116807043714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23926] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23926/stat : 23926 (java) S 23913 23913 22335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147650869 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115078251936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23927] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23927/stat : 23927 (java) S 23913 23913 22335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147650869 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115077199344 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23928] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23928/stat : 23928 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650872 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115076147920 140116807051163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23929] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23929/stat : 23929 (java) S 23913 23913 22335 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 147650872 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115075094512 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23930] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23930/stat : 23930 (java) S 23913 23913 22335 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 147650872 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115074041968 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23931] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23931/stat : 23931 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650872 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115072989424 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23932] ppid=23913 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/23915/task/23932/stat : 23932 (java) R 23913 23913 22335 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 147650872 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115071936880 140116799269694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23933] ppid=23913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23933/stat : 23933 (java) S 23913 23913 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147650872 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115070884576 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23934] ppid=23913 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/23915/task/23934/stat : 23934 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650872 26623803392 6535 33554432000 4194304 4196468 140723959257456 140115069832112 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27524 KiB
[startup+0.210039 s]*
/proc/loadavg: 7.22 8.07 8.22 2/200 23934
/proc/meminfo: memFree=27033236/32770624 swapFree=67108860/67108860
[pid=23913] ppid=23910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23913/stat : 23913 (xcsp3-exec) S 23910 23913 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147650866 9740288 346 33554432000 4194304 5098028 140732462472304 140732462470408 140361371775612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140732462478436 140732462478647 140732462478647 140732462481387 0
/proc/23913/statm: 2378 346 289 221 0 87 0
[pid=23915] ppid=23913 vsize=26004064 memory=38836 CPUtime=0.33 cores=0-7
/proc/23915/stat : 23915 (java) S 23913 23913 22335 0 -1 1077944320 8306 0 0 0 31 2 0 0 20 0 20 0 147650866 26628161536 9709 33554432000 4194304 4196468 140723959257456 140723959240000 140116807032567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
/proc/23915/statm: 6501016 9709 3055 1 0 6488269 0
[pid=23915/tid=23916] ppid=23913 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/23915/task/23916/stat : 23916 (java) R 23913 23913 22335 0 -1 4202560 5392 0 0 0 18 1 0 0 20 0 20 0 147650866 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116811269408 140116807054493 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23917] ppid=23913 vsize=26004064 memory=732369771244145637 CPUtime=0 cores=0-7
/proc/23915/task/23917/stat : 23917 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116759653136 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23918] ppid=23913 vsize=26004064 memory=139632906692224 CPUtime=0 cores=0-7
/proc/23915/task/23918/stat : 23918 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116758600592 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23919] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23919/stat : 23919 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116757548048 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23920] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23920/stat : 23920 (java) S 23913 23913 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116756495504 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23921] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23921/stat : 23921 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116755441936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23922] ppid=23913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23915/task/23922/stat : 23922 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116754389392 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23923] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23923/stat : 23923 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116753336848 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23924] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23924/stat : 23924 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 9709 33554432000 4194304 4196468 140723959257456 140116752284304 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23925] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23925/stat : 23925 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650869 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115079305712 140116807043714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23926] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23926/stat : 23926 (java) S 23913 23913 22335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147650869 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115078251936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23927] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23927/stat : 23927 (java) S 23913 23913 22335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147650869 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115077199344 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23928] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23928/stat : 23928 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650872 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115076147920 140116807051163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23929] ppid=23913 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/23915/task/23929/stat : 23929 (java) S 23913 23913 22335 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 20 0 147650872 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115075094512 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23930] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23930/stat : 23930 (java) S 23913 23913 22335 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 20 0 147650872 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115074041968 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23931] ppid=23913 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/23915/task/23931/stat : 23931 (java) S 23913 23913 22335 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 147650872 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115072989424 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23932] ppid=23913 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/23915/task/23932/stat : 23932 (java) R 23913 23913 22335 0 -1 4202560 754 0 0 0 7 0 0 0 20 0 20 0 147650872 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115071936880 140116785581415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23933] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23933/stat : 23933 (java) S 23913 23913 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147650872 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115070884576 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23934] ppid=23913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23915/task/23934/stat : 23934 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650872 26628161536 9709 33554432000 4194304 4196468 140723959257456 140115069832112 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40220 KiB
[startup+0.309447 s]*
/proc/loadavg: 7.22 8.07 8.22 3/200 23934
/proc/meminfo: memFree=27028460/32770624 swapFree=67108860/67108860
[pid=23913] ppid=23910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23913/stat : 23913 (xcsp3-exec) S 23910 23913 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147650866 9740288 346 33554432000 4194304 5098028 140732462472304 140732462470408 140361371775612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140732462478436 140732462478647 140732462478647 140732462481387 0
/proc/23913/statm: 2378 346 289 221 0 87 0
[pid=23915] ppid=23913 vsize=26004064 memory=43768 CPUtime=0.5 cores=0-7
/proc/23915/stat : 23915 (java) S 23913 23913 22335 0 -1 1077944320 9181 0 0 0 48 2 0 0 20 0 20 0 147650866 26628161536 10942 33554432000 4194304 4196468 140723959257456 140723959240000 140116807032567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
/proc/23915/statm: 6501016 10942 3083 1 0 6488269 0
[pid=23915/tid=23916] ppid=23913 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23915/task/23916/stat : 23916 (java) R 23913 23913 22335 0 -1 4202560 6073 0 0 0 28 1 0 0 20 0 20 0 147650866 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116811271344 140116791076197 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23917] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23917/stat : 23917 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116759653136 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23918] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23918/stat : 23918 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116758600592 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23919] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23919/stat : 23919 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116757548048 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23920] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23920/stat : 23920 (java) S 23913 23913 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116756495504 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23921] ppid=23913 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/23915/task/23921/stat : 23921 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116755441936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23922] ppid=23913 vsize=26004064 memory=139632809440175 CPUtime=0 cores=0-7
/proc/23915/task/23922/stat : 23922 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116754389392 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23923] ppid=23913 vsize=26004064 memory=139632809442480 CPUtime=0 cores=0-7
/proc/23915/task/23923/stat : 23923 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116753336848 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23924] ppid=23913 vsize=26004064 memory=139632809444784 CPUtime=0 cores=0-7
/proc/23915/task/23924/stat : 23924 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26628161536 10942 33554432000 4194304 4196468 140723959257456 140116752284304 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23925] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23925/stat : 23925 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650869 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115079305712 140116807043714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23926] ppid=23913 vsize=26004064 memory=279265618896528 CPUtime=0 cores=0-7
/proc/23915/task/23926/stat : 23926 (java) S 23913 23913 22335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 147650869 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115078251936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23927] ppid=23913 vsize=26004064 memory=279265618903440 CPUtime=0 cores=0-7
/proc/23915/task/23927/stat : 23927 (java) S 23913 23913 22335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 147650869 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115077199344 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23928] ppid=23913 vsize=26004064 memory=279265618844720 CPUtime=0 cores=0-7
/proc/23915/task/23928/stat : 23928 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650872 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115076147920 140116807051163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23929] ppid=23913 vsize=26004064 memory=279265618917264 CPUtime=0.02 cores=0-7
/proc/23915/task/23929/stat : 23929 (java) S 23913 23913 22335 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 20 0 147650872 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115075094512 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23930] ppid=23913 vsize=26004064 memory=279265618924176 CPUtime=0.01 cores=0-7
/proc/23915/task/23930/stat : 23930 (java) S 23913 23913 22335 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 147650872 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115074041968 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23931] ppid=23913 vsize=26004064 memory=279265618921872 CPUtime=0.03 cores=0-7
/proc/23915/task/23931/stat : 23931 (java) S 23913 23913 22335 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 20 0 147650872 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115072989424 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23932] ppid=23913 vsize=26004064 memory=279265618938032 CPUtime=0.12 cores=0-7
/proc/23915/task/23932/stat : 23932 (java) R 23913 23913 22335 0 -1 4202560 866 0 0 0 12 0 0 0 20 0 20 0 147650872 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115071933248 140116807044502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23933] ppid=23913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/23915/task/23933/stat : 23933 (java) S 23913 23913 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 147650872 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115070884576 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23934] ppid=23913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/23915/task/23934/stat : 23934 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650872 26628161536 10942 33554432000 4194304 4196468 140723959257456 140115069832112 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45152 KiB
[startup+0.700867 s]
/proc/loadavg: 7.22 8.07 8.22 5/200 23934
/proc/meminfo: memFree=27010532/32770624 swapFree=67108860/67108860
[pid=23913] ppid=23910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23913/stat : 23913 (xcsp3-exec) S 23910 23913 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147650866 9740288 346 33554432000 4194304 5098028 140732462472304 140732462470408 140361371775612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140732462478436 140732462478647 140732462478647 140732462481387 0
/proc/23913/statm: 2378 346 289 221 0 87 0
[pid=23915] ppid=23913 vsize=26006188 memory=102084 CPUtime=1.89 cores=0-7
/proc/23915/stat : 23915 (java) S 23913 23913 22335 0 -1 1077944320 16119 0 0 0 183 6 0 0 20 0 20 0 147650866 26630336512 25521 33554432000 4194304 4196468 140723959257456 140723959240000 140116807032567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
/proc/23915/statm: 6501547 25521 3211 1 0 6488781 0
[pid=23915/tid=23916] ppid=23913 vsize=26006188 memory=279265619232960 CPUtime=0.67 cores=0-7
/proc/23915/task/23916/stat : 23916 (java) R 23913 23913 22335 0 -1 4202560 6753 0 0 0 65 2 0 0 20 0 20 0 147650866 26630336512 25521 33554432000 4194304 4196468 140723959257456 140116811270128 140116412734226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23917] ppid=23913 vsize=26006188 memory=1420 CPUtime=0 cores=0-7
/proc/23915/task/23917/stat : 23917 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 147650867 26630336512 25521 33554432000 4194304 4196468 140723959257456 140116759653136 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23918] ppid=23913 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/23915/task/23918/stat : 23918 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26630336512 25521 33554432000 4194304 4196468 140723959257456 140116758600592 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23919] ppid=23913 vsize=26006188 memory=1712 CPUtime=0 cores=0-7
/proc/23915/task/23919/stat : 23919 (java) S 23913 23913 22335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 147650867 26630336512 25521 33554432000 4194304 4196468 140723959257456 140116757548048 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
################
# More data... #
################
[pid=23915/tid=23942] ppid=23913 vsize=26538700 memory=1133460 CPUtime=2422.86 cores=0-7
/proc/23915/task/23942/stat : 23942 (java) R 23913 23913 22335 0 -1 4202560 310398 0 0 0 242201 85 0 0 20 0 28 0 147650960 27175628800 283365 33554432000 4194304 4196468 140723959257456 140113912782064 140116421340019 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
Current children cumulated CPU time: 19450.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1134844 KiB
[startup+2502.3 s]
/proc/loadavg: 8.29 8.55 8.42 9/208 23978
/proc/meminfo: memFree=25949328/32770624 swapFree=67108860/67108860
[pid=23913] ppid=23910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23913/stat : 23913 (xcsp3-exec) S 23910 23913 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147650866 9740288 346 33554432000 4194304 5098028 140732462472304 140732462470408 140361371775612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140732462478436 140732462478647 140732462478647 140732462481387 0
/proc/23913/statm: 2378 346 289 221 0 87 0
[pid=23915] ppid=23913 vsize=26538700 memory=1121748 CPUtime=19929.3 cores=0-7
/proc/23915/stat : 23915 (java) S 23913 23913 22335 0 -1 1077944320 628039 0 0 0 1992439 492 0 0 20 0 28 0 147650866 27175628800 280437 33554432000 4194304 4196468 140723959257456 140723959240000 140116807032567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
/proc/23915/statm: 6634675 280437 3295 1 0 6621909 0
[pid=23915/tid=23916] ppid=23913 vsize=26538700 memory=1121748 CPUtime=0.9 cores=0-7
/proc/23915/task/23916/stat : 23916 (java) S 23913 23913 22335 0 -1 1077944384 6841 0 0 0 87 3 0 0 20 0 28 0 147650866 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116811273344 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23917] ppid=23913 vsize=26538700 memory=1121748 CPUtime=3.88 cores=0-7
/proc/23915/task/23917/stat : 23917 (java) S 23913 23913 22335 0 -1 1077944384 14919 0 0 0 350 38 0 0 20 0 28 0 147650867 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116759653136 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23918] ppid=23913 vsize=26538700 memory=1384 CPUtime=3.95 cores=0-7
/proc/23915/task/23918/stat : 23918 (java) S 23913 23913 22335 0 -1 1077944384 11067 0 0 0 361 34 0 0 20 0 28 0 147650867 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116758600592 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23919] ppid=23913 vsize=26538700 memory=129 CPUtime=3.91 cores=0-7
/proc/23915/task/23919/stat : 23919 (java) S 23913 23913 22335 0 -1 1077944384 13212 0 0 0 353 38 0 0 20 0 28 0 147650867 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116757548048 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23920] ppid=23913 vsize=26538700 memory=1121748 CPUtime=3.89 cores=0-7
/proc/23915/task/23920/stat : 23920 (java) S 23913 23913 22335 0 -1 1077944384 16025 0 0 0 354 35 0 0 20 0 28 0 147650867 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116756495504 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23921] ppid=23913 vsize=26538700 memory=1121748 CPUtime=3.92 cores=0-7
/proc/23915/task/23921/stat : 23921 (java) S 23913 23913 22335 0 -1 1077944384 13189 0 0 0 358 34 0 0 20 0 28 0 147650867 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116755441936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23922] ppid=23913 vsize=26538700 memory=1384 CPUtime=3.86 cores=0-7
/proc/23915/task/23922/stat : 23922 (java) S 23913 23913 22335 0 -1 1077944384 13372 0 0 0 352 34 0 0 20 0 28 0 147650867 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116754389392 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23923] ppid=23913 vsize=26538700 memory=56 CPUtime=3.91 cores=0-7
/proc/23915/task/23923/stat : 23923 (java) S 23913 23913 22335 0 -1 1077944384 13655 0 0 0 355 36 0 0 20 0 28 0 147650867 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116753336848 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23924] ppid=23913 vsize=26538700 memory=6155412865439655530 CPUtime=3.92 cores=0-7
/proc/23915/task/23924/stat : 23924 (java) S 23913 23913 22335 0 -1 1077944384 13208 0 0 0 360 32 0 0 20 0 28 0 147650867 27175628800 280437 33554432000 4194304 4196468 140723959257456 140116752284304 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23925] ppid=23913 vsize=26538700 memory=18448 CPUtime=1.99 cores=0-7
/proc/23915/task/23925/stat : 23925 (java) S 23913 23913 22335 0 -1 1077944384 40997 0 0 0 137 62 0 0 20 0 28 0 147650869 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115079305712 140116807043714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23926] ppid=23913 vsize=26538700 memory=23060 CPUtime=0 cores=0-7
/proc/23915/task/23926/stat : 23926 (java) S 23913 23913 22335 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 147650869 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115078251936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23927] ppid=23913 vsize=26538700 memory=1138592 CPUtime=0 cores=0-7
/proc/23915/task/23927/stat : 23927 (java) S 23913 23913 22335 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 147650869 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115077199360 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23928] ppid=23913 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/23915/task/23928/stat : 23928 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147650872 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115076147920 140116807051163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23929] ppid=23913 vsize=26538700 memory=41060 CPUtime=1.92 cores=0-7
/proc/23915/task/23929/stat : 23929 (java) S 23913 23913 22335 0 -1 1077944384 9420 0 0 0 190 2 0 0 20 0 28 0 147650872 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115075094512 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23930] ppid=23913 vsize=26538700 memory=1292 CPUtime=2.04 cores=0-7
/proc/23915/task/23930/stat : 23930 (java) S 23913 23913 22335 0 -1 1077944384 8960 0 0 0 201 3 0 0 20 0 28 0 147650872 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115074041968 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23931] ppid=23913 vsize=26538700 memory=1384 CPUtime=1.98 cores=0-7
/proc/23915/task/23931/stat : 23931 (java) S 23913 23913 22335 0 -1 1077944384 9993 0 0 0 196 2 0 0 20 0 28 0 147650872 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115072989424 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23932] ppid=23913 vsize=26538700 memory=1384 CPUtime=0.82 cores=0-7
/proc/23915/task/23932/stat : 23932 (java) S 23913 23913 22335 0 -1 1077944384 9549 0 0 0 80 2 0 0 20 0 28 0 147650872 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115071936880 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23933] ppid=23913 vsize=26538700 memory=1121748 CPUtime=0 cores=0-7
/proc/23915/task/23933/stat : 23933 (java) S 23913 23913 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147650872 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115070884576 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23934] ppid=23913 vsize=26538700 memory=1384 CPUtime=0.52 cores=0-7
/proc/23915/task/23934/stat : 23934 (java) S 23913 23913 22335 0 -1 1077944384 2459 0 0 0 0 52 0 0 20 0 28 0 147650872 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115069832112 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23935] ppid=23913 vsize=26538700 memory=1121748 CPUtime=2487.17 cores=0-7
/proc/23915/task/23935/stat : 23935 (java) R 23913 23913 22335 0 -1 4202560 7077 0 0 0 248715 2 0 0 20 0 28 0 147650960 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115061821448 140116419928634 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23936] ppid=23913 vsize=26538700 memory=4420 CPUtime=2488.96 cores=0-7
/proc/23915/task/23936/stat : 23936 (java) R 23913 23913 22335 0 -1 4202560 6873 0 0 0 248892 4 0 0 20 0 28 0 147650960 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115060769368 140116418953021 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23937] ppid=23913 vsize=26538700 memory=2424 CPUtime=2481.4 cores=0-7
/proc/23915/task/23937/stat : 23937 (java) R 23913 23913 22335 0 -1 4202560 33530 0 0 0 248128 12 0 0 20 0 28 0 147650960 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115059716344 140116421339382 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23938] ppid=23913 vsize=26538700 memory=1236 CPUtime=2482.85 cores=0-7
/proc/23915/task/23938/stat : 23938 (java) R 23913 23913 22335 0 -1 4202560 46490 0 0 0 248263 22 0 0 20 0 28 0 147650960 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115058663320 140116418952728 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23939] ppid=23913 vsize=26538700 memory=1384 CPUtime=2487.45 cores=0-7
/proc/23915/task/23939/stat : 23939 (java) R 23913 23913 22335 0 -1 4202560 15106 0 0 0 248735 10 0 0 20 0 28 0 147650960 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115057613504 140116419928634 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23940] ppid=23913 vsize=26538700 memory=1121748 CPUtime=2486.97 cores=0-7
/proc/23915/task/23940/stat : 23940 (java) R 23913 23913 22335 0 -1 4202560 4869 0 0 0 248692 5 0 0 20 0 28 0 147650960 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115056557984 140116419928846 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23941] ppid=23913 vsize=26538700 memory=6791534058613427641 CPUtime=2490.04 cores=0-7
/proc/23915/task/23941/stat : 23941 (java) R 23913 23913 22335 0 -1 4202560 5164 0 0 0 249000 4 0 0 20 0 28 0 147650960 27175628800 280437 33554432000 4194304 4196468 140723959257456 140115055506200 140116419862660 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23942] ppid=23913 vsize=26538700 memory=1121748 CPUtime=2482.82 cores=0-7
/proc/23915/task/23942/stat : 23942 (java) R 23913 23913 22335 0 -1 4202560 310728 0 0 0 248197 85 0 0 20 0 28 0 147650960 27175628800 280437 33554432000 4194304 4196468 140723959257456 140113912779720 140116421805355 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
Current children cumulated CPU time: 19929.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1123132 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.21 8.52 8.41 9/208 23978
/proc/meminfo: memFree=25953844/32770624 swapFree=67108860/67108860
[pid=23913] ppid=23910 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/23913/stat : 23913 (xcsp3-exec) S 23910 23913 22335 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 147650866 9740288 346 33554432000 4194304 5098028 140732462472304 140732462470408 140361371775612 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32395264 140732462478436 140732462478647 140732462478647 140732462481387 0
/proc/23913/statm: 2378 346 289 221 0 87 0
[pid=23915] ppid=23913 vsize=26538700 memory=1117132 CPUtime=20070.6 cores=0-7
/proc/23915/stat : 23915 (java) S 23913 23913 22335 0 -1 1077944320 629102 0 0 0 2006568 493 0 0 20 0 28 0 147650866 27175628800 279283 33554432000 4194304 4196468 140723959257456 140723959240000 140116807032567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
/proc/23915/statm: 6634675 279283 3295 1 0 6621909 0
[pid=23915/tid=23916] ppid=23913 vsize=26538700 memory=1398720917958146503 CPUtime=0.9 cores=0-7
/proc/23915/task/23916/stat : 23916 (java) S 23913 23913 22335 0 -1 1077944384 6841 0 0 0 87 3 0 0 20 0 28 0 147650866 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116811273344 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23917] ppid=23913 vsize=26538700 memory=2200 CPUtime=3.9 cores=0-7
/proc/23915/task/23917/stat : 23917 (java) S 23913 23913 22335 0 -1 1077944384 15007 0 0 0 351 39 0 0 20 0 28 0 147650867 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116759653136 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23918] ppid=23913 vsize=26538700 memory=7792 CPUtime=3.96 cores=0-7
/proc/23915/task/23918/stat : 23918 (java) S 23913 23913 22335 0 -1 1077944384 11114 0 0 0 362 34 0 0 20 0 28 0 147650867 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116758600592 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23919] ppid=23913 vsize=26538700 memory=840 CPUtime=3.92 cores=0-7
/proc/23915/task/23919/stat : 23919 (java) S 23913 23913 22335 0 -1 1077944384 13247 0 0 0 354 38 0 0 20 0 28 0 147650867 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116757548048 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23920] ppid=23913 vsize=26538700 memory=-7003737579269690708 CPUtime=3.9 cores=0-7
/proc/23915/task/23920/stat : 23920 (java) S 23913 23913 22335 0 -1 1077944384 16047 0 0 0 355 35 0 0 20 0 28 0 147650867 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116756495504 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23921] ppid=23913 vsize=26538700 memory=4629771062077588875 CPUtime=3.93 cores=0-7
/proc/23915/task/23921/stat : 23921 (java) S 23913 23913 22335 0 -1 1077944384 13197 0 0 0 359 34 0 0 20 0 28 0 147650867 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116755441936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23922] ppid=23913 vsize=26538700 memory=-8961168018402230209 CPUtime=3.87 cores=0-7
/proc/23915/task/23922/stat : 23922 (java) S 23913 23913 22335 0 -1 1077944384 13432 0 0 0 353 34 0 0 20 0 28 0 147650867 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116754389392 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23923] ppid=23913 vsize=26538700 memory=-8253362762722141311 CPUtime=3.91 cores=0-7
/proc/23915/task/23923/stat : 23923 (java) S 23913 23913 22335 0 -1 1077944384 13665 0 0 0 355 36 0 0 20 0 28 0 147650867 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116753336848 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23924] ppid=23913 vsize=26538700 memory=7100839861465685612 CPUtime=3.92 cores=0-7
/proc/23915/task/23924/stat : 23924 (java) S 23913 23913 22335 0 -1 1077944384 13481 0 0 0 360 32 0 0 20 0 28 0 147650867 27175628800 279283 33554432000 4194304 4196468 140723959257456 140116752284304 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23925] ppid=23913 vsize=26538700 memory=-7175204567652784766 CPUtime=2 cores=0-7
/proc/23915/task/23925/stat : 23925 (java) S 23913 23913 22335 0 -1 1077944384 41185 0 0 0 138 62 0 0 20 0 28 0 147650869 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115079305712 140116807043714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23926] ppid=23913 vsize=26538700 memory=3054156605268465310 CPUtime=0 cores=0-7
/proc/23915/task/23926/stat : 23926 (java) S 23913 23913 22335 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 147650869 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115078251936 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23927] ppid=23913 vsize=26538700 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/23915/task/23927/stat : 23927 (java) S 23913 23913 22335 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 147650869 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115077199360 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23928] ppid=23913 vsize=26538700 memory=4713745541279610410 CPUtime=0 cores=0-7
/proc/23915/task/23928/stat : 23928 (java) S 23913 23913 22335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 147650872 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115076147920 140116807051163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23929] ppid=23913 vsize=26538700 memory=23060 CPUtime=1.92 cores=0-7
/proc/23915/task/23929/stat : 23929 (java) S 23913 23913 22335 0 -1 1077944384 9420 0 0 0 190 2 0 0 20 0 28 0 147650872 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115075094512 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23930] ppid=23913 vsize=26538700 memory=4044 CPUtime=2.04 cores=0-7
/proc/23915/task/23930/stat : 23930 (java) S 23913 23913 22335 0 -1 1077944384 8960 0 0 0 201 3 0 0 20 0 28 0 147650872 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115074041968 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23931] ppid=23913 vsize=26538700 memory=1792 CPUtime=1.98 cores=0-7
/proc/23915/task/23931/stat : 23931 (java) S 23913 23913 22335 0 -1 1077944384 9993 0 0 0 196 2 0 0 20 0 28 0 147650872 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115072989424 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23932] ppid=23913 vsize=26538700 memory=636 CPUtime=0.82 cores=0-7
/proc/23915/task/23932/stat : 23932 (java) S 23913 23913 22335 0 -1 1077944384 9549 0 0 0 80 2 0 0 20 0 28 0 147650872 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115071936880 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23933] ppid=23913 vsize=26538700 memory=956 CPUtime=0 cores=0-7
/proc/23915/task/23933/stat : 23933 (java) S 23913 23913 22335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 147650872 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115070884576 140116807042773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23934] ppid=23913 vsize=26538700 memory=2424 CPUtime=0.53 cores=0-7
/proc/23915/task/23934/stat : 23934 (java) S 23913 23913 22335 0 -1 1077944384 2473 0 0 0 0 53 0 0 20 0 28 0 147650872 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115069832112 140116807043714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23935] ppid=23913 vsize=26538700 memory=1236 CPUtime=2504.87 cores=0-7
/proc/23915/task/23935/stat : 23935 (java) R 23913 23913 22335 0 -1 4202560 7114 0 0 0 250485 2 0 0 20 0 28 0 147650960 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115061820968 140116418952743 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23936] ppid=23913 vsize=26538700 memory=2240 CPUtime=2506.66 cores=0-7
/proc/23915/task/23936/stat : 23936 (java) R 23913 23913 22335 0 -1 4202560 6890 0 0 0 250662 4 0 0 20 0 28 0 147650960 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115060769192 140116419992522 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23937] ppid=23913 vsize=26538700 memory=4128 CPUtime=2499.08 cores=0-7
/proc/23915/task/23937/stat : 23937 (java) R 23913 23913 22335 0 -1 4202560 33581 0 0 0 249896 12 0 0 20 0 28 0 147650960 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115059715616 140116419930972 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23938] ppid=23913 vsize=26538700 memory=1572 CPUtime=2500.22 cores=0-7
/proc/23915/task/23938/stat : 23938 (java) R 23913 23913 22335 0 -1 4202560 46541 0 0 0 250000 22 0 0 20 0 28 0 147650960 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115058663176 140116419929141 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23939] ppid=23913 vsize=26538700 memory=932 CPUtime=2505.15 cores=0-7
/proc/23915/task/23939/stat : 23939 (java) R 23913 23913 22335 0 -1 4202560 15123 0 0 0 250505 10 0 0 20 0 28 0 147650960 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115057610904 140116418953047 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23940] ppid=23913 vsize=26538700 memory=2200 CPUtime=2504.66 cores=0-7
/proc/23915/task/23940/stat : 23940 (java) R 23913 23913 22335 0 -1 4202560 4880 0 0 0 250461 5 0 0 20 0 28 0 147650960 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115056558264 140116419928903 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23941] ppid=23913 vsize=26538700 memory=6791534058613427641 CPUtime=2507.74 cores=0-7
/proc/23915/task/23941/stat : 23941 (java) R 23913 23913 22335 0 -1 4202560 5184 0 0 0 250770 4 0 0 20 0 28 0 147650960 27175628800 279283 33554432000 4194304 4196468 140723959257456 140115055505688 140116419129182 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
[pid=23915/tid=23942] ppid=23913 vsize=26538700 memory=1952 CPUtime=2500.51 cores=0-7
/proc/23915/task/23942/stat : 23942 (java) R 23913 23913 22335 0 -1 4202560 310842 0 0 0 249966 85 0 0 20 0 28 0 147650960 27175628800 279283 33554432000 4194304 4196468 140723959257456 140113912781536 140116418981296 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25415680 140723959260306 140723959260483 140723959260483 140723959263183 0
Current children cumulated CPU time: 20070.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1118516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 23913 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001917 s
[startup+2520.11 s]
# the end of solver process 23915 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20066.4 s, system=4.9416 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.11
CPU time (s): 20071.4
CPU user time (s): 20066.4
CPU system time (s): 4.9416
CPU usage (%): 796.448
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1438656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20066.4
system time used= 4.9416
maximum resident set size= 1449936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166384
involuntary context switches= 205798
# summary of solver processes directly reported to runsolver:
# pid: 23913,23915
# total CPU time (s): 20071.4
# total CPU user time (s): 20066.4
# total CPU system time (s): 4.9416
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4843 second user time and 27.6874 second system time
The end
Begin job on node107 at 2017-08-19 14:12:49 IDJOB=4280686 IDBENCH=128084 IDSOLVER=2675 FILE ID=node107/4280686-1503145629 RUNJOBID= node107-1503136251-22362 PBS_JOBID= 20630792 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-04-72.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-4280686-1503145629/watcher-4280686-1503145629 -o /tmp/evaluation-result-4280686-1503145629/solver-4280686-1503145629 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503136251-22362 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1722512839 HOME/instance-4280686-1503145629.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487 RANDOM SEED=1722512839 node107.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.84 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.84 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.84 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.84 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: 27060156 kB MemAvailable: 31976316 kB Buffers: 264800 kB Cached: 4945160 kB SwapCached: 0 kB Active: 829804 kB Inactive: 4433264 kB Active(anon): 56084 kB Inactive(anon): 33132 kB Active(file): 773720 kB Inactive(file): 4400132 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8084 kB Writeback: 0 kB AnonPages: 68408 kB Mapped: 50968 kB Shmem: 33420 kB Slab: 142520 kB SReclaimable: 116288 kB SUnreclaim: 26232 kB KernelStack: 3536 kB PageTables: 4792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333316 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61860 MiB End job on node107 at 2017-08-19 14:54:50