Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | ? (TO) | 20040.8 | 2520.12 |
Name | SuperSolutions/SuperSolutions-Taillard-js20/ SuperTaillard-js-20-10.xml |
MD5SUM | 2e1a96a215dbee196ad45178247d22f3 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 12940 |
Number of domains | 96 |
Minimum domain size | 1518 |
Maximum domain size | 1616 |
Distribution of domain sizes | [{"size":1518,"count":10},{"size":1519,"count":4},{"size":1520,"count":16},{"size":1521,"count":2},{"size":1522,"count":6},{"size":1523,"count":8},{"size":1524,"count":6},{"size":1525,"count":6},{"size":1526,"count":6},{"size":1527,"count":16},{"size":1528,"count":6},{"size":1529,"count":6},{"size":1530,"count":8},{"size":1531,"count":24},{"size":1532,"count":6},{"size":1533,"count":8},{"size":1535,"count":8},{"size":1536,"count":14},{"size":1537,"count":6},{"size":1538,"count":8},{"size":1539,"count":6},{"size":1540,"count":8},{"size":1541,"count":10},{"size":1542,"count":8},{"size":1543,"count":10},"...",{"size":1591,"count":14}, {"size":1592,"count":4}, {"size":1593,"count":8}, {"size":1594,"count":4}, {"size":1595,"count":6}, {"size":1596,"count":8}, {"size":1597,"count":10}, {"size":1598,"count":8}, {"size":1599,"count":10}, {"size":1600,"count":14}, {"size":1601,"count":10}, {"size":1602,"count":14}, {"size":1603,"count":2}, {"size":1604,"count":10}, {"size":1605,"count":10}, {"size":1606,"count":10}, {"size":1607,"count":2}, {"size":1608,"count":16}, {"size":1609,"count":8}, {"size":1610,"count":8}, {"size":1612,"count":8}, {"size":1613,"count":8}, {"size":1614,"count":14}, {"size":1615,"count":10}, {"size":1616,"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-4404514-1569008097.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404514-1569008097.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 25.09/8.69 c solve instance... 20040.20/2520.06 s UNKNOWN 20040.20/2520.06 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 (13501 MiB free) memory of node 1: 16384 MiB (10182 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404514-1569008097/watcher-4404514-1569008097 -o /var/tmp/evaluation-result-4404514-1569008097/solver-4404514-1569008097 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569001704-15737 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1878569573 HOME/instance-4404514-1569008097.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=16375, runsolver pid=16372 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 7.85 8.05 8.15 2/211 16396 /proc/meminfo: memFree=24235708/32770624 swapFree=66952720/67108860 [pid=16375] ppid=16372 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16375/stat : 16375 (xcsp3-exec) S 16372 16375 15710 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477065261 115843072 362 33554432000 4194304 5098028 140737030374256 140737030372360 139638456578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10145792 140737030378321 140737030378581 140737030378581 140737030381510 0 /proc/16375/statm: 28282 362 304 221 0 87 0 [pid=16377] ppid=16375 vsize=28227396 memory=29704 CPUtime=0.12 cores=0-7 /proc/16377/stat : 16377 (java) S 16375 16375 15710 0 -1 1077944320 5896 0 0 0 11 1 0 0 20 0 20 0 477065262 28904853504 7426 33554432000 4194304 4196468 140721283593216 140721283575760 140356155830007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 /proc/16377/statm: 7056849 7426 3121 1 0 7019032 0 [pid=16377/tid=16378] ppid=16375 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/16377/task/16378/stat : 16378 (java) R 16375 16375 15710 0 -1 4202560 3813 0 0 0 8 1 0 0 20 0 20 0 477065262 28904853504 7426 33554432000 4194304 4196468 140721283593216 140356160056608 140356137225213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16379] ppid=16375 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16377/task/16379/stat : 16379 (java) S 16375 16375 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 7426 33554432000 4194304 4196468 140721283593216 140356112382992 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16380] ppid=16375 vsize=28227396 memory=139815153567360 CPUtime=0 cores=0-7 /proc/16377/task/16380/stat : 16380 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 7426 33554432000 4194304 4196468 140721283593216 140356111330448 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16381] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16381/stat : 16381 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 7426 33554432000 4194304 4196468 140721283593216 140356110277392 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16382] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16382/stat : 16382 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355704052624 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16383] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16383/stat : 16383 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355702999568 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16384] ppid=16375 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16377/task/16384/stat : 16384 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355701947024 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16385] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16385/stat : 16385 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355700893968 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16386] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16386/stat : 16386 (java) S 16375 16375 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355699841424 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16387] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16387/stat : 16387 (java) S 16375 16375 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477065264 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355406416624 140356155841154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16388] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16388/stat : 16388 (java) S 16375 16375 15710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477065265 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355405362848 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16389] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16389/stat : 16389 (java) S 16375 16375 15710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477065265 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355404309744 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16390] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16390/stat : 16390 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065267 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355403258320 140356155848603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16391] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16391/stat : 16391 (java) S 16375 16375 15710 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 477065267 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355402205424 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16392] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16392/stat : 16392 (java) S 16375 16375 15710 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 477065267 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355401152880 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16393] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16393/stat : 16393 (java) S 16375 16375 15710 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 477065267 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355400099824 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16394] ppid=16375 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/16377/task/16394/stat : 16394 (java) R 16375 16375 15710 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 477065267 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355399047280 140356155851354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16395] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16395/stat : 16395 (java) S 16375 16375 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477065268 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355397995488 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16396] ppid=16375 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16377/task/16396/stat : 16396 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065268 28904853504 7426 33554432000 4194304 4196468 140721283593216 140355396943024 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31152 KiB [startup+0.210383 s]* /proc/loadavg: 7.85 8.05 8.15 3/211 16396 /proc/meminfo: memFree=24222804/32770624 swapFree=66952720/67108860 [pid=16375] ppid=16372 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16375/stat : 16375 (xcsp3-exec) S 16372 16375 15710 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477065261 115843072 362 33554432000 4194304 5098028 140737030374256 140737030372360 139638456578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10145792 140737030378321 140737030378581 140737030378581 140737030381510 0 /proc/16375/statm: 28282 362 304 221 0 87 0 [pid=16377] ppid=16375 vsize=28227396 memory=41084 CPUtime=0.33 cores=0-7 /proc/16377/stat : 16377 (java) S 16375 16375 15710 0 -1 1077944320 9521 0 0 0 31 2 0 0 20 0 20 0 477065262 28904853504 10271 33554432000 4194304 4196468 140721283593216 140721283575760 140356155830007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 /proc/16377/statm: 7056849 10271 3290 1 0 7019032 0 [pid=16377/tid=16378] ppid=16375 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16377/task/16378/stat : 16378 (java) R 16375 16375 15710 0 -1 4202560 6664 0 0 0 17 2 0 0 20 0 20 0 477065262 28904853504 10271 33554432000 4194304 4196468 140721283593216 140356160064704 140356141524848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16379] ppid=16375 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/16377/task/16379/stat : 16379 (java) S 16375 16375 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 10271 33554432000 4194304 4196468 140721283593216 140356112382992 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16380] ppid=16375 vsize=28227396 memory=139815155106626 CPUtime=0 cores=0-7 /proc/16377/task/16380/stat : 16380 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 10271 33554432000 4194304 4196468 140721283593216 140356111330448 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16381] ppid=16375 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16377/task/16381/stat : 16381 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 10271 33554432000 4194304 4196468 140721283593216 140356110277392 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16382] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16382/stat : 16382 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355704052624 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16383] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16383/stat : 16383 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355702999568 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16384] ppid=16375 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16377/task/16384/stat : 16384 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355701947024 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16385] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16385/stat : 16385 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355700893968 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16386] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16386/stat : 16386 (java) S 16375 16375 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477065263 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355699841424 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16387] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16387/stat : 16387 (java) S 16375 16375 15710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477065264 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355406416624 140356155841154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16388] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16388/stat : 16388 (java) S 16375 16375 15710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477065265 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355405362848 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16389] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16389/stat : 16389 (java) S 16375 16375 15710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477065265 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355404309744 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16390] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16390/stat : 16390 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065267 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355403258320 140356155848603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16391] ppid=16375 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16377/task/16391/stat : 16391 (java) S 16375 16375 15710 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 477065267 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355402205424 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16392] ppid=16375 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/16377/task/16392/stat : 16392 (java) S 16375 16375 15710 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 477065267 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355401152880 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16393] ppid=16375 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/16377/task/16393/stat : 16393 (java) S 16375 16375 15710 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 20 0 477065267 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355400099824 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16394] ppid=16375 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/16377/task/16394/stat : 16394 (java) R 16375 16375 15710 0 -1 4202560 744 0 0 0 7 0 0 0 20 0 20 0 477065267 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355399047280 140356135189920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16395] ppid=16375 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16395/stat : 16395 (java) S 16375 16375 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477065268 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355397995488 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16396] ppid=16375 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/16377/task/16396/stat : 16396 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065268 28904853504 10271 33554432000 4194304 4196468 140721283593216 140355396943024 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42532 KiB [startup+0.310174 s]* /proc/loadavg: 7.85 8.05 8.15 3/211 16396 /proc/meminfo: memFree=24215284/32770624 swapFree=66952720/67108860 [pid=16375] ppid=16372 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16375/stat : 16375 (xcsp3-exec) S 16372 16375 15710 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477065261 115843072 362 33554432000 4194304 5098028 140737030374256 140737030372360 139638456578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10145792 140737030378321 140737030378581 140737030378581 140737030381510 0 /proc/16375/statm: 28282 362 304 221 0 87 0 [pid=16377] ppid=16375 vsize=28231652 memory=49864 CPUtime=0.52 cores=0-7 /proc/16377/stat : 16377 (java) S 16375 16375 15710 0 -1 1077944320 10815 0 0 0 48 4 0 0 20 0 20 0 477065262 28909211648 12466 33554432000 4194304 4196468 140721283593216 140721283575760 140356155830007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 /proc/16377/statm: 7057913 12466 3329 1 0 7019032 0 [pid=16377/tid=16378] ppid=16375 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/16377/task/16378/stat : 16378 (java) R 16375 16375 15710 0 -1 4202560 7769 0 0 0 26 3 0 0 20 0 20 0 477065262 28909211648 12466 33554432000 4194304 4196468 140721283593216 140356160061120 140356137415049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16379] ppid=16375 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16379/stat : 16379 (java) S 16375 16375 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477065263 28909211648 12466 33554432000 4194304 4196468 140721283593216 140356112382992 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16380] ppid=16375 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16380/stat : 16380 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28909211648 12466 33554432000 4194304 4196468 140721283593216 140356111330448 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16381] ppid=16375 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16381/stat : 16381 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28909211648 12466 33554432000 4194304 4196468 140721283593216 140356110277392 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16382] ppid=16375 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16382/stat : 16382 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355704052624 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16383] ppid=16375 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16383/stat : 16383 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355702999568 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16384] ppid=16375 vsize=28231652 memory=139815010003631 CPUtime=0 cores=0-7 /proc/16377/task/16384/stat : 16384 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355701947024 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16385] ppid=16375 vsize=28231652 memory=139815010005936 CPUtime=0 cores=0-7 /proc/16377/task/16385/stat : 16385 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355700893968 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16386] ppid=16375 vsize=28231652 memory=139815010008240 CPUtime=0 cores=0-7 /proc/16377/task/16386/stat : 16386 (java) S 16375 16375 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477065263 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355699841424 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16387] ppid=16375 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16387/stat : 16387 (java) S 16375 16375 15710 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477065264 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355406416624 140356155841154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16388] ppid=16375 vsize=28231652 memory=279630020030352 CPUtime=0 cores=0-7 /proc/16377/task/16388/stat : 16388 (java) S 16375 16375 15710 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477065265 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355405362848 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16389] ppid=16375 vsize=28231652 memory=279630020028048 CPUtime=0 cores=0-7 /proc/16377/task/16389/stat : 16389 (java) S 16375 16375 15710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477065265 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355404309744 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16390] ppid=16375 vsize=28231652 memory=279630020034960 CPUtime=0 cores=0-7 /proc/16377/task/16390/stat : 16390 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065267 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355403258320 140356155848603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16391] ppid=16375 vsize=28231652 memory=279630019976240 CPUtime=0.03 cores=0-7 /proc/16377/task/16391/stat : 16391 (java) R 16375 16375 15710 0 -1 4202560 474 0 0 0 3 0 0 0 20 0 20 0 477065267 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355402205424 140356133481872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16392] ppid=16375 vsize=28231652 memory=279630020048784 CPUtime=0.02 cores=0-7 /proc/16377/task/16392/stat : 16392 (java) S 16375 16375 15710 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 20 0 477065267 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355401152880 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16393] ppid=16375 vsize=28231652 memory=279630020055696 CPUtime=0.02 cores=0-7 /proc/16377/task/16393/stat : 16393 (java) S 16375 16375 15710 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 20 0 477065267 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355400099824 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16394] ppid=16375 vsize=28231652 memory=279630020053392 CPUtime=0.12 cores=0-7 /proc/16377/task/16394/stat : 16394 (java) S 16375 16375 15710 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 20 0 477065267 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355399047280 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16395] ppid=16375 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16395/stat : 16395 (java) S 16375 16375 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477065268 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355397995488 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16396] ppid=16375 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/16377/task/16396/stat : 16396 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065268 28909211648 12466 33554432000 4194304 4196468 140721283593216 140355396943024 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51312 KiB [startup+0.700943 s] /proc/loadavg: 7.85 8.05 8.15 4/211 16396 /proc/meminfo: memFree=24191976/32770624 swapFree=66952720/67108860 [pid=16375] ppid=16372 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16375/stat : 16375 (xcsp3-exec) S 16372 16375 15710 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477065261 115843072 362 33554432000 4194304 5098028 140737030374256 140737030372360 139638456578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10145792 140737030378321 140737030378581 140737030378581 140737030381510 0 /proc/16375/statm: 28282 362 304 221 0 87 0 [pid=16377] ppid=16375 vsize=28233776 memory=127180 CPUtime=2.06 cores=0-7 /proc/16377/stat : 16377 (java) S 16375 16375 15710 0 -1 1077944320 16341 0 0 0 199 7 0 0 20 0 20 0 477065262 28911386624 31795 33554432000 4194304 4196468 140721283593216 140721283575760 140356155830007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 /proc/16377/statm: 7058444 31795 3448 1 0 7019544 0 [pid=16377/tid=16378] ppid=16375 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/16377/task/16378/stat : 16378 (java) R 16375 16375 15710 0 -1 4202560 8443 0 0 0 63 4 0 0 20 0 20 0 477065262 28911386624 31795 33554432000 4194304 4196468 140721283593216 140356160066720 140355789947548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16379] ppid=16375 vsize=28233776 memory=139815010214768 CPUtime=0 cores=0-7 /proc/16377/task/16379/stat : 16379 (java) S 16375 16375 15710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477065263 28911386624 31795 33554432000 4194304 4196468 140721283593216 140356112382992 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16380] ppid=16375 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/16377/task/16380/stat : 16380 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28911386624 31795 33554432000 4194304 4196468 140721283593216 140356111330448 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16381] ppid=16375 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/16377/task/16381/stat : 16381 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477065263 28911386624 31795 33554432000 4194304 4196468 140721283593216 140356110277392 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 ################ # More data... # ################ [pid=16377/tid=16405] ppid=16375 vsize=28768336 memory=1448 CPUtime=2416.28 cores=0-7 /proc/16377/task/16405/stat : 16405 (java) R 16375 16375 15710 0 -1 4202560 78991 0 0 0 241565 63 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355380355328 140355793487856 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 Current children cumulated CPU time: 19420.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5793304 KiB [startup+2502.3 s] /proc/loadavg: 8.63 8.31 8.26 10/221 16616 /proc/meminfo: memFree=18462008/32770624 swapFree=66952732/67108860 [pid=16375] ppid=16372 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16375/stat : 16375 (xcsp3-exec) S 16372 16375 15710 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477065261 115843072 362 33554432000 4194304 5098028 140737030374256 140737030372360 139638456578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10145792 140737030378321 140737030378581 140737030378581 140737030381510 0 /proc/16375/statm: 28282 362 304 221 0 87 0 [pid=16377] ppid=16375 vsize=28768336 memory=5791856 CPUtime=19898.9 cores=0-7 /proc/16377/stat : 16377 (java) S 16375 16375 15710 0 -1 1077944320 897259 0 0 0 1988027 1868 0 0 20 0 28 0 477065262 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140721283575760 140356155830007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 /proc/16377/statm: 7192084 1447964 3561 1 0 7153184 0 [pid=16377/tid=16378] ppid=16375 vsize=28768336 memory=5791856 CPUtime=7.54 cores=0-7 /proc/16377/task/16378/stat : 16378 (java) S 16375 16375 15710 0 -1 1077944384 14495 0 0 0 729 25 0 0 20 0 28 0 477065262 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140356160070784 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16379] ppid=16375 vsize=28768336 memory=5791856 CPUtime=13.79 cores=0-7 /proc/16377/task/16379/stat : 16379 (java) S 16375 16375 15710 0 -1 1077944384 20970 0 0 0 1223 156 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140356112382992 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16380] ppid=16375 vsize=28768336 memory=1448 CPUtime=13.78 cores=0-7 /proc/16377/task/16380/stat : 16380 (java) S 16375 16375 15710 0 -1 1077944384 12854 0 0 0 1225 153 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140356111330448 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16381] ppid=16375 vsize=28768336 memory=1370 CPUtime=13.79 cores=0-7 /proc/16377/task/16381/stat : 16381 (java) S 16375 16375 15710 0 -1 1077944384 15765 0 0 0 1226 153 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140356110277392 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16382] ppid=16375 vsize=28768336 memory=111632 CPUtime=13.8 cores=0-7 /proc/16377/task/16382/stat : 16382 (java) S 16375 16375 15710 0 -1 1077944384 21536 0 0 0 1223 157 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355704052624 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16383] ppid=16375 vsize=28768336 memory=5791856 CPUtime=13.7 cores=0-7 /proc/16377/task/16383/stat : 16383 (java) S 16375 16375 15710 0 -1 1077944384 21579 0 0 0 1219 151 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355702999568 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16384] ppid=16375 vsize=28768336 memory=5791856 CPUtime=13.71 cores=0-7 /proc/16377/task/16384/stat : 16384 (java) S 16375 16375 15710 0 -1 1077944384 23152 0 0 0 1220 151 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355701947024 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16385] ppid=16375 vsize=28768336 memory=1448 CPUtime=13.75 cores=0-7 /proc/16377/task/16385/stat : 16385 (java) S 16375 16375 15710 0 -1 1077944384 17953 0 0 0 1227 148 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355700893968 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16386] ppid=16375 vsize=28768336 memory=2016 CPUtime=13.79 cores=0-7 /proc/16377/task/16386/stat : 16386 (java) S 16375 16375 15710 0 -1 1077944384 22507 0 0 0 1221 158 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355699841424 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16387] ppid=16375 vsize=28768336 memory=1284 CPUtime=2.21 cores=0-7 /proc/16377/task/16387/stat : 16387 (java) S 16375 16375 15710 0 -1 1077944384 29471 0 0 0 212 9 0 0 20 0 28 0 477065264 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355406416624 140356155841154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16388] ppid=16375 vsize=28768336 memory=984 CPUtime=0 cores=0-7 /proc/16377/task/16388/stat : 16388 (java) S 16375 16375 15710 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 477065265 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355405362912 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16389] ppid=16375 vsize=28768336 memory=14012 CPUtime=0 cores=0-7 /proc/16377/task/16389/stat : 16389 (java) S 16375 16375 15710 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 28 0 477065265 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355404309760 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16390] ppid=16375 vsize=28768336 memory=279630020431024 CPUtime=0 cores=0-7 /proc/16377/task/16390/stat : 16390 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355403258320 140356155848603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16391] ppid=16375 vsize=28768336 memory=7230642899852552535 CPUtime=4.73 cores=0-7 /proc/16377/task/16391/stat : 16391 (java) S 16375 16375 15710 0 -1 1077944384 36856 0 0 0 467 6 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355402205424 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16392] ppid=16375 vsize=28768336 memory=279630019994720 CPUtime=4.43 cores=0-7 /proc/16377/task/16392/stat : 16392 (java) S 16375 16375 15710 0 -1 1077944384 33466 0 0 0 438 5 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355401152880 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16393] ppid=16375 vsize=28768336 memory=5931336806326883682 CPUtime=4.34 cores=0-7 /proc/16377/task/16393/stat : 16393 (java) S 16375 16375 15710 0 -1 1077944384 32385 0 0 0 430 4 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355400099824 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16394] ppid=16375 vsize=28768336 memory=3580 CPUtime=1.16 cores=0-7 /proc/16377/task/16394/stat : 16394 (java) S 16375 16375 15710 0 -1 1077944384 29204 0 0 0 109 7 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355399047280 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16395] ppid=16375 vsize=28768336 memory=40804 CPUtime=0 cores=0-7 /proc/16377/task/16395/stat : 16395 (java) S 16375 16375 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477065268 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355397995488 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16396] ppid=16375 vsize=28768336 memory=1448 CPUtime=1.1 cores=0-7 /proc/16377/task/16396/stat : 16396 (java) S 16375 16375 15710 0 -1 1077944384 4450 0 0 0 27 83 0 0 20 0 28 0 477065268 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355396943024 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16398] ppid=16375 vsize=28768336 memory=5791856 CPUtime=2464.16 cores=0-7 /proc/16377/task/16398/stat : 16398 (java) R 16375 16375 15710 0 -1 4202560 75741 0 0 0 246345 71 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355387722568 140355795615326 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16399] ppid=16375 vsize=28768336 memory=988 CPUtime=2464.98 cores=0-7 /proc/16377/task/16399/stat : 16399 (java) R 16375 16375 15710 0 -1 4202560 32266 0 0 0 246453 45 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355386671224 140355792610400 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16400] ppid=16375 vsize=28768336 memory=3580 CPUtime=2476.33 cores=0-7 /proc/16377/task/16400/stat : 16400 (java) R 16375 16375 15710 0 -1 4202560 41327 0 0 0 247536 97 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355385618248 140355794291036 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16401] ppid=16375 vsize=28768336 memory=40804 CPUtime=2476.69 cores=0-7 /proc/16377/task/16401/stat : 16401 (java) R 16375 16375 15710 0 -1 4202560 177265 0 0 0 247560 109 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355384565880 140355794101366 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16402] ppid=16375 vsize=28768336 memory=988 CPUtime=2476.84 cores=0-7 /proc/16377/task/16402/stat : 16402 (java) R 16375 16375 15710 0 -1 4202560 24331 0 0 0 247623 61 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355383512760 140355794101296 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16403] ppid=16375 vsize=28768336 memory=5791856 CPUtime=2461.91 cores=0-7 /proc/16377/task/16403/stat : 16403 (java) R 16375 16375 15710 0 -1 4202560 97702 0 0 0 246109 82 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355382460280 140355792610702 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16404] ppid=16375 vsize=28768336 memory=3580 CPUtime=2465.92 cores=0-7 /proc/16377/task/16404/stat : 16404 (java) R 16375 16375 15710 0 -1 4202560 31041 0 0 0 246547 45 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355381407824 140355793576970 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16405] ppid=16375 vsize=28768336 memory=1448 CPUtime=2476.26 cores=0-7 /proc/16377/task/16405/stat : 16405 (java) R 16375 16375 15710 0 -1 4202560 79443 0 0 0 247562 64 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355380355464 140355792526074 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 Current children cumulated CPU time: 19898.9 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5793304 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.71 8.34 8.27 9/220 16616 /proc/meminfo: memFree=18463164/32770624 swapFree=66952732/67108860 [pid=16375] ppid=16372 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/16375/stat : 16375 (xcsp3-exec) S 16372 16375 15710 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477065261 115843072 362 33554432000 4194304 5098028 140737030374256 140737030372360 139638456578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10145792 140737030378321 140737030378581 140737030378581 140737030381510 0 /proc/16375/statm: 28282 362 304 221 0 87 0 [pid=16377] ppid=16375 vsize=28768336 memory=5791856 CPUtime=20040.2 cores=0-7 /proc/16377/stat : 16377 (java) S 16375 16375 15710 0 -1 1077944320 901115 0 0 0 2002150 1870 0 0 20 0 28 0 477065262 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140721283575760 140356155830007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 /proc/16377/statm: 7192084 1447964 3561 1 0 7153184 0 [pid=16377/tid=16378] ppid=16375 vsize=28768336 memory=8317482817917895235 CPUtime=7.54 cores=0-7 /proc/16377/task/16378/stat : 16378 (java) S 16375 16375 15710 0 -1 1077944384 14495 0 0 0 729 25 0 0 20 0 28 0 477065262 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140356160070784 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16379] ppid=16375 vsize=28768336 memory=4872558044660077418 CPUtime=13.79 cores=0-7 /proc/16377/task/16379/stat : 16379 (java) S 16375 16375 15710 0 -1 1077944384 20970 0 0 0 1223 156 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140356112382992 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16380] ppid=16375 vsize=28768336 memory=1120 CPUtime=13.78 cores=0-7 /proc/16377/task/16380/stat : 16380 (java) S 16375 16375 15710 0 -1 1077944384 12854 0 0 0 1225 153 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140356111330448 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16381] ppid=16375 vsize=28768336 memory=776 CPUtime=13.79 cores=0-7 /proc/16377/task/16381/stat : 16381 (java) S 16375 16375 15710 0 -1 1077944384 15765 0 0 0 1226 153 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140356110277392 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16382] ppid=16375 vsize=28768336 memory=1448 CPUtime=13.8 cores=0-7 /proc/16377/task/16382/stat : 16382 (java) S 16375 16375 15710 0 -1 1077944384 21536 0 0 0 1223 157 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355704052624 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16383] ppid=16375 vsize=28768336 memory=5791856 CPUtime=13.7 cores=0-7 /proc/16377/task/16383/stat : 16383 (java) S 16375 16375 15710 0 -1 1077944384 21579 0 0 0 1219 151 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355702999568 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16384] ppid=16375 vsize=28768336 memory=6791534058613427641 CPUtime=13.71 cores=0-7 /proc/16377/task/16384/stat : 16384 (java) S 16375 16375 15710 0 -1 1077944384 23152 0 0 0 1220 151 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355701947024 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16385] ppid=16375 vsize=28768336 memory=496 CPUtime=13.75 cores=0-7 /proc/16377/task/16385/stat : 16385 (java) S 16375 16375 15710 0 -1 1077944384 17953 0 0 0 1227 148 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355700893968 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16386] ppid=16375 vsize=28768336 memory=1560 CPUtime=13.79 cores=0-7 /proc/16377/task/16386/stat : 16386 (java) S 16375 16375 15710 0 -1 1077944384 22507 0 0 0 1221 158 0 0 20 0 28 0 477065263 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355699841424 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16387] ppid=16375 vsize=28768336 memory=928 CPUtime=2.21 cores=0-7 /proc/16377/task/16387/stat : 16387 (java) S 16375 16375 15710 0 -1 1077944384 29479 0 0 0 212 9 0 0 20 0 28 0 477065264 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355406416624 140356155841154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16388] ppid=16375 vsize=28768336 memory=1680 CPUtime=0 cores=0-7 /proc/16377/task/16388/stat : 16388 (java) S 16375 16375 15710 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 477065265 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355405362912 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16389] ppid=16375 vsize=28768336 memory=1444 CPUtime=0 cores=0-7 /proc/16377/task/16389/stat : 16389 (java) S 16375 16375 15710 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 28 0 477065265 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355404309760 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16390] ppid=16375 vsize=28768336 memory=880 CPUtime=0 cores=0-7 /proc/16377/task/16390/stat : 16390 (java) S 16375 16375 15710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355403258320 140356155848603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16391] ppid=16375 vsize=28768336 memory=1984 CPUtime=4.73 cores=0-7 /proc/16377/task/16391/stat : 16391 (java) S 16375 16375 15710 0 -1 1077944384 36859 0 0 0 467 6 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355402205424 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16392] ppid=16375 vsize=28768336 memory=2552 CPUtime=4.43 cores=0-7 /proc/16377/task/16392/stat : 16392 (java) S 16375 16375 15710 0 -1 1077944384 33992 0 0 0 438 5 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355401152880 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16393] ppid=16375 vsize=28768336 memory=1760 CPUtime=4.36 cores=0-7 /proc/16377/task/16393/stat : 16393 (java) S 16375 16375 15710 0 -1 1077944384 32790 0 0 0 432 4 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355400099824 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16394] ppid=16375 vsize=28768336 memory=111632 CPUtime=1.16 cores=0-7 /proc/16377/task/16394/stat : 16394 (java) S 16375 16375 15710 0 -1 1077944384 29219 0 0 0 109 7 0 0 20 0 28 0 477065267 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355399047280 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16395] ppid=16375 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/16377/task/16395/stat : 16395 (java) S 16375 16375 15710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477065268 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355397995488 140356155840213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16396] ppid=16375 vsize=28768336 memory=288230596050944315 CPUtime=1.1 cores=0-7 /proc/16377/task/16396/stat : 16396 (java) S 16375 16375 15710 0 -1 1077944384 4486 0 0 0 27 83 0 0 20 0 28 0 477065268 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355396943024 140356155841154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16398] ppid=16375 vsize=28768336 memory=14981065810905736 CPUtime=2481.49 cores=0-7 /proc/16377/task/16398/stat : 16398 (java) R 16375 16375 15710 0 -1 4202560 76240 0 0 0 248078 71 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355387722568 140355792610516 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16399] ppid=16375 vsize=28768336 memory=8836 CPUtime=2482.68 cores=0-7 /proc/16377/task/16399/stat : 16399 (java) R 16375 16375 15710 0 -1 4202560 32513 0 0 0 248223 45 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355386671224 140355795615277 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16400] ppid=16375 vsize=28768336 memory=11044 CPUtime=2494.03 cores=0-7 /proc/16377/task/16400/stat : 16400 (java) R 16375 16375 15710 0 -1 4202560 41762 0 0 0 249305 98 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355385619048 140355794660027 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16401] ppid=16375 vsize=28768336 memory=13252 CPUtime=2494.39 cores=0-7 /proc/16377/task/16401/stat : 16401 (java) R 16375 16375 15710 0 -1 4202560 177647 0 0 0 249330 109 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355384565880 140355792527030 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16402] ppid=16375 vsize=28768336 memory=1044 CPUtime=2494.54 cores=0-7 /proc/16377/task/16402/stat : 16402 (java) R 16375 16375 15710 0 -1 4202560 24610 0 0 0 249392 62 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355383512760 140355794291025 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16403] ppid=16375 vsize=28768336 memory=708 CPUtime=2479.6 cores=0-7 /proc/16377/task/16403/stat : 16403 (java) R 16375 16375 15710 0 -1 4202560 98173 0 0 0 247878 82 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355382460280 140355794101511 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16404] ppid=16375 vsize=28768336 memory=9364 CPUtime=2483.62 cores=0-7 /proc/16377/task/16404/stat : 16404 (java) R 16375 16375 15710 0 -1 4202560 31315 0 0 0 248317 45 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355381407824 140355795614991 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 [pid=16377/tid=16405] ppid=16375 vsize=28768336 memory=1120 CPUtime=2493.95 cores=0-7 /proc/16377/task/16405/stat : 16405 (java) R 16375 16375 15710 0 -1 4202560 79719 0 0 0 249331 64 0 0 20 0 28 0 477066151 29458776064 1447964 33554432000 4194304 4196468 140721283593216 140355380355464 140355794101557 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 29466624 140721283597270 140721283597446 140721283597446 140721283600335 0 Current children cumulated CPU time: 20040.2 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5793304 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 16375 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002488 s, system=0 s [startup+2520.12 s] # the end of solver process 16377 was just reported to runsolver # cumulated CPU time of all completed processes: user=20022.1 s, system=18.7424 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.12 CPU time (s): 20040.8 CPU user time (s): 20022.1 CPU system time (s): 18.7424 CPU usage (%): 795.233 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 6746884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20022.1 system time used= 18.7424 maximum resident set size= 6745436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 902330 page faults= 0 swaps= 0 block input operations= 8 block output operations= 2656 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 67341 involuntary context switches= 198706 # summary of solver processes directly reported to runsolver: # pid: 16375,16377 # total CPU time (s): 20040.8 # total CPU user time (s): 20022.1 # total CPU system time (s): 18.7424 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 18.2646 second user time and 33.7805 second system time The end
Begin job on node107 at 2019-09-20 20:32:56 IDJOB=4404514 IDBENCH=138655 IDSOLVER=2865 FILE ID=node107/4404514-1569008097 RUNJOBID= node107-1569001704-15737 PBS_JOBID= 21704757 Free space on /var/tmp= 12564 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-10.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 /var/tmp/evaluation-result-4404514-1569008097/watcher-4404514-1569008097 -o /var/tmp/evaluation-result-4404514-1569008097/solver-4404514-1569008097 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569001704-15737 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1878569573 HOME/instance-4404514-1569008097.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2e1a96a215dbee196ad45178247d22f3 RANDOM SEED=1878569573 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 : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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: 24252268 kB MemAvailable: 31810660 kB Buffers: 64616 kB Cached: 7549052 kB SwapCached: 48652 kB Active: 3761596 kB Inactive: 3902824 kB Active(anon): 4680 kB Inactive(anon): 89180 kB Active(file): 3756916 kB Inactive(file): 3813644 kB Unevictable: 110992 kB Mlocked: 110992 kB SwapTotal: 67108860 kB SwapFree: 66952720 kB Dirty: 26568 kB Writeback: 0 kB AnonPages: 113400 kB Mapped: 48924 kB Shmem: 35012 kB Slab: 444472 kB SReclaimable: 416292 kB SUnreclaim: 28180 kB KernelStack: 3360 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497208 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: 101760 kB DirectMap2M: 33443840 kB Free space on /var/tmp at the end= 12536 MiB End job on node107 at 2019-09-20 21:14:56