Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | ? (TO) | 20044.1 | 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-4399714-1568714302.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399714-1568714302.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 24.26/8.23 c solve instance... 20043.45/2520.07 s UNKNOWN 20043.45/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 (10667 MiB free) memory of node 1: 16384 MiB (15477 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399714-1568714302/watcher-4399714-1568714302 -o /tmp/evaluation-result-4399714-1568714302/solver-4399714-1568714302 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568711300-29398 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1912508490 HOME/instance-4399714-1568714302.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=30758, runsolver pid=30755 Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 8.62 8.48 8.44 3/211 30779 /proc/meminfo: memFree=26757208/32770624 swapFree=66941552/67108860 [pid=30758] ppid=30755 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30758/stat : 30758 (xcsp3-exec) S 30755 30758 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447668850 115843072 364 33554432000 4194304 5098028 140723428923248 140723428921352 140309746741884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31825920 140723428930421 140723428930665 140723428930665 140723428933578 0 /proc/30758/statm: 28282 364 305 221 0 87 0 [pid=30760] ppid=30758 vsize=28227396 memory=28908 CPUtime=0.12 cores=0-7 /proc/30760/stat : 30760 (java) S 30758 30758 29371 0 -1 1077944320 5702 0 0 0 11 1 0 0 20 0 20 0 447668851 28904853504 7227 33554432000 4194304 4196468 140732600024240 140732600006784 139721665908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 /proc/30760/statm: 7056849 7227 3121 1 0 7019032 0 [pid=30760/tid=30761] ppid=30758 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/30760/task/30761/stat : 30761 (java) R 30758 30758 29371 0 -1 4202560 3624 0 0 0 8 0 0 0 20 0 20 0 447668851 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721670141744 139721649952101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30762] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30762/stat : 30762 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721618529424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30763] ppid=30758 vsize=28227396 memory=139859178399360 CPUtime=0 cores=0-7 /proc/30760/task/30763/stat : 30763 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721617476624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30764] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30764/stat : 30764 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721616423824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30765] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30765/stat : 30765 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721615371024 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30766] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30766/stat : 30766 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721614318224 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30767] ppid=30758 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30760/task/30767/stat : 30767 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721613265424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30768] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30768/stat : 30768 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721612212624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30769] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30769/stat : 30769 (java) S 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 7227 33554432000 4194304 4196468 140732600024240 139721611159824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30770] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30770/stat : 30770 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668853 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720915909488 139721665919618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30771] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30771/stat : 30771 (java) S 30758 30758 29371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447668854 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720914855456 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30772] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30772/stat : 30772 (java) S 30758 30758 29371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447668854 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720913802608 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30773] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30773/stat : 30773 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668856 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720912750928 139721665927067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30774] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30774/stat : 30774 (java) S 30758 30758 29371 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 447668856 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720911698288 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30775] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30775/stat : 30775 (java) R 30758 30758 29371 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 20 0 447668856 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720910645488 139721643900027 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30776] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30776/stat : 30776 (java) R 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447668856 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720909592688 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30777] ppid=30758 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30760/task/30777/stat : 30777 (java) R 30758 30758 29371 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 447668856 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720908539888 139721649988958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30778] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30778/stat : 30778 (java) S 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447668857 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720907488352 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30779] ppid=30758 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30760/task/30779/stat : 30779 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668857 28904853504 7227 33554432000 4194304 4196468 140732600024240 139720906435632 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30364 KiB [startup+0.212779 s]* /proc/loadavg: 8.62 8.48 8.44 3/211 30779 /proc/meminfo: memFree=26745760/32770624 swapFree=66941552/67108860 [pid=30758] ppid=30755 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30758/stat : 30758 (xcsp3-exec) S 30755 30758 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447668850 115843072 364 33554432000 4194304 5098028 140723428923248 140723428921352 140309746741884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31825920 140723428930421 140723428930665 140723428930665 140723428933578 0 /proc/30758/statm: 28282 364 305 221 0 87 0 [pid=30760] ppid=30758 vsize=28227396 memory=40564 CPUtime=0.34 cores=0-7 /proc/30760/stat : 30760 (java) S 30758 30758 29371 0 -1 1077944320 9508 0 0 0 31 3 0 0 20 0 20 0 447668851 28904853504 10141 33554432000 4194304 4196468 140732600024240 140732600006784 139721665908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 /proc/30760/statm: 7056849 10141 3244 1 0 7019032 0 [pid=30760/tid=30761] ppid=30758 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/30760/task/30761/stat : 30761 (java) R 30758 30758 29371 0 -1 4202560 6670 0 0 0 18 2 0 0 20 0 20 0 447668851 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721670141936 139721649988958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30762] ppid=30758 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/30760/task/30762/stat : 30762 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721618529424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30763] ppid=30758 vsize=28227396 memory=288370235330111104 CPUtime=0 cores=0-7 /proc/30760/task/30763/stat : 30763 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721617476624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30764] ppid=30758 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30760/task/30764/stat : 30764 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721616423824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30765] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30765/stat : 30765 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721615371024 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30766] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30766/stat : 30766 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721614318224 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30767] ppid=30758 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30760/task/30767/stat : 30767 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721613265424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30768] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30768/stat : 30768 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721612212624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30769] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30769/stat : 30769 (java) S 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447668852 28904853504 10141 33554432000 4194304 4196468 140732600024240 139721611159824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30770] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30770/stat : 30770 (java) S 30758 30758 29371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447668853 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720915909488 139721665919618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30771] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30771/stat : 30771 (java) S 30758 30758 29371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447668854 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720914855456 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30772] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30772/stat : 30772 (java) S 30758 30758 29371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447668854 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720913802608 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30773] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30773/stat : 30773 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668856 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720912750928 139721665927067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30774] ppid=30758 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30760/task/30774/stat : 30774 (java) S 30758 30758 29371 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 20 0 447668856 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720911698288 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30775] ppid=30758 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/30760/task/30775/stat : 30775 (java) S 30758 30758 29371 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 447668856 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720910645488 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30776] ppid=30758 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30760/task/30776/stat : 30776 (java) S 30758 30758 29371 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 447668856 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720909592688 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30777] ppid=30758 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30760/task/30777/stat : 30777 (java) S 30758 30758 29371 0 -1 1077944384 782 0 0 0 7 0 0 0 20 0 20 0 447668856 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720908539888 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30778] ppid=30758 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30778/stat : 30778 (java) S 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447668857 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720907488352 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30779] ppid=30758 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30760/task/30779/stat : 30779 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668857 28904853504 10141 33554432000 4194304 4196468 140732600024240 139720906435632 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42020 KiB [startup+0.310369 s]* /proc/loadavg: 8.62 8.48 8.44 3/211 30779 /proc/meminfo: memFree=26738252/32770624 swapFree=66941552/67108860 [pid=30758] ppid=30755 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30758/stat : 30758 (xcsp3-exec) S 30755 30758 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447668850 115843072 364 33554432000 4194304 5098028 140723428923248 140723428921352 140309746741884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31825920 140723428930421 140723428930665 140723428930665 140723428933578 0 /proc/30758/statm: 28282 364 305 221 0 87 0 [pid=30760] ppid=30758 vsize=28231652 memory=50140 CPUtime=0.52 cores=0-7 /proc/30760/stat : 30760 (java) S 30758 30758 29371 0 -1 1077944320 10939 0 0 0 48 4 0 0 20 0 20 0 447668851 28909211648 12535 33554432000 4194304 4196468 140732600024240 140732600006784 139721665908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 /proc/30760/statm: 7057913 12535 3302 1 0 7019032 0 [pid=30760/tid=30761] ppid=30758 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/30760/task/30761/stat : 30761 (java) R 30758 30758 29371 0 -1 4202560 7846 0 0 0 27 3 0 0 20 0 20 0 447668851 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721670139584 139721649988958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30762] ppid=30758 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30762/stat : 30762 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721618529424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30763] ppid=30758 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30763/stat : 30763 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721617476624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30764] ppid=30758 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30764/stat : 30764 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721616423824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30765] ppid=30758 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30765/stat : 30765 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721615371024 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30766] ppid=30758 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30760/task/30766/stat : 30766 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721614318224 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30767] ppid=30758 vsize=28231652 memory=139859033420719 CPUtime=0 cores=0-7 /proc/30760/task/30767/stat : 30767 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721613265424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30768] ppid=30758 vsize=28231652 memory=139859033423024 CPUtime=0 cores=0-7 /proc/30760/task/30768/stat : 30768 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721612212624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30769] ppid=30758 vsize=28231652 memory=139859033425328 CPUtime=0 cores=0-7 /proc/30760/task/30769/stat : 30769 (java) S 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447668852 28909211648 12535 33554432000 4194304 4196468 140732600024240 139721611159824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30770] ppid=30758 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30770/stat : 30770 (java) S 30758 30758 29371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447668853 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720915909488 139721665919618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30771] ppid=30758 vsize=28231652 memory=279718066857616 CPUtime=0 cores=0-7 /proc/30760/task/30771/stat : 30771 (java) S 30758 30758 29371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447668854 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720914855456 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30772] ppid=30758 vsize=28231652 memory=279718066864528 CPUtime=0 cores=0-7 /proc/30760/task/30772/stat : 30772 (java) S 30758 30758 29371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447668854 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720913802608 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30773] ppid=30758 vsize=28231652 memory=279718066805680 CPUtime=0 cores=0-7 /proc/30760/task/30773/stat : 30773 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668856 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720912750928 139721665927067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30774] ppid=30758 vsize=28231652 memory=279718066878352 CPUtime=0.03 cores=0-7 /proc/30760/task/30774/stat : 30774 (java) R 30758 30758 29371 0 -1 4202560 567 0 0 0 3 0 0 0 20 0 20 0 447668856 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720911698288 139721647430958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30775] ppid=30758 vsize=28231652 memory=279718066885264 CPUtime=0.02 cores=0-7 /proc/30760/task/30775/stat : 30775 (java) S 30758 30758 29371 0 -1 1077944384 191 0 0 0 2 0 0 0 20 0 20 0 447668856 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720910645488 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30776] ppid=30758 vsize=28231652 memory=279718066882960 CPUtime=0.03 cores=0-7 /proc/30760/task/30776/stat : 30776 (java) S 30758 30758 29371 0 -1 1077944384 114 0 0 0 3 0 0 0 20 0 20 0 447668856 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720909592688 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30777] ppid=30758 vsize=28231652 memory=279718066899120 CPUtime=0.12 cores=0-7 /proc/30760/task/30777/stat : 30777 (java) S 30758 30758 29371 0 -1 1077944384 908 0 0 0 12 0 0 0 20 0 20 0 447668856 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720908539888 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30778] ppid=30758 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30778/stat : 30778 (java) S 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447668857 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720907488352 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30779] ppid=30758 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30760/task/30779/stat : 30779 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668857 28909211648 12535 33554432000 4194304 4196468 140732600024240 139720906435632 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51596 KiB [startup+0.701014 s] /proc/loadavg: 8.62 8.48 8.44 3/211 30779 /proc/meminfo: memFree=26713564/32770624 swapFree=66941552/67108860 [pid=30758] ppid=30755 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30758/stat : 30758 (xcsp3-exec) S 30755 30758 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447668850 115843072 364 33554432000 4194304 5098028 140723428923248 140723428921352 140309746741884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31825920 140723428930421 140723428930665 140723428930665 140723428933578 0 /proc/30758/statm: 28282 364 305 221 0 87 0 [pid=30760] ppid=30758 vsize=28233776 memory=125604 CPUtime=2.08 cores=0-7 /proc/30760/stat : 30760 (java) S 30758 30758 29371 0 -1 1077944320 16430 0 0 0 202 6 0 0 20 0 20 0 447668851 28911386624 31401 33554432000 4194304 4196468 140732600024240 140732600006784 139721665908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 /proc/30760/statm: 7058444 31401 3450 1 0 7019544 0 [pid=30760/tid=30761] ppid=30758 vsize=28233776 memory=279718067257008 CPUtime=0.67 cores=0-7 /proc/30760/task/30761/stat : 30761 (java) R 30758 30758 29371 0 -1 4202560 8423 0 0 0 64 3 0 0 20 0 20 0 447668851 28911386624 31401 33554432000 4194304 4196468 140732600024240 139721670145872 139721275682021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30762] ppid=30758 vsize=28233776 memory=139859033629552 CPUtime=0 cores=0-7 /proc/30760/task/30762/stat : 30762 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28911386624 31401 33554432000 4194304 4196468 140732600024240 139721618529424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30763] ppid=30758 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30760/task/30763/stat : 30763 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447668852 28911386624 31401 33554432000 4194304 4196468 140732600024240 139721617476624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30764] ppid=30758 vsize=28233776 memory=6004 CPUtime=0 cores=0-7 /proc/30760/task/30764/stat : 30764 (java) S 30758 30758 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447668852 28911386624 31401 33554432000 4194304 4196468 140732600024240 139721616423824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 ################ # More data... # ################ [pid=30760/tid=30787] ppid=30758 vsize=28768336 memory=1428 CPUtime=2416.88 cores=0-7 /proc/30760/task/30787/stat : 30787 (java) R 30758 30758 29371 0 -1 4202560 102529 0 0 0 241621 67 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720890085896 139721281942677 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 Current children cumulated CPU time: 19423.6 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5811976 KiB [startup+2502.3 s] /proc/loadavg: 8.31 8.39 8.39 9/219 30999 /proc/meminfo: memFree=20967292/32770624 swapFree=66941552/67108860 [pid=30758] ppid=30755 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30758/stat : 30758 (xcsp3-exec) S 30755 30758 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447668850 115843072 364 33554432000 4194304 5098028 140723428923248 140723428921352 140309746741884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31825920 140723428930421 140723428930665 140723428930665 140723428933578 0 /proc/30758/statm: 28282 364 305 221 0 87 0 [pid=30760] ppid=30758 vsize=28768336 memory=5810520 CPUtime=19902.2 cores=0-7 /proc/30760/stat : 30760 (java) S 30758 30758 29371 0 -1 1077944320 985481 0 0 0 1988333 1885 0 0 20 0 28 0 447668851 29458776064 1452630 33554432000 4194304 4196468 140732600024240 140732600006784 139721665908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 /proc/30760/statm: 7192084 1452630 3561 1 0 7153184 0 [pid=30760/tid=30761] ppid=30758 vsize=28768336 memory=5810520 CPUtime=7.09 cores=0-7 /proc/30760/task/30761/stat : 30761 (java) S 30758 30758 29371 0 -1 1077944384 14645 0 0 0 686 23 0 0 20 0 28 0 447668851 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721670149248 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30762] ppid=30758 vsize=28768336 memory=5810520 CPUtime=13.83 cores=0-7 /proc/30760/task/30762/stat : 30762 (java) S 30758 30758 29371 0 -1 1077944384 19469 0 0 0 1228 155 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721618529424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30763] ppid=30758 vsize=28768336 memory=5810520 CPUtime=13.76 cores=0-7 /proc/30760/task/30763/stat : 30763 (java) S 30758 30758 29371 0 -1 1077944384 21332 0 0 0 1227 149 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721617476624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30764] ppid=30758 vsize=28768336 memory=5810520 CPUtime=13.71 cores=0-7 /proc/30760/task/30764/stat : 30764 (java) S 30758 30758 29371 0 -1 1077944384 19278 0 0 0 1225 146 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721616423824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30765] ppid=30758 vsize=28768336 memory=5810520 CPUtime=13.83 cores=0-7 /proc/30760/task/30765/stat : 30765 (java) S 30758 30758 29371 0 -1 1077944384 28681 0 0 0 1226 157 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721615371024 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30766] ppid=30758 vsize=28768336 memory=1456 CPUtime=13.72 cores=0-7 /proc/30760/task/30766/stat : 30766 (java) S 30758 30758 29371 0 -1 1077944384 21358 0 0 0 1220 152 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721614318224 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30767] ppid=30758 vsize=28768336 memory=5810520 CPUtime=13.71 cores=0-7 /proc/30760/task/30767/stat : 30767 (java) S 30758 30758 29371 0 -1 1077944384 13315 0 0 0 1220 151 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721613265424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30768] ppid=30758 vsize=28768336 memory=1456 CPUtime=13.8 cores=0-7 /proc/30760/task/30768/stat : 30768 (java) S 30758 30758 29371 0 -1 1077944384 24749 0 0 0 1222 158 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721612212624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30769] ppid=30758 vsize=28768336 memory=0 CPUtime=13.77 cores=0-7 /proc/30760/task/30769/stat : 30769 (java) S 30758 30758 29371 0 -1 1077944384 20671 0 0 0 1222 155 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721611159824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30770] ppid=30758 vsize=28768336 memory=1088 CPUtime=2.11 cores=0-7 /proc/30760/task/30770/stat : 30770 (java) S 30758 30758 29371 0 -1 1077944384 29995 0 0 0 202 9 0 0 20 0 28 0 447668853 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720915909488 139721665919618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30771] ppid=30758 vsize=28768336 memory=988 CPUtime=0 cores=0-7 /proc/30760/task/30771/stat : 30771 (java) S 30758 30758 29371 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 447668854 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720914855520 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30772] ppid=30758 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/30760/task/30772/stat : 30772 (java) S 30758 30758 29371 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 28 0 447668854 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720913802624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30773] ppid=30758 vsize=28768336 memory=5810520 CPUtime=0 cores=0-7 /proc/30760/task/30773/stat : 30773 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720912750928 139721665927067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30774] ppid=30758 vsize=28768336 memory=1456 CPUtime=4.44 cores=0-7 /proc/30760/task/30774/stat : 30774 (java) S 30758 30758 29371 0 -1 1077944384 34926 0 0 0 439 5 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720911698288 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30775] ppid=30758 vsize=28768336 memory=5810520 CPUtime=4.69 cores=0-7 /proc/30760/task/30775/stat : 30775 (java) S 30758 30758 29371 0 -1 1077944384 35209 0 0 0 463 6 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720910645488 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30776] ppid=30758 vsize=28768336 memory=1456 CPUtime=4.78 cores=0-7 /proc/30760/task/30776/stat : 30776 (java) S 30758 30758 29371 0 -1 1077944384 36909 0 0 0 472 6 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720909592688 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30777] ppid=30758 vsize=28768336 memory=5810520 CPUtime=1.2 cores=0-7 /proc/30760/task/30777/stat : 30777 (java) S 30758 30758 29371 0 -1 1077944384 30091 0 0 0 114 6 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720908539888 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30778] ppid=30758 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/30760/task/30778/stat : 30778 (java) S 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447668857 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720907488352 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30779] ppid=30758 vsize=28768336 memory=1456 CPUtime=1.14 cores=0-7 /proc/30760/task/30779/stat : 30779 (java) S 30758 30758 29371 0 -1 1077944384 5085 0 0 0 57 57 0 0 20 0 28 0 447668857 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720906435632 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30780] ppid=30758 vsize=28768336 memory=5810520 CPUtime=2475.8 cores=0-7 /proc/30760/task/30780/stat : 30780 (java) R 30758 30758 29371 0 -1 4202560 52905 0 0 0 247497 83 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720897453368 139721278835433 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30781] ppid=30758 vsize=28768336 memory=1456 CPUtime=2458.2 cores=0-7 /proc/30760/task/30781/stat : 30781 (java) R 30758 30758 29371 0 -1 4202560 36798 0 0 0 245777 43 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720896401608 139721278188533 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30782] ppid=30758 vsize=28768336 memory=3620 CPUtime=2463.92 cores=0-7 /proc/30760/task/30782/stat : 30782 (java) R 30758 30758 29371 0 -1 4202560 88908 0 0 0 246283 109 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720895349304 139721280159909 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30783] ppid=30758 vsize=28768336 memory=48340 CPUtime=2477.45 cores=0-7 /proc/30760/task/30783/stat : 30783 (java) R 30758 30758 29371 0 -1 4202560 199684 0 0 0 247620 125 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720894296104 139721286887209 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30784] ppid=30758 vsize=28768336 memory=11632 CPUtime=2463.72 cores=0-7 /proc/30760/task/30784/stat : 30784 (java) R 30758 30758 29371 0 -1 4202560 31737 0 0 0 246319 53 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720893242944 139721286887272 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30785] ppid=30758 vsize=28768336 memory=1732 CPUtime=2476.9 cores=0-7 /proc/30760/task/30785/stat : 30785 (java) R 30758 30758 29371 0 -1 4202560 81215 0 0 0 247623 67 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720892190360 139721278220502 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30786] ppid=30758 vsize=28768336 memory=1088 CPUtime=2473.53 cores=0-7 /proc/30760/task/30786/stat : 30786 (java) R 30758 30758 29371 0 -1 4202560 34076 0 0 0 247302 51 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720891138648 139721278220526 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30787] ppid=30758 vsize=28768336 memory=1456 CPUtime=2476.85 cores=0-7 /proc/30760/task/30787/stat : 30787 (java) R 30758 30758 29371 0 -1 4202560 103007 0 0 0 247618 67 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720890085848 139721278835673 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 Current children cumulated CPU time: 19902.2 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5811976 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.22 8.37 8.38 9/219 30999 /proc/meminfo: memFree=20967568/32770624 swapFree=66941552/67108860 [pid=30758] ppid=30755 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30758/stat : 30758 (xcsp3-exec) S 30755 30758 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447668850 115843072 364 33554432000 4194304 5098028 140723428923248 140723428921352 140309746741884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31825920 140723428930421 140723428930665 140723428930665 140723428933578 0 /proc/30758/statm: 28282 364 305 221 0 87 0 [pid=30760] ppid=30758 vsize=28768336 memory=5810520 CPUtime=20043.4 cores=0-7 /proc/30760/stat : 30760 (java) S 30758 30758 29371 0 -1 1077944320 987550 0 0 0 2002457 1888 0 0 20 0 28 0 447668851 29458776064 1452630 33554432000 4194304 4196468 140732600024240 140732600006784 139721665908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 /proc/30760/statm: 7192084 1452630 3561 1 0 7153184 0 [pid=30760/tid=30761] ppid=30758 vsize=28768336 memory=2112 CPUtime=7.09 cores=0-7 /proc/30760/task/30761/stat : 30761 (java) S 30758 30758 29371 0 -1 1077944384 14645 0 0 0 686 23 0 0 20 0 28 0 447668851 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721670149248 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30762] ppid=30758 vsize=28768336 memory=12040 CPUtime=13.83 cores=0-7 /proc/30760/task/30762/stat : 30762 (java) S 30758 30758 29371 0 -1 1077944384 19469 0 0 0 1228 155 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721618529424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30763] ppid=30758 vsize=28768336 memory=28264 CPUtime=13.76 cores=0-7 /proc/30760/task/30763/stat : 30763 (java) S 30758 30758 29371 0 -1 1077944384 21332 0 0 0 1227 149 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721617476624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30764] ppid=30758 vsize=28768336 memory=4126316290023845779 CPUtime=13.71 cores=0-7 /proc/30760/task/30764/stat : 30764 (java) S 30758 30758 29371 0 -1 1077944384 19278 0 0 0 1225 146 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721616423824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30765] ppid=30758 vsize=28768336 memory=1732 CPUtime=13.83 cores=0-7 /proc/30760/task/30765/stat : 30765 (java) S 30758 30758 29371 0 -1 1077944384 28681 0 0 0 1226 157 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721615371024 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30766] ppid=30758 vsize=28768336 memory=1088 CPUtime=13.72 cores=0-7 /proc/30760/task/30766/stat : 30766 (java) S 30758 30758 29371 0 -1 1077944384 21358 0 0 0 1220 152 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721614318224 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30767] ppid=30758 vsize=28768336 memory=1456 CPUtime=13.71 cores=0-7 /proc/30760/task/30767/stat : 30767 (java) S 30758 30758 29371 0 -1 1077944384 13315 0 0 0 1220 151 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721613265424 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30768] ppid=30758 vsize=28768336 memory=5810520 CPUtime=13.8 cores=0-7 /proc/30760/task/30768/stat : 30768 (java) S 30758 30758 29371 0 -1 1077944384 24749 0 0 0 1222 158 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721612212624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30769] ppid=30758 vsize=28768336 memory=6004 CPUtime=13.77 cores=0-7 /proc/30760/task/30769/stat : 30769 (java) S 30758 30758 29371 0 -1 1077944384 20671 0 0 0 1222 155 0 0 20 0 28 0 447668852 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139721611159824 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30770] ppid=30758 vsize=28768336 memory=624 CPUtime=2.11 cores=0-7 /proc/30760/task/30770/stat : 30770 (java) S 30758 30758 29371 0 -1 1077944384 29999 0 0 0 202 9 0 0 20 0 28 0 447668853 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720915909488 139721665919618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30771] ppid=30758 vsize=28768336 memory=4004 CPUtime=0 cores=0-7 /proc/30760/task/30771/stat : 30771 (java) S 30758 30758 29371 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 447668854 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720914855520 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30772] ppid=30758 vsize=28768336 memory=2832 CPUtime=0 cores=0-7 /proc/30760/task/30772/stat : 30772 (java) S 30758 30758 29371 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 28 0 447668854 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720913802624 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30773] ppid=30758 vsize=28768336 memory=3620 CPUtime=0 cores=0-7 /proc/30760/task/30773/stat : 30773 (java) S 30758 30758 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720912750928 139721665927067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30774] ppid=30758 vsize=28768336 memory=48340 CPUtime=4.44 cores=0-7 /proc/30760/task/30774/stat : 30774 (java) S 30758 30758 29371 0 -1 1077944384 34929 0 0 0 439 5 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720911698288 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30775] ppid=30758 vsize=28768336 memory=1988 CPUtime=4.69 cores=0-7 /proc/30760/task/30775/stat : 30775 (java) S 30758 30758 29371 0 -1 1077944384 35218 0 0 0 463 6 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720910645488 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30776] ppid=30758 vsize=28768336 memory=988 CPUtime=4.78 cores=0-7 /proc/30760/task/30776/stat : 30776 (java) S 30758 30758 29371 0 -1 1077944384 36912 0 0 0 472 6 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720909592688 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30777] ppid=30758 vsize=28768336 memory=1428 CPUtime=1.2 cores=0-7 /proc/30760/task/30777/stat : 30777 (java) S 30758 30758 29371 0 -1 1077944384 30095 0 0 0 114 6 0 0 20 0 28 0 447668856 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720908539888 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30778] ppid=30758 vsize=28768336 memory=1752 CPUtime=0 cores=0-7 /proc/30760/task/30778/stat : 30778 (java) S 30758 30758 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447668857 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720907488352 139721665918677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30779] ppid=30758 vsize=28768336 memory=1056 CPUtime=1.14 cores=0-7 /proc/30760/task/30779/stat : 30779 (java) S 30758 30758 29371 0 -1 1077944384 5116 0 0 0 57 57 0 0 20 0 28 0 447668857 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720906435632 139721665919618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30780] ppid=30758 vsize=28768336 memory=1556 CPUtime=2493.51 cores=0-7 /proc/30760/task/30780/stat : 30780 (java) R 30758 30758 29371 0 -1 4202560 53189 0 0 0 249268 83 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720897453368 139721278220567 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30781] ppid=30758 vsize=28768336 memory=3620 CPUtime=2475.54 cores=0-7 /proc/30760/task/30781/stat : 30781 (java) R 30758 30758 29371 0 -1 4202560 37018 0 0 0 247511 43 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720896401608 139721278835639 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30782] ppid=30758 vsize=28768336 memory=48340 CPUtime=2481.63 cores=0-7 /proc/30760/task/30782/stat : 30782 (java) R 30758 30758 29371 0 -1 4202560 89212 0 0 0 248051 112 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720895349304 139721286250750 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30783] ppid=30758 vsize=28768336 memory=48340 CPUtime=2495.16 cores=0-7 /proc/30760/task/30783/stat : 30783 (java) R 30758 30758 29371 0 -1 4202560 200066 0 0 0 249391 125 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720894296104 139721286250974 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30784] ppid=30758 vsize=28768336 memory=1988 CPUtime=2481.44 cores=0-7 /proc/30760/task/30784/stat : 30784 (java) R 30758 30758 29371 0 -1 4202560 32019 0 0 0 248090 54 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720893242944 139721286887272 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30785] ppid=30758 vsize=28768336 memory=988 CPUtime=2494.61 cores=0-7 /proc/30760/task/30785/stat : 30785 (java) R 30758 30758 29371 0 -1 4202560 81457 0 0 0 249393 68 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720892190360 139721286887196 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30786] ppid=30758 vsize=28768336 memory=1428 CPUtime=2491.22 cores=0-7 /proc/30760/task/30786/stat : 30786 (java) R 30758 30758 29371 0 -1 4202560 34182 0 0 0 249071 51 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720891138648 139721278835717 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 [pid=30760/tid=30787] ppid=30758 vsize=28768336 memory=1752 CPUtime=2494.55 cores=0-7 /proc/30760/task/30787/stat : 30787 (java) R 30758 30758 29371 0 -1 4202560 103202 0 0 0 249388 67 0 0 20 0 28 0 447669693 29458776064 1452630 33554432000 4194304 4196468 140732600024240 139720890085848 139721286251239 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 15785984 140732600026090 140732600026262 140732600026262 140732600029135 0 Current children cumulated CPU time: 20043.5 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 5811976 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 30758 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001567 s, system=0.000783 s [startup+2520.12 s] # the end of solver process 30760 was just reported to runsolver # cumulated CPU time of all completed processes: user=20025.2 s, system=18.9237 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): 20044.1 CPU user time (s): 20025.2 CPU system time (s): 18.9237 CPU usage (%): 795.363 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 6762484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20025.2 system time used= 18.9237 maximum resident set size= 6761028 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 989211 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2616 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 69534 involuntary context switches= 233147 # summary of solver processes directly reported to runsolver: # pid: 30758,30760 # total CPU time (s): 20044.1 # total CPU user time (s): 20025.2 # total CPU system time (s): 18.9237 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 18.7752 second user time and 33.1425 second system time The end
Begin job on node149 at 2019-09-17 11:57:44 IDJOB=4399714 IDBENCH=138655 IDSOLVER=2854 FILE ID=node149/4399714-1568714302 RUNJOBID= node149-1568711300-29398 PBS_JOBID= 21703928 Free space on /tmp= 61420 MiB SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4399714-1568714302/watcher-4399714-1568714302 -o /tmp/evaluation-result-4399714-1568714302/solver-4399714-1568714302 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568711300-29398 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1912508490 HOME/instance-4399714-1568714302.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2e1a96a215dbee196ad45178247d22f3 RANDOM SEED=1912508490 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 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: 26772588 kB MemAvailable: 31839884 kB Buffers: 115476 kB Cached: 5253128 kB SwapCached: 61048 kB Active: 2426740 kB Inactive: 3004432 kB Active(anon): 4344 kB Inactive(anon): 106200 kB Active(file): 2422396 kB Inactive(file): 2898232 kB Unevictable: 111220 kB Mlocked: 111220 kB SwapTotal: 67108860 kB SwapFree: 66941552 kB Dirty: 26544 kB Writeback: 0 kB AnonPages: 113396 kB Mapped: 48456 kB Shmem: 40008 kB Slab: 154228 kB SReclaimable: 125008 kB SUnreclaim: 29220 kB KernelStack: 3424 kB PageTables: 6396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506240 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: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61396 MiB End job on node149 at 2019-09-17 12:39:44