Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | ? (TO) | 20047 | 2520.14 |
Name | SuperSolutions/SuperSolutions-Taillard-js20/ SuperTaillard-js-20-20.xml |
MD5SUM | bd4660d9f641dd45473fddd00af9a0d0 |
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 | 1437.98 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 12940 |
Number of domains | 96 |
Minimum domain size | 1599 |
Maximum domain size | 1697 |
Distribution of domain sizes | [{"size":1599,"count":10},{"size":1600,"count":4},{"size":1601,"count":16},{"size":1602,"count":2},{"size":1603,"count":6},{"size":1604,"count":8},{"size":1605,"count":6},{"size":1606,"count":6},{"size":1607,"count":6},{"size":1608,"count":16},{"size":1609,"count":6},{"size":1610,"count":6},{"size":1611,"count":8},{"size":1612,"count":24},{"size":1613,"count":6},{"size":1614,"count":8},{"size":1616,"count":8},{"size":1617,"count":14},{"size":1618,"count":6},{"size":1619,"count":8},{"size":1620,"count":6},{"size":1621,"count":8},{"size":1622,"count":10},{"size":1623,"count":8},{"size":1624,"count":10},"...",{"size":1672,"count":14}, {"size":1673,"count":4}, {"size":1674,"count":8}, {"size":1675,"count":4}, {"size":1676,"count":6}, {"size":1677,"count":8}, {"size":1678,"count":10}, {"size":1679,"count":8}, {"size":1680,"count":10}, {"size":1681,"count":14}, {"size":1682,"count":10}, {"size":1683,"count":14}, {"size":1684,"count":2}, {"size":1685,"count":10}, {"size":1686,"count":10}, {"size":1687,"count":10}, {"size":1688,"count":2}, {"size":1689,"count":16}, {"size":1690,"count":8}, {"size":1691,"count":8}, {"size":1693,"count":8}, {"size":1694,"count":8}, {"size":1695,"count":14}, {"size":1696,"count":10}, {"size":1697,"count":8}] |
Minimum variable degree | 21 |
Maximum variable degree | 43 |
Distribution of variable degrees | [{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12940}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12940 |
Distribution of constraint types | [{"type":"intension","count":12940}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399719-1568714301.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399719-1568714301.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 24.21/8.14 c solve instance... 20046.33/2520.07 s UNKNOWN 20046.33/2520.07 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14783 MiB free) memory of node 1: 16384 MiB (15195 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399719-1568714301/watcher-4399719-1568714301 -o /tmp/evaluation-result-4399719-1568714301/solver-4399719-1568714301 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568711571-15048 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2108393931 HOME/instance-4399719-1568714301.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15633, runsolver pid=15630 Current StackSize limit: 8192 KiB [startup+0.100142 s]* /proc/loadavg: 7.45 8.05 8.22 2/211 15654 /proc/meminfo: memFree=30684628/32770624 swapFree=67002064/67108860 [pid=15633] ppid=15630 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15633/stat : 15633 (xcsp3-exec) S 15630 15633 15021 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447344068 115843072 363 33554432000 4194304 5098028 140721634226496 140721634224600 139897987850876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13811712 140721634231157 140721634231401 140721634231401 140721634234314 0 /proc/15633/statm: 28282 363 304 221 0 87 0 [pid=15635] ppid=15633 vsize=28227396 memory=28724 CPUtime=0.12 cores=0-7 /proc/15635/stat : 15635 (java) S 15633 15633 15021 0 -1 1077944320 5627 0 0 0 11 1 0 0 20 0 20 0 447344068 28904853504 7181 33554432000 4194304 4196468 140730952448576 140730952431120 140450936016631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 /proc/15635/statm: 7056849 7181 3159 1 0 7019032 0 [pid=15635/tid=15636] ppid=15633 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/15635/task/15636/stat : 15636 (java) R 15633 15633 15021 0 -1 4202560 3578 0 0 0 8 0 0 0 20 0 20 0 447344069 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450940249696 140450936038557 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15637] ppid=15633 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/15635/task/15637/stat : 15637 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450888637200 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15638] ppid=15633 vsize=28227396 memory=140212840953472 CPUtime=0 cores=0-7 /proc/15635/task/15638/stat : 15638 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450887584656 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15639] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15639/stat : 15639 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450886532112 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15640] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15640/stat : 15640 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450885479568 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15641] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15641/stat : 15641 (java) S 15633 15633 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450884426000 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15642] ppid=15633 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15635/task/15642/stat : 15642 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450883373456 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15643] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15643/stat : 15643 (java) S 15633 15633 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450882320912 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15644] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15644/stat : 15644 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 7181 33554432000 4194304 4196468 140730952448576 140450881268368 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15645] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15645/stat : 15645 (java) S 15633 15633 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447344071 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449533749744 140450936027778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15646] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15646/stat : 15646 (java) S 15633 15633 15021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447344072 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449532695968 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15647] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15647/stat : 15647 (java) S 15633 15633 15021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447344072 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449531643376 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15648] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15648/stat : 15648 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344074 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449530591952 140450936035227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15649] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15649/stat : 15649 (java) S 15633 15633 15021 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 447344074 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449529538544 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15650] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15650/stat : 15650 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447344074 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449528486000 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15651] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15651/stat : 15651 (java) S 15633 15633 15021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447344074 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449527433456 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15652] ppid=15633 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15635/task/15652/stat : 15652 (java) R 15633 15633 15021 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 20 0 447344074 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449526380912 140450920097118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15653] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15653/stat : 15653 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447344074 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449525328608 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15654] ppid=15633 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15635/task/15654/stat : 15654 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344075 28904853504 7181 33554432000 4194304 4196468 140730952448576 140449457105840 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30176 KiB [startup+0.210562 s]* /proc/loadavg: 7.45 8.05 8.22 3/211 15654 /proc/meminfo: memFree=30671188/32770624 swapFree=67002064/67108860 [pid=15633] ppid=15630 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15633/stat : 15633 (xcsp3-exec) S 15630 15633 15021 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447344068 115843072 363 33554432000 4194304 5098028 140721634226496 140721634224600 139897987850876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13811712 140721634231157 140721634231401 140721634231401 140721634234314 0 /proc/15633/statm: 28282 363 304 221 0 87 0 [pid=15635] ppid=15633 vsize=28227396 memory=40768 CPUtime=0.33 cores=0-7 /proc/15635/stat : 15635 (java) S 15633 15633 15021 0 -1 1077944320 9386 0 0 0 30 3 0 0 20 0 20 0 447344068 28904853504 10192 33554432000 4194304 4196468 140730952448576 140730952431120 140450936016631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 /proc/15635/statm: 7056849 10192 3314 1 0 7019032 0 [pid=15635/tid=15636] ppid=15633 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/15635/task/15636/stat : 15636 (java) R 15633 15633 15021 0 -1 4202560 6598 0 0 0 18 2 0 0 20 0 20 0 447344069 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450940250144 140450920097118 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15637] ppid=15633 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/15635/task/15637/stat : 15637 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450888637200 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15638] ppid=15633 vsize=28227396 memory=140212840968776 CPUtime=0 cores=0-7 /proc/15635/task/15638/stat : 15638 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450887584656 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15639] ppid=15633 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15635/task/15639/stat : 15639 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450886532112 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15640] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15640/stat : 15640 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450885479568 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15641] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15641/stat : 15641 (java) S 15633 15633 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450884426000 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15642] ppid=15633 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15635/task/15642/stat : 15642 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450883373456 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15643] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15643/stat : 15643 (java) S 15633 15633 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450882320912 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15644] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15644/stat : 15644 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28904853504 10192 33554432000 4194304 4196468 140730952448576 140450881268368 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15645] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15645/stat : 15645 (java) S 15633 15633 15021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447344071 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449533749744 140450936027778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15646] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15646/stat : 15646 (java) S 15633 15633 15021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447344072 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449532695968 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15647] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15647/stat : 15647 (java) S 15633 15633 15021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447344072 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449531643376 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15648] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15648/stat : 15648 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344074 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449530591952 140450936035227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15649] ppid=15633 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/15635/task/15649/stat : 15649 (java) S 15633 15633 15021 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 20 0 447344074 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449529538544 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15650] ppid=15633 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/15635/task/15650/stat : 15650 (java) S 15633 15633 15021 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 447344074 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449528486000 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15651] ppid=15633 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15635/task/15651/stat : 15651 (java) S 15633 15633 15021 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 447344074 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449527433456 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15652] ppid=15633 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/15635/task/15652/stat : 15652 (java) R 15633 15633 15021 0 -1 4202560 803 0 0 0 8 0 0 0 20 0 20 0 447344074 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449526380912 140450915152602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15653] ppid=15633 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15653/stat : 15653 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447344074 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449525328608 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15654] ppid=15633 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15635/task/15654/stat : 15654 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344075 28904853504 10192 33554432000 4194304 4196468 140730952448576 140449457105840 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42220 KiB [startup+0.309791 s]* /proc/loadavg: 7.45 8.05 8.22 3/211 15654 /proc/meminfo: memFree=30663420/32770624 swapFree=67002064/67108860 [pid=15633] ppid=15630 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15633/stat : 15633 (xcsp3-exec) S 15630 15633 15021 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447344068 115843072 363 33554432000 4194304 5098028 140721634226496 140721634224600 139897987850876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13811712 140721634231157 140721634231401 140721634231401 140721634234314 0 /proc/15633/statm: 28282 363 304 221 0 87 0 [pid=15635] ppid=15633 vsize=28231652 memory=50120 CPUtime=0.52 cores=0-7 /proc/15635/stat : 15635 (java) S 15633 15633 15021 0 -1 1077944320 10881 0 0 0 48 4 0 0 20 0 20 0 447344068 28909211648 12530 33554432000 4194304 4196468 140730952448576 140730952431120 140450936016631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 /proc/15635/statm: 7057913 12530 3354 1 0 7019032 0 [pid=15635/tid=15636] ppid=15633 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/15635/task/15636/stat : 15636 (java) R 15633 15633 15021 0 -1 4202560 7732 0 0 0 27 3 0 0 20 0 20 0 447344069 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450940247744 140450920097118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15637] ppid=15633 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15637/stat : 15637 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450888637200 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15638] ppid=15633 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15638/stat : 15638 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447344070 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450887584656 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15639] ppid=15633 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15639/stat : 15639 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450886532112 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15640] ppid=15633 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15640/stat : 15640 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450885479568 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15641] ppid=15633 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15641/stat : 15641 (java) S 15633 15633 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447344070 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450884426000 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15642] ppid=15633 vsize=28231652 memory=140212697131695 CPUtime=0 cores=0-7 /proc/15635/task/15642/stat : 15642 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450883373456 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15643] ppid=15633 vsize=28231652 memory=140212697134000 CPUtime=0 cores=0-7 /proc/15635/task/15643/stat : 15643 (java) S 15633 15633 15021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447344070 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450882320912 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15644] ppid=15633 vsize=28231652 memory=140212697136304 CPUtime=0 cores=0-7 /proc/15635/task/15644/stat : 15644 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28909211648 12530 33554432000 4194304 4196468 140730952448576 140450881268368 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15645] ppid=15633 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15645/stat : 15645 (java) S 15633 15633 15021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447344071 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449533749744 140450936027778 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15646] ppid=15633 vsize=28231652 memory=280425394286480 CPUtime=0 cores=0-7 /proc/15635/task/15646/stat : 15646 (java) S 15633 15633 15021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447344072 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449532695968 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15647] ppid=15633 vsize=28231652 memory=280425394284176 CPUtime=0 cores=0-7 /proc/15635/task/15647/stat : 15647 (java) S 15633 15633 15021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447344072 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449531643376 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15648] ppid=15633 vsize=28231652 memory=280425394291088 CPUtime=0 cores=0-7 /proc/15635/task/15648/stat : 15648 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344074 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449530591952 140450936035227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15649] ppid=15633 vsize=28231652 memory=280425394232368 CPUtime=0.03 cores=0-7 /proc/15635/task/15649/stat : 15649 (java) R 15633 15633 15021 0 -1 4202560 674 0 0 0 3 0 0 0 20 0 20 0 447344074 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449529528928 140450921122697 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15650] ppid=15633 vsize=28231652 memory=280425394304912 CPUtime=0.03 cores=0-7 /proc/15635/task/15650/stat : 15650 (java) S 15633 15633 15021 0 -1 1077944384 126 0 0 0 3 0 0 0 20 0 20 0 447344074 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449528486000 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15651] ppid=15633 vsize=28231652 memory=280425394311824 CPUtime=0.01 cores=0-7 /proc/15635/task/15651/stat : 15651 (java) S 15633 15633 15021 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 447344074 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449527433456 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15652] ppid=15633 vsize=28231652 memory=280425394309520 CPUtime=0.12 cores=0-7 /proc/15635/task/15652/stat : 15652 (java) S 15633 15633 15021 0 -1 1077944384 995 0 0 0 12 0 0 0 20 0 20 0 447344074 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449526380912 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15653] ppid=15633 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15653/stat : 15653 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447344074 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449525328608 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15654] ppid=15633 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/15635/task/15654/stat : 15654 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344075 28909211648 12530 33554432000 4194304 4196468 140730952448576 140449457105840 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51572 KiB [startup+0.701069 s] /proc/loadavg: 7.45 8.05 8.22 5/211 15654 /proc/meminfo: memFree=30638724/32770624 swapFree=67002064/67108860 [pid=15633] ppid=15630 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15633/stat : 15633 (xcsp3-exec) S 15630 15633 15021 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447344068 115843072 363 33554432000 4194304 5098028 140721634226496 140721634224600 139897987850876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13811712 140721634231157 140721634231401 140721634231401 140721634234314 0 /proc/15633/statm: 28282 363 304 221 0 87 0 [pid=15635] ppid=15633 vsize=28233776 memory=126684 CPUtime=2.07 cores=0-7 /proc/15635/stat : 15635 (java) S 15633 15633 15021 0 -1 1077944320 17234 0 0 0 200 7 0 0 20 0 20 0 447344068 28911386624 31671 33554432000 4194304 4196468 140730952448576 140730952431120 140450936016631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 /proc/15635/statm: 7058444 31671 3447 1 0 7019544 0 [pid=15635/tid=15636] ppid=15633 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/15635/task/15636/stat : 15636 (java) R 15633 15633 15021 0 -1 4202560 8384 0 0 0 64 4 0 0 20 0 20 0 447344069 28911386624 31671 33554432000 4194304 4196468 140730952448576 140450940254848 140450547767236 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15637] ppid=15633 vsize=28233776 memory=140212697342832 CPUtime=0 cores=0-7 /proc/15635/task/15637/stat : 15637 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28911386624 31671 33554432000 4194304 4196468 140730952448576 140450888637200 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15638] ppid=15633 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/15635/task/15638/stat : 15638 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447344070 28911386624 31671 33554432000 4194304 4196468 140730952448576 140450887584656 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15639] ppid=15633 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/15635/task/15639/stat : 15639 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447344070 28911386624 31671 33554432000 4194304 4196468 140730952448576 140450886532112 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 ################ # More data... # ################ [pid=15635/tid=15664] ppid=15633 vsize=28768336 memory=6791534058613427641 CPUtime=2406.88 cores=0-7 /proc/15635/task/15664/stat : 15664 (java) R 15633 15633 15021 0 -1 4202560 210820 0 0 0 240615 73 0 0 20 0 28 0 447344905 29458776064 1648853 33554432000 4194304 4196468 140730952448576 140449440755928 140450559845930 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 Current children cumulated CPU time: 19426.5 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 6596864 KiB [startup+2502.3 s] /proc/loadavg: 8.68 8.34 8.30 9/219 15870 /proc/meminfo: memFree=24219800/32770624 swapFree=67002072/67108860 [pid=15633] ppid=15630 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15633/stat : 15633 (xcsp3-exec) S 15630 15633 15021 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447344068 115843072 363 33554432000 4194304 5098028 140721634226496 140721634224600 139897987850876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13811712 140721634231157 140721634231401 140721634231401 140721634234314 0 /proc/15633/statm: 28282 363 304 221 0 87 0 [pid=15635] ppid=15633 vsize=28768336 memory=6481508 CPUtime=19905.1 cores=0-7 /proc/15635/stat : 15635 (java) S 15633 15633 15021 0 -1 1077944320 2286264 0 0 0 1988435 2075 0 0 20 0 28 0 447344068 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140730952431120 140450936016631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 /proc/15635/statm: 7192084 1620377 3560 1 0 7153184 0 [pid=15635/tid=15636] ppid=15633 vsize=28768336 memory=6481508 CPUtime=7.07 cores=0-7 /proc/15635/task/15636/stat : 15636 (java) S 15633 15633 15021 0 -1 1077944384 12859 0 0 0 685 22 0 0 20 0 28 0 447344069 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450940257408 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15637] ppid=15633 vsize=28768336 memory=6481508 CPUtime=13.75 cores=0-7 /proc/15635/task/15637/stat : 15637 (java) S 15633 15633 15021 0 -1 1077944384 61458 0 0 0 1228 147 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450888637200 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15638] ppid=15633 vsize=28768336 memory=6481508 CPUtime=13.8 cores=0-7 /proc/15635/task/15638/stat : 15638 (java) S 15633 15633 15021 0 -1 1077944384 52719 0 0 0 1235 145 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450887584656 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15639] ppid=15633 vsize=28768336 memory=1452 CPUtime=13.66 cores=0-7 /proc/15635/task/15639/stat : 15639 (java) S 15633 15633 15021 0 -1 1077944384 56124 0 0 0 1230 136 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450886532112 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15640] ppid=15633 vsize=28768336 memory=1452 CPUtime=13.72 cores=0-7 /proc/15635/task/15640/stat : 15640 (java) S 15633 15633 15021 0 -1 1077944384 47638 0 0 0 1227 145 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450885479568 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15641] ppid=15633 vsize=28768336 memory=6536924 CPUtime=13.73 cores=0-7 /proc/15635/task/15641/stat : 15641 (java) S 15633 15633 15021 0 -1 1077944384 60141 0 0 0 1239 134 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450884426000 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15642] ppid=15633 vsize=28768336 memory=280425395676016 CPUtime=13.72 cores=0-7 /proc/15635/task/15642/stat : 15642 (java) S 15633 15633 15021 0 -1 1077944384 54321 0 0 0 1234 138 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450883373456 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15643] ppid=15633 vsize=28768336 memory=2110563304473556 CPUtime=13.75 cores=0-7 /proc/15635/task/15643/stat : 15643 (java) S 15633 15633 15021 0 -1 1077944384 52284 0 0 0 1241 134 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450882320912 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15644] ppid=15633 vsize=28768336 memory=808 CPUtime=13.79 cores=0-7 /proc/15635/task/15644/stat : 15644 (java) S 15633 15633 15021 0 -1 1077944384 59932 0 0 0 1230 149 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450881268368 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15645] ppid=15633 vsize=28768336 memory=1452 CPUtime=1.88 cores=0-7 /proc/15635/task/15645/stat : 15645 (java) S 15633 15633 15021 0 -1 1077944384 26175 0 0 0 175 13 0 0 20 0 28 0 447344071 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449533749744 140450936027778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15646] ppid=15633 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/15635/task/15646/stat : 15646 (java) S 15633 15633 15021 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 447344072 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449532696032 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15647] ppid=15633 vsize=28768336 memory=6536924 CPUtime=0 cores=0-7 /proc/15635/task/15647/stat : 15647 (java) S 15633 15633 15021 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 447344072 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449531643392 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15648] ppid=15633 vsize=28768336 memory=1096 CPUtime=0 cores=0-7 /proc/15635/task/15648/stat : 15648 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449530591952 140450936035227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15649] ppid=15633 vsize=28768336 memory=1452 CPUtime=4.17 cores=0-7 /proc/15635/task/15649/stat : 15649 (java) S 15633 15633 15021 0 -1 1077944384 28324 0 0 0 411 6 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449529538544 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15650] ppid=15633 vsize=28768336 memory=1452 CPUtime=4.24 cores=0-7 /proc/15635/task/15650/stat : 15650 (java) S 15633 15633 15021 0 -1 1077944384 25299 0 0 0 419 5 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449528486000 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15651] ppid=15633 vsize=28768336 memory=1452 CPUtime=4.44 cores=0-7 /proc/15635/task/15651/stat : 15651 (java) S 15633 15633 15021 0 -1 1077944384 33389 0 0 0 439 5 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449527433456 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15652] ppid=15633 vsize=28768336 memory=6536924 CPUtime=1.18 cores=0-7 /proc/15635/task/15652/stat : 15652 (java) S 15633 15633 15021 0 -1 1077944384 24060 0 0 0 114 4 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449526380912 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15653] ppid=15633 vsize=28768336 memory=164 CPUtime=0 cores=0-7 /proc/15635/task/15653/stat : 15653 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449525328608 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15654] ppid=15633 vsize=28768336 memory=7682475212697334586 CPUtime=1.2 cores=0-7 /proc/15635/task/15654/stat : 15654 (java) S 15633 15633 15021 0 -1 1077944384 4334 0 0 0 40 80 0 0 20 0 28 0 447344075 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449457105840 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15657] ppid=15633 vsize=28768336 memory=6536924 CPUtime=2469.88 cores=0-7 /proc/15635/task/15657/stat : 15657 (java) R 15633 15633 15021 0 -1 4202560 189012 0 0 0 246881 107 0 0 20 0 28 0 447344904 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449448126528 140450559886672 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15658] ppid=15633 vsize=28768336 memory=1452 CPUtime=2458.41 cores=0-7 /proc/15635/task/15658/stat : 15658 (java) R 15633 15633 15021 0 -1 4202560 124487 0 0 0 245744 97 0 0 20 0 28 0 447344904 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449447072200 140450559886580 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15659] ppid=15633 vsize=28768336 memory=3616 CPUtime=2476.42 cores=0-7 /proc/15635/task/15659/stat : 15659 (java) R 15633 15633 15021 0 -1 4202560 273696 0 0 0 247503 139 0 0 20 0 28 0 447344904 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449446018552 140450559084249 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15660] ppid=15633 vsize=28768336 memory=46000 CPUtime=2465.42 cores=0-7 /proc/15635/task/15660/stat : 15660 (java) R 15633 15633 15021 0 -1 4202560 272995 0 0 0 246363 179 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449444965856 140450554473557 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15661] ppid=15633 vsize=28768336 memory=1240 CPUtime=2478 cores=0-7 /proc/15635/task/15661/stat : 15661 (java) R 15633 15633 15021 0 -1 4202560 213677 0 0 0 247707 93 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449443913448 140450553716931 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15662] ppid=15633 vsize=28768336 memory=580 CPUtime=2478.08 cores=0-7 /proc/15635/task/15662/stat : 15662 (java) R 15633 15633 15021 0 -1 4202560 127281 0 0 0 247717 91 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449442861032 140450554062860 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15663] ppid=15633 vsize=28768336 memory=1452 CPUtime=2478.23 cores=0-7 /proc/15635/task/15663/stat : 15663 (java) R 15633 15633 15021 0 -1 4202560 272990 0 0 0 247719 104 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449441808648 140450554062531 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15664] ppid=15633 vsize=28768336 memory=6536924 CPUtime=2466.34 cores=0-7 /proc/15635/task/15664/stat : 15664 (java) R 15633 15633 15021 0 -1 4202560 211638 0 0 0 246560 74 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449440756104 140450559886601 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 Current children cumulated CPU time: 19905.1 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 6482960 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.70 8.37 8.31 9/219 15870 /proc/meminfo: memFree=24219400/32770624 swapFree=67002072/67108860 [pid=15633] ppid=15630 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15633/stat : 15633 (xcsp3-exec) S 15630 15633 15021 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447344068 115843072 363 33554432000 4194304 5098028 140721634226496 140721634224600 139897987850876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13811712 140721634231157 140721634231401 140721634231401 140721634234314 0 /proc/15633/statm: 28282 363 304 221 0 87 0 [pid=15635] ppid=15633 vsize=28768336 memory=6481508 CPUtime=20046.3 cores=0-7 /proc/15635/stat : 15635 (java) S 15633 15633 15021 0 -1 1077944320 2308247 0 0 0 2002535 2098 0 0 20 0 28 0 447344068 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140730952431120 140450936016631 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 /proc/15635/statm: 7192084 1620377 3560 1 0 7153184 0 [pid=15635/tid=15636] ppid=15633 vsize=28768336 memory=1398722017469774279 CPUtime=7.07 cores=0-7 /proc/15635/task/15636/stat : 15636 (java) S 15633 15633 15021 0 -1 1077944384 12859 0 0 0 685 22 0 0 20 0 28 0 447344069 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450940257408 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15637] ppid=15633 vsize=28768336 memory=532 CPUtime=13.75 cores=0-7 /proc/15635/task/15637/stat : 15637 (java) S 15633 15633 15021 0 -1 1077944384 61458 0 0 0 1228 147 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450888637200 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15638] ppid=15633 vsize=28768336 memory=1564 CPUtime=13.8 cores=0-7 /proc/15635/task/15638/stat : 15638 (java) S 15633 15633 15021 0 -1 1077944384 52719 0 0 0 1235 145 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450887584656 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15639] ppid=15633 vsize=28768336 memory=1452 CPUtime=13.66 cores=0-7 /proc/15635/task/15639/stat : 15639 (java) S 15633 15633 15021 0 -1 1077944384 56124 0 0 0 1230 136 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450886532112 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15640] ppid=15633 vsize=28768336 memory=4126316290023845779 CPUtime=13.72 cores=0-7 /proc/15635/task/15640/stat : 15640 (java) S 15633 15633 15021 0 -1 1077944384 47638 0 0 0 1227 145 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450885479568 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15641] ppid=15633 vsize=28768336 memory=288230596050944315 CPUtime=13.73 cores=0-7 /proc/15635/task/15641/stat : 15641 (java) S 15633 15633 15021 0 -1 1077944384 60141 0 0 0 1239 134 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450884426000 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15642] ppid=15633 vsize=28768336 memory=15816698942984824 CPUtime=13.72 cores=0-7 /proc/15635/task/15642/stat : 15642 (java) S 15633 15633 15021 0 -1 1077944384 54321 0 0 0 1234 138 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450883373456 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15643] ppid=15633 vsize=28768336 memory=0 CPUtime=13.75 cores=0-7 /proc/15635/task/15643/stat : 15643 (java) S 15633 15633 15021 0 -1 1077944384 52284 0 0 0 1241 134 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450882320912 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15644] ppid=15633 vsize=28768336 memory=0 CPUtime=13.79 cores=0-7 /proc/15635/task/15644/stat : 15644 (java) S 15633 15633 15021 0 -1 1077944384 59932 0 0 0 1230 149 0 0 20 0 28 0 447344070 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140450881268368 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15645] ppid=15633 vsize=28768336 memory=0 CPUtime=1.88 cores=0-7 /proc/15635/task/15645/stat : 15645 (java) S 15633 15633 15021 0 -1 1077944384 26261 0 0 0 175 13 0 0 20 0 28 0 447344071 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449533749744 140450936027778 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15646] ppid=15633 vsize=28768336 memory=417 CPUtime=0 cores=0-7 /proc/15635/task/15646/stat : 15646 (java) S 15633 15633 15021 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 447344072 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449532696032 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15647] ppid=15633 vsize=28768336 memory=424 CPUtime=0 cores=0-7 /proc/15635/task/15647/stat : 15647 (java) S 15633 15633 15021 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 28 0 447344072 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449531643392 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15648] ppid=15633 vsize=28768336 memory=444 CPUtime=0 cores=0-7 /proc/15635/task/15648/stat : 15648 (java) S 15633 15633 15021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449530591952 140450936035227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15649] ppid=15633 vsize=28768336 memory=1452 CPUtime=4.17 cores=0-7 /proc/15635/task/15649/stat : 15649 (java) S 15633 15633 15021 0 -1 1077944384 28328 0 0 0 411 6 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449529538544 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15650] ppid=15633 vsize=28768336 memory=6481508 CPUtime=4.24 cores=0-7 /proc/15635/task/15650/stat : 15650 (java) S 15633 15633 15021 0 -1 1077944384 25302 0 0 0 419 5 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449528486000 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15651] ppid=15633 vsize=28768336 memory=532 CPUtime=4.44 cores=0-7 /proc/15635/task/15651/stat : 15651 (java) S 15633 15633 15021 0 -1 1077944384 33392 0 0 0 439 5 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449527433456 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15652] ppid=15633 vsize=28768336 memory=1564 CPUtime=1.18 cores=0-7 /proc/15635/task/15652/stat : 15652 (java) S 15633 15633 15021 0 -1 1077944384 24069 0 0 0 114 4 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449526380912 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15653] ppid=15633 vsize=28768336 memory=928 CPUtime=0 cores=0-7 /proc/15635/task/15653/stat : 15653 (java) S 15633 15633 15021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447344074 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449525328608 140450936026837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15654] ppid=15633 vsize=28768336 memory=1240 CPUtime=1.21 cores=0-7 /proc/15635/task/15654/stat : 15654 (java) S 15633 15633 15021 0 -1 1077944384 4405 0 0 0 40 81 0 0 20 0 28 0 447344075 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449457105840 140450936027778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15657] ppid=15633 vsize=28768336 memory=580 CPUtime=2487.58 cores=0-7 /proc/15635/task/15657/stat : 15657 (java) R 15633 15633 15021 0 -1 4202560 192008 0 0 0 248648 110 0 0 20 0 28 0 447344904 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449448123624 140450550990624 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15658] ppid=15633 vsize=28768336 memory=1696 CPUtime=2476.12 cores=0-7 /proc/15635/task/15658/stat : 15658 (java) R 15633 15633 15021 0 -1 4202560 126687 0 0 0 247510 102 0 0 20 0 28 0 447344904 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449447072200 140450554064903 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15659] ppid=15633 vsize=28768336 memory=4000 CPUtime=2494 cores=0-7 /proc/15635/task/15659/stat : 15659 (java) R 15633 15633 15021 0 -1 4202560 276529 0 0 0 249257 143 0 0 20 0 28 0 447344904 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449446018680 140450559886291 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15660] ppid=15633 vsize=28768336 memory=6481508 CPUtime=2482.86 cores=0-7 /proc/15635/task/15660/stat : 15660 (java) R 15633 15633 15021 0 -1 4202560 275304 0 0 0 248105 181 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449444966240 140450554473552 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15661] ppid=15633 vsize=28768336 memory=1452 CPUtime=2495.7 cores=0-7 /proc/15635/task/15661/stat : 15661 (java) R 15633 15633 15021 0 -1 4202560 217145 0 0 0 249475 95 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449443913544 140450559760068 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15662] ppid=15633 vsize=28768336 memory=6481508 CPUtime=2495.77 cores=0-7 /proc/15635/task/15662/stat : 15662 (java) R 15633 15633 15021 0 -1 4202560 129758 0 0 0 249484 93 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449442861000 140450553716518 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15663] ppid=15633 vsize=28768336 memory=1452 CPUtime=2495.92 cores=0-7 /proc/15635/task/15663/stat : 15663 (java) R 15633 15633 15021 0 -1 4202560 276862 0 0 0 249485 107 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449441808328 140450554062934 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 [pid=15635/tid=15664] ppid=15633 vsize=28768336 memory=6481508 CPUtime=2484.05 cores=0-7 /proc/15635/task/15664/stat : 15664 (java) R 15633 15633 15021 0 -1 4202560 213290 0 0 0 248329 76 0 0 20 0 28 0 447344905 29458776064 1620377 33554432000 4194304 4196468 140730952448576 140449440756104 140450553717199 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 13312000 140730952455146 140730952455318 140730952455318 140730952458191 0 Current children cumulated CPU time: 20046.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 6482960 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 15633 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001176 s, system=0.001176 s [startup+2520.14 s] # the end of solver process 15635 was just reported to runsolver # cumulated CPU time of all completed processes: user=20026 s, system=21.0378 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.14 CPU time (s): 20047 CPU user time (s): 20026 CPU system time (s): 21.0378 CPU usage (%): 795.472 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 7001216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20026 system time used= 21.0378 maximum resident set size= 6999764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2310413 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 72849 involuntary context switches= 220275 # summary of solver processes directly reported to runsolver: # pid: 15633,15635 # total CPU time (s): 20047 # total CPU user time (s): 20026 # total CPU system time (s): 21.0378 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.2279 second user time and 32.4848 second system time The end
Begin job on node146 at 2019-09-17 11:57:40 IDJOB=4399719 IDBENCH=138647 IDSOLVER=2854 FILE ID=node146/4399719-1568714301 RUNJOBID= node146-1568711571-15048 PBS_JOBID= 21703934 Free space on /tmp= 59004 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-20.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399719-1568714301/watcher-4399719-1568714301 -o /tmp/evaluation-result-4399719-1568714301/solver-4399719-1568714301 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568711571-15048 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2108393931 HOME/instance-4399719-1568714301.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bd4660d9f641dd45473fddd00af9a0d0 RANDOM SEED=2108393931 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 30698188 kB MemAvailable: 31868128 kB Buffers: 237916 kB Cached: 1201536 kB SwapCached: 4344 kB Active: 727552 kB Inactive: 718876 kB Active(anon): 23128 kB Inactive(anon): 30432 kB Active(file): 704424 kB Inactive(file): 688444 kB Unevictable: 110876 kB Mlocked: 110876 kB SwapTotal: 67108860 kB SwapFree: 67002064 kB Dirty: 26544 kB Writeback: 0 kB AnonPages: 112936 kB Mapped: 47196 kB Shmem: 39104 kB Slab: 216196 kB SReclaimable: 185816 kB SUnreclaim: 30380 kB KernelStack: 3360 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507124 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 58976 MiB End job on node146 at 2019-09-17 12:39:40