Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | SAT | 1307.58 | 167.572 |
Name | Random/Random-RB-3-24-24/ rand-3-24-24-76-632-16.xml |
MD5SUM | 15519537de8ee4184d6d10278c400490 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 68.0219 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 24 |
Number of constraints | 74 |
Number of domains | 1 |
Minimum domain size | 24 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":24,"count":24}] |
Minimum variable degree | 4 |
Maximum variable degree | 17 |
Distribution of variable degrees | [{"degree":4,"count":3},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":2},{"degree":9,"count":4},{"degree":10,"count":3},{"degree":11,"count":4},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":1},{"degree":17,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":3,"count":74}] |
Number of extensional constraints | 74 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":74}] |
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-4399458-1568702093.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399458-1568702093.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 9.16/4.62 c solve instance... 1307.17/167.55 s SATISFIABLE 1307.17/167.55 v <instantiation> 1307.17/167.55 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] </list> 1307.17/167.55 v <values>5 7 6 21 12 3 3 8 0 8 1 12 13 5 9 20 4 7 2 0 21 6 1 18 </values> 1307.17/167.55 v </instantiation>
OK
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 (15277 MiB free) memory of node 1: 16384 MiB (15691 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399458-1568702093/watcher-4399458-1568702093 -o /tmp/evaluation-result-4399458-1568702093/solver-4399458-1568702093 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1319235581 HOME/instance-4399458-1568702093.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=30956, runsolver pid=30953 [startup+0.100111 s]* /proc/loadavg: 6.39 6.69 7.41 2/212 30977 /proc/meminfo: memFree=31695540/32770624 swapFree=66977128/67108860 [pid=30956] ppid=30953 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30956/stat : 30956 (xcsp3-exec) S 30953 30956 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446471946 115843072 364 33554432000 4194304 5098028 140736770205952 140736770204056 140471728501372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19968000 140736770212725 140736770212969 140736770212969 140736770215882 0 /proc/30956/statm: 28282 364 305 221 0 87 0 [pid=30958] ppid=30956 vsize=28227396 memory=29784 CPUtime=0.12 cores=0-7 /proc/30958/stat : 30958 (java) S 30956 30956 29062 0 -1 1077944320 5852 0 0 0 11 1 0 0 20 0 20 0 446471946 28904853504 7446 33554432000 4194304 4196468 140723609477664 140723609460208 140708433972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 /proc/30958/statm: 7056849 7446 3146 1 0 7019032 0 [pid=30958/tid=30959] ppid=30956 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/30958/task/30959/stat : 30959 (java) R 30956 30956 29062 0 -1 4202560 3763 0 0 0 8 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708438205760 140708411968482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30960] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30960/stat : 30960 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708386593168 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30961] ppid=30956 vsize=28227396 memory=140012961916544 CPUtime=0 cores=0-7 /proc/30958/task/30961/stat : 30961 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708385540368 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30962] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30962/stat : 30962 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708384488080 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30963] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30963/stat : 30963 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708383435280 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30964] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30964/stat : 30964 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708382382992 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30965] ppid=30956 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30958/task/30965/stat : 30965 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708381330192 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30966] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30966/stat : 30966 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708380277904 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30967] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30967/stat : 30967 (java) S 30956 30956 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 7446 33554432000 4194304 4196468 140723609477664 140708379225104 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30968] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30968/stat : 30968 (java) S 30956 30956 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446471949 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707099428976 140708433984130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30969] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30969/stat : 30969 (java) S 30956 30956 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446471949 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707098374944 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30970] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30970/stat : 30970 (java) S 30956 30956 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446471950 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707097322608 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30971] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30971/stat : 30971 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471952 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707096270928 140708433991579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30972] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30972/stat : 30972 (java) S 30956 30956 29062 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 446471952 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707095218800 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30973] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30973/stat : 30973 (java) S 30956 30956 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446471952 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707094166000 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30974] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30974/stat : 30974 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446471952 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707093113712 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30975] ppid=30956 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30958/task/30975/stat : 30975 (java) S 30956 30956 29062 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 446471952 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707092060912 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30976] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30976/stat : 30976 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446471952 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707091007840 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30977] ppid=30956 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30958/task/30977/stat : 30977 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471953 28904853504 7446 33554432000 4194304 4196468 140723609477664 140707089955120 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31240 KiB [startup+0.210274 s]* /proc/loadavg: 6.39 6.69 7.41 2/212 30977 /proc/meminfo: memFree=31683028/32770624 swapFree=66977128/67108860 [pid=30956] ppid=30953 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30956/stat : 30956 (xcsp3-exec) S 30953 30956 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446471946 115843072 364 33554432000 4194304 5098028 140736770205952 140736770204056 140471728501372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19968000 140736770212725 140736770212969 140736770212969 140736770215882 0 /proc/30956/statm: 28282 364 305 221 0 87 0 [pid=30958] ppid=30956 vsize=28227396 memory=40976 CPUtime=0.33 cores=0-7 /proc/30958/stat : 30958 (java) S 30956 30956 29062 0 -1 1077944320 9515 0 0 0 30 3 0 0 20 0 20 0 446471946 28904853504 10244 33554432000 4194304 4196468 140723609477664 140723609460208 140708433972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 /proc/30958/statm: 7056849 10244 3280 1 0 7019032 0 [pid=30958/tid=30959] ppid=30956 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30958/task/30959/stat : 30959 (java) R 30956 30956 29062 0 -1 4202560 6644 0 0 0 17 2 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708438212656 140708433984918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30960] ppid=30956 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/30958/task/30960/stat : 30960 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708386593168 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30961] ppid=30956 vsize=28227396 memory=288370389113628288 CPUtime=0 cores=0-7 /proc/30958/task/30961/stat : 30961 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708385540368 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30962] ppid=30956 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30958/task/30962/stat : 30962 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708384488080 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30963] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30963/stat : 30963 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708383435280 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30964] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30964/stat : 30964 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708382382992 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30965] ppid=30956 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30958/task/30965/stat : 30965 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708381330192 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30966] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30966/stat : 30966 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708380277904 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30967] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30967/stat : 30967 (java) S 30956 30956 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446471947 28904853504 10244 33554432000 4194304 4196468 140723609477664 140708379225104 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30968] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30968/stat : 30968 (java) S 30956 30956 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446471949 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707099428976 140708433984130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30969] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30969/stat : 30969 (java) S 30956 30956 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446471949 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707098374944 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30970] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30970/stat : 30970 (java) S 30956 30956 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446471950 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707097322608 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30971] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30971/stat : 30971 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471952 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707096270928 140708433991579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30972] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30972/stat : 30972 (java) S 30956 30956 29062 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 446471952 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707095218800 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30973] ppid=30956 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/30958/task/30973/stat : 30973 (java) S 30956 30956 29062 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 20 0 446471952 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707094166000 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30974] ppid=30956 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/30958/task/30974/stat : 30974 (java) S 30956 30956 29062 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 446471952 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707093113712 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30975] ppid=30956 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/30958/task/30975/stat : 30975 (java) S 30956 30956 29062 0 -1 1077944384 716 0 0 0 7 0 0 0 20 0 20 0 446471952 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707092060912 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30976] ppid=30956 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30976/stat : 30976 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446471952 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707091007840 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30977] ppid=30956 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/30958/task/30977/stat : 30977 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471953 28904853504 10244 33554432000 4194304 4196468 140723609477664 140707089955120 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42432 KiB [startup+0.309631 s]* /proc/loadavg: 6.39 6.69 7.41 3/212 30977 /proc/meminfo: memFree=31679712/32770624 swapFree=66977128/67108860 [pid=30956] ppid=30953 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30956/stat : 30956 (xcsp3-exec) S 30953 30956 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446471946 115843072 364 33554432000 4194304 5098028 140736770205952 140736770204056 140471728501372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19968000 140736770212725 140736770212969 140736770212969 140736770215882 0 /proc/30956/statm: 28282 364 305 221 0 87 0 [pid=30958] ppid=30956 vsize=28231652 memory=49880 CPUtime=0.52 cores=0-7 /proc/30958/stat : 30958 (java) S 30956 30956 29062 0 -1 1077944320 10865 0 0 0 48 4 0 0 20 0 20 0 446471946 28909211648 12470 33554432000 4194304 4196468 140723609477664 140723609460208 140708433972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 /proc/30958/statm: 7057913 12470 3355 1 0 7019032 0 [pid=30958/tid=30959] ppid=30956 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/30958/task/30959/stat : 30959 (java) R 30956 30956 29062 0 -1 4202560 7745 0 0 0 27 3 0 0 20 0 20 0 446471947 28909211648 12470 33554432000 4194304 4196468 140723609477664 140708438204096 140708415379282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30960] ppid=30956 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30960/stat : 30960 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28909211648 12470 33554432000 4194304 4196468 140723609477664 140708386593168 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30961] ppid=30956 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30961/stat : 30961 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28909211648 12470 33554432000 4194304 4196468 140723609477664 140708385540368 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30962] ppid=30956 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30962/stat : 30962 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446471947 28909211648 12470 33554432000 4194304 4196468 140723609477664 140708384488080 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30963] ppid=30956 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30963/stat : 30963 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28909211648 12470 33554432000 4194304 4196468 140723609477664 140708383435280 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30964] ppid=30956 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/30958/task/30964/stat : 30964 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28909211648 12509 33554432000 4194304 4196468 140723609477664 140708382382992 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30965] ppid=30956 vsize=28231652 memory=140012846937007 CPUtime=0 cores=0-7 /proc/30958/task/30965/stat : 30965 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28909211648 12509 33554432000 4194304 4196468 140723609477664 140708381330192 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30966] ppid=30956 vsize=28231652 memory=140012846939312 CPUtime=0 cores=0-7 /proc/30958/task/30966/stat : 30966 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471947 28909211648 12509 33554432000 4194304 4196468 140723609477664 140708380277904 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30967] ppid=30956 vsize=28231652 memory=140012846941616 CPUtime=0 cores=0-7 /proc/30958/task/30967/stat : 30967 (java) S 30956 30956 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446471947 28909211648 12509 33554432000 4194304 4196468 140723609477664 140708379225104 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30968] ppid=30956 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30968/stat : 30968 (java) S 30956 30956 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446471949 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707099428976 140708433984130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30969] ppid=30956 vsize=28231652 memory=280025693890192 CPUtime=0 cores=0-7 /proc/30958/task/30969/stat : 30969 (java) S 30956 30956 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446471949 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707098374944 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30970] ppid=30956 vsize=28231652 memory=280025693897104 CPUtime=0 cores=0-7 /proc/30958/task/30970/stat : 30970 (java) S 30956 30956 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446471950 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707097322608 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30971] ppid=30956 vsize=28231652 memory=280025693838352 CPUtime=0 cores=0-7 /proc/30958/task/30971/stat : 30971 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471952 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707096270928 140708433991579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30972] ppid=30956 vsize=28231652 memory=280025693910928 CPUtime=0.02 cores=0-7 /proc/30958/task/30972/stat : 30972 (java) R 30956 30956 29062 0 -1 4202560 555 0 0 0 2 0 0 0 20 0 20 0 446471952 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707095218800 140708413162433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30973] ppid=30956 vsize=28231652 memory=280025693917840 CPUtime=0.03 cores=0-7 /proc/30958/task/30973/stat : 30973 (java) S 30956 30956 29062 0 -1 1077944384 383 0 0 0 3 0 0 0 20 0 20 0 446471952 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707094166000 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30974] ppid=30956 vsize=28231652 memory=280025693915536 CPUtime=0.02 cores=0-7 /proc/30958/task/30974/stat : 30974 (java) S 30956 30956 29062 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 20 0 446471952 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707093113712 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30975] ppid=30956 vsize=28231652 memory=280025693931696 CPUtime=0.12 cores=0-7 /proc/30958/task/30975/stat : 30975 (java) S 30956 30956 29062 0 -1 1077944384 807 0 0 0 12 0 0 0 20 0 20 0 446471952 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707092060912 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30976] ppid=30956 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30976/stat : 30976 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446471952 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707091007840 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30977] ppid=30956 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/30958/task/30977/stat : 30977 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446471953 28909211648 12509 33554432000 4194304 4196468 140723609477664 140707089955120 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51336 KiB [startup+0.701029 s] /proc/loadavg: 6.39 6.69 7.41 5/212 30977 /proc/meminfo: memFree=31646864/32770624 swapFree=66977128/67108860 [pid=30956] ppid=30953 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30956/stat : 30956 (xcsp3-exec) S 30953 30956 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446471946 115843072 364 33554432000 4194304 5098028 140736770205952 140736770204056 140471728501372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19968000 140736770212725 140736770212969 140736770212969 140736770215882 0 /proc/30956/statm: 28282 364 305 221 0 87 0 [pid=30958] ppid=30956 vsize=28233776 memory=194504 CPUtime=1.65 cores=0-7 /proc/30958/stat : 30958 (java) S 30956 30956 29062 0 -1 1077944320 14295 0 0 0 157 8 0 0 20 0 20 0 446471946 28911386624 48626 33554432000 4194304 4196468 140723609477664 140723609460208 140708433972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 /proc/30958/statm: 7058444 48626 3459 1 0 7019544 0 [pid=30958/tid=30959] ppid=30956 vsize=28233776 memory=280025694289584 CPUtime=0.66 cores=0-7 /proc/30958/task/30959/stat : 30959 (java) R 30956 30956 29062 0 -1 4202560 8376 0 0 0 61 5 0 0 20 0 20 0 446471947 28911386624 48626 33554432000 4194304 4196468 140723609477664 140708438211248 140708044479076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30960] ppid=30956 vsize=28233776 memory=140012847145840 CPUtime=0 cores=0-7 /proc/30958/task/30960/stat : 30960 (java) S 30956 30956 29062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446471947 28911386624 48626 33554432000 4194304 4196468 140723609477664 140708386593168 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30961] ppid=30956 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/30958/task/30961/stat : 30961 (java) S 30956 30956 29062 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 446471947 28911386624 48626 33554432000 4194304 4196468 140723609477664 140708385540368 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30962] ppid=30956 vsize=28233776 memory=7872 CPUtime=0 cores=0-7 /proc/30958/task/30962/stat : 30962 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446471947 28911386624 48626 33554432000 4194304 4196468 140723609477664 140708384488080 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 ################ # More data... # ################ [pid=30958/tid=30975] ppid=30956 vsize=28766288 memory=4088 CPUtime=0.74 cores=0-7 /proc/30958/task/30975/stat : 30975 (java) S 30956 30956 29062 0 -1 1077944384 5849 0 0 0 73 1 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707092060912 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30976] ppid=30956 vsize=28766288 memory=1580 CPUtime=0 cores=0-7 /proc/30958/task/30976/stat : 30976 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707091007840 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30977] ppid=30956 vsize=28766288 memory=111632 CPUtime=0.05 cores=0-7 /proc/30958/task/30977/stat : 30977 (java) S 30956 30956 29062 0 -1 1077944384 831 0 0 0 0 5 0 0 20 0 28 0 446471953 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707089955120 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30978] ppid=30956 vsize=28766288 memory=804 CPUtime=159.76 cores=0-7 /proc/30958/task/30978/stat : 30978 (java) R 30956 30956 29062 0 -1 4202560 1225 0 0 0 15975 1 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707012996168 140708051136996 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30979] ppid=30956 vsize=28766288 memory=1628 CPUtime=160.33 cores=0-7 /proc/30958/task/30979/stat : 30979 (java) R 30956 30956 29062 0 -1 4202560 1626 0 0 0 16030 3 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707011944344 140708050336455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30980] ppid=30956 vsize=28766288 memory=4108 CPUtime=161.54 cores=0-7 /proc/30958/task/30980/stat : 30980 (java) R 30956 30956 29062 0 -1 4202560 6096 0 0 0 16136 18 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707010892712 140708050336862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30981] ppid=30956 vsize=28766288 memory=1808 CPUtime=161.5 cores=0-7 /proc/30958/task/30981/stat : 30981 (java) R 30956 30956 29062 0 -1 4202560 3577 0 0 0 16144 6 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707009839664 140708050300683 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30982] ppid=30956 vsize=28766288 memory=924 CPUtime=161.33 cores=0-7 /proc/30958/task/30982/stat : 30982 (java) R 30956 30956 29062 0 -1 4202560 2664 0 0 0 16125 8 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707008787112 140708050336460 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30983] ppid=30956 vsize=28766288 memory=4452 CPUtime=161.36 cores=0-7 /proc/30958/task/30983/stat : 30983 (java) R 30956 30956 29062 0 -1 4202560 2061 0 0 0 16132 4 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707007734168 140708050336862 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30984] ppid=30956 vsize=28766288 memory=1548 CPUtime=161.64 cores=0-7 /proc/30958/task/30984/stat : 30984 (java) R 30956 30956 29062 0 -1 4202560 1133 0 0 0 16163 1 0 0 20 0 28 0 446472411 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707006681512 140708050300620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30985] ppid=30956 vsize=28766288 memory=7872 CPUtime=161.36 cores=0-7 /proc/30958/task/30985/stat : 30985 (java) R 30956 30956 29062 0 -1 4202560 2580 0 0 0 16131 5 0 0 20 0 28 0 446472411 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707005628056 140708051139489 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 Current children cumulated CPU time: 1304.77 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2830060 KiB [startup+167.401 s] /proc/loadavg: 8.23 7.37 7.55 9/219 30996 /proc/meminfo: memFree=28895392/32770624 swapFree=66977128/67108860 [pid=30956] ppid=30953 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30956/stat : 30956 (xcsp3-exec) S 30953 30956 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446471946 115843072 364 33554432000 4194304 5098028 140736770205952 140736770204056 140471728501372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19968000 140736770212725 140736770212969 140736770212969 140736770215882 0 /proc/30956/statm: 28282 364 305 221 0 87 0 [pid=30958] ppid=30956 vsize=28766288 memory=2828604 CPUtime=1306.37 cores=0-7 /proc/30958/stat : 30958 (java) S 30956 30956 29062 0 -1 1077944320 75409 0 0 0 130329 308 0 0 20 0 28 0 446471946 29456678912 707151 33554432000 4194304 4196468 140723609477664 140723609460208 140708433972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 /proc/30958/statm: 7191572 707151 3516 1 0 7152672 0 [pid=30958/tid=30959] ppid=30956 vsize=28766288 memory=14008 CPUtime=4.15 cores=0-7 /proc/30958/task/30959/stat : 30959 (java) S 30956 30956 29062 0 -1 1077944384 10615 0 0 0 396 19 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708438213760 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30960] ppid=30956 vsize=28766288 memory=2120 CPUtime=0.85 cores=0-7 /proc/30958/task/30960/stat : 30960 (java) S 30956 30956 29062 0 -1 1077944384 681 0 0 0 56 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708386593168 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30961] ppid=30956 vsize=28766288 memory=11976 CPUtime=0.83 cores=0-7 /proc/30958/task/30961/stat : 30961 (java) S 30956 30956 29062 0 -1 1077944384 748 0 0 0 54 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708385540368 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30962] ppid=30956 vsize=28766288 memory=11496 CPUtime=0.82 cores=0-7 /proc/30958/task/30962/stat : 30962 (java) S 30956 30956 29062 0 -1 1077944384 572 0 0 0 54 28 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708384488080 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30963] ppid=30956 vsize=28766288 memory=512 CPUtime=0.82 cores=0-7 /proc/30958/task/30963/stat : 30963 (java) S 30956 30956 29062 0 -1 1077944384 971 0 0 0 53 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708383435280 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30964] ppid=30956 vsize=28766288 memory=1564 CPUtime=0.83 cores=0-7 /proc/30958/task/30964/stat : 30964 (java) S 30956 30956 29062 0 -1 1077944384 788 0 0 0 54 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708382382992 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30965] ppid=30956 vsize=28766288 memory=928 CPUtime=0.85 cores=0-7 /proc/30958/task/30965/stat : 30965 (java) S 30956 30956 29062 0 -1 1077944384 1025 0 0 0 56 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708381330192 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30966] ppid=30956 vsize=28766288 memory=3784 CPUtime=0.84 cores=0-7 /proc/30958/task/30966/stat : 30966 (java) S 30956 30956 29062 0 -1 1077944384 796 0 0 0 56 28 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708380277904 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30967] ppid=30956 vsize=28766288 memory=1440 CPUtime=0.83 cores=0-7 /proc/30958/task/30967/stat : 30967 (java) S 30956 30956 29062 0 -1 1077944384 1068 0 0 0 57 26 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708379225104 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30968] ppid=30956 vsize=28766288 memory=904 CPUtime=0.12 cores=0-7 /proc/30958/task/30968/stat : 30968 (java) S 30956 30956 29062 0 -1 1077944384 6278 0 0 0 11 1 0 0 20 0 28 0 446471949 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707099428976 140708433984130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30969] ppid=30956 vsize=28766288 memory=1984 CPUtime=0 cores=0-7 /proc/30958/task/30969/stat : 30969 (java) S 30956 30956 29062 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 446471949 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707098375008 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30970] ppid=30956 vsize=28766288 memory=2528 CPUtime=0 cores=0-7 /proc/30958/task/30970/stat : 30970 (java) S 30956 30956 29062 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446471950 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707097322624 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30971] ppid=30956 vsize=28766288 memory=1764 CPUtime=0 cores=0-7 /proc/30958/task/30971/stat : 30971 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707096270928 140708433991579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30972] ppid=30956 vsize=28766288 memory=111632 CPUtime=1.13 cores=0-7 /proc/30958/task/30972/stat : 30972 (java) S 30956 30956 29062 0 -1 1077944384 9494 0 0 0 111 2 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707095218800 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30973] ppid=30956 vsize=28766288 memory=804 CPUtime=1.64 cores=0-7 /proc/30958/task/30973/stat : 30973 (java) S 30956 30956 29062 0 -1 1077944384 9018 0 0 0 161 3 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707094166000 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30974] ppid=30956 vsize=28766288 memory=1628 CPUtime=1.24 cores=0-7 /proc/30958/task/30974/stat : 30974 (java) S 30956 30956 29062 0 -1 1077944384 4368 0 0 0 123 1 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707093113712 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30975] ppid=30956 vsize=28766288 memory=4108 CPUtime=0.74 cores=0-7 /proc/30958/task/30975/stat : 30975 (java) S 30956 30956 29062 0 -1 1077944384 5849 0 0 0 73 1 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707092060912 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30976] ppid=30956 vsize=28766288 memory=1808 CPUtime=0 cores=0-7 /proc/30958/task/30976/stat : 30976 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707091007840 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30977] ppid=30956 vsize=28766288 memory=924 CPUtime=0.05 cores=0-7 /proc/30958/task/30977/stat : 30977 (java) S 30956 30956 29062 0 -1 1077944384 831 0 0 0 0 5 0 0 20 0 28 0 446471953 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707089955120 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30978] ppid=30956 vsize=28766288 memory=4452 CPUtime=159.96 cores=0-7 /proc/30958/task/30978/stat : 30978 (java) R 30956 30956 29062 0 -1 4202560 1225 0 0 0 15995 1 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707012996168 140708050336249 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30979] ppid=30956 vsize=28766288 memory=1412 CPUtime=160.53 cores=0-7 /proc/30958/task/30979/stat : 30979 (java) R 30956 30956 29062 0 -1 4202560 1627 0 0 0 16050 3 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707011944344 140708051142567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30980] ppid=30956 vsize=28766288 memory=3536 CPUtime=161.74 cores=0-7 /proc/30958/task/30980/stat : 30980 (java) R 30956 30956 29062 0 -1 4202560 6096 0 0 0 16156 18 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707010892712 140708051139671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30981] ppid=30956 vsize=28766288 memory=288230574492221466 CPUtime=161.7 cores=0-7 /proc/30958/task/30981/stat : 30981 (java) R 30956 30956 29062 0 -1 4202560 3579 0 0 0 16164 6 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707009839664 140708051138053 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30982] ppid=30956 vsize=28766288 memory=288230617509003574 CPUtime=161.53 cores=0-7 /proc/30958/task/30982/stat : 30982 (java) R 30956 30956 29062 0 -1 4202560 2664 0 0 0 16145 8 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707008787112 140708051139389 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30983] ppid=30956 vsize=28766288 memory=15252640887999028 CPUtime=161.56 cores=0-7 /proc/30958/task/30983/stat : 30983 (java) R 30956 30956 29062 0 -1 4202560 2063 0 0 0 16152 4 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707007734168 140708051138437 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30984] ppid=30956 vsize=28766288 memory=7306316804797196914 CPUtime=161.84 cores=0-7 /proc/30958/task/30984/stat : 30984 (java) R 30956 30956 29062 0 -1 4202560 1133 0 0 0 16183 1 0 0 20 0 28 0 446472411 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707006681512 140708051141597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30985] ppid=30956 vsize=28766288 memory=7090724556112946773 CPUtime=161.56 cores=0-7 /proc/30958/task/30985/stat : 30985 (java) R 30956 30956 29062 0 -1 4202560 2581 0 0 0 16151 5 0 0 20 0 28 0 446472411 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707005628056 140708051141463 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 Current children cumulated CPU time: 1306.37 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2830060 KiB [startup+167.501 s] /proc/loadavg: 8.23 7.37 7.55 9/219 30996 /proc/meminfo: memFree=28895392/32770624 swapFree=66977128/67108860 [pid=30956] ppid=30953 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/30956/stat : 30956 (xcsp3-exec) S 30953 30956 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446471946 115843072 364 33554432000 4194304 5098028 140736770205952 140736770204056 140471728501372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19968000 140736770212725 140736770212969 140736770212969 140736770215882 0 /proc/30956/statm: 28282 364 305 221 0 87 0 [pid=30958] ppid=30956 vsize=28766288 memory=2828604 CPUtime=1307.17 cores=0-7 /proc/30958/stat : 30958 (java) S 30956 30956 29062 0 -1 1077944320 75412 0 0 0 130409 308 0 0 20 0 28 0 446471946 29456678912 707151 33554432000 4194304 4196468 140723609477664 140723609460208 140708433972983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 /proc/30958/statm: 7191572 707151 3516 1 0 7152672 0 [pid=30958/tid=30959] ppid=30956 vsize=28766288 memory=1456 CPUtime=4.15 cores=0-7 /proc/30958/task/30959/stat : 30959 (java) S 30956 30956 29062 0 -1 1077944384 10615 0 0 0 396 19 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708438213760 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30960] ppid=30956 vsize=28766288 memory=1456 CPUtime=0.85 cores=0-7 /proc/30958/task/30960/stat : 30960 (java) S 30956 30956 29062 0 -1 1077944384 681 0 0 0 56 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708386593168 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30961] ppid=30956 vsize=28766288 memory=2828604 CPUtime=0.83 cores=0-7 /proc/30958/task/30961/stat : 30961 (java) S 30956 30956 29062 0 -1 1077944384 748 0 0 0 54 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708385540368 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30962] ppid=30956 vsize=28766288 memory=1456 CPUtime=0.82 cores=0-7 /proc/30958/task/30962/stat : 30962 (java) S 30956 30956 29062 0 -1 1077944384 572 0 0 0 54 28 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708384488080 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30963] ppid=30956 vsize=28766288 memory=1456 CPUtime=0.82 cores=0-7 /proc/30958/task/30963/stat : 30963 (java) S 30956 30956 29062 0 -1 1077944384 971 0 0 0 53 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708383435280 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30964] ppid=30956 vsize=28766288 memory=2828604 CPUtime=0.83 cores=0-7 /proc/30958/task/30964/stat : 30964 (java) S 30956 30956 29062 0 -1 1077944384 788 0 0 0 54 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708382382992 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30965] ppid=30956 vsize=28766288 memory=2372 CPUtime=0.85 cores=0-7 /proc/30958/task/30965/stat : 30965 (java) S 30956 30956 29062 0 -1 1077944384 1025 0 0 0 56 29 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708381330192 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30966] ppid=30956 vsize=28766288 memory=6791534058613427641 CPUtime=0.84 cores=0-7 /proc/30958/task/30966/stat : 30966 (java) S 30956 30956 29062 0 -1 1077944384 796 0 0 0 56 28 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708380277904 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30967] ppid=30956 vsize=28766288 memory=-7812736537705029536 CPUtime=0.83 cores=0-7 /proc/30958/task/30967/stat : 30967 (java) S 30956 30956 29062 0 -1 1077944384 1068 0 0 0 57 26 0 0 20 0 28 0 446471947 29456678912 707151 33554432000 4194304 4196468 140723609477664 140708379225104 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30968] ppid=30956 vsize=28766288 memory=1456 CPUtime=0.12 cores=0-7 /proc/30958/task/30968/stat : 30968 (java) S 30956 30956 29062 0 -1 1077944384 6278 0 0 0 11 1 0 0 20 0 28 0 446471949 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707099428976 140708433984130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30969] ppid=30956 vsize=28766288 memory=2592204 CPUtime=0 cores=0-7 /proc/30958/task/30969/stat : 30969 (java) S 30956 30956 29062 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 446471949 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707098375008 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30970] ppid=30956 vsize=28766288 memory=280025696527968 CPUtime=0 cores=0-7 /proc/30958/task/30970/stat : 30970 (java) S 30956 30956 29062 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446471950 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707097322624 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30971] ppid=30956 vsize=28766288 memory=2996089 CPUtime=0 cores=0-7 /proc/30958/task/30971/stat : 30971 (java) S 30956 30956 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707096270928 140708433991579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30972] ppid=30956 vsize=28766288 memory=1456 CPUtime=1.13 cores=0-7 /proc/30958/task/30972/stat : 30972 (java) S 30956 30956 29062 0 -1 1077944384 9494 0 0 0 111 2 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707095218800 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30973] ppid=30956 vsize=28766288 memory=2828604 CPUtime=1.64 cores=0-7 /proc/30958/task/30973/stat : 30973 (java) S 30956 30956 29062 0 -1 1077944384 9018 0 0 0 161 3 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707094166000 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30974] ppid=30956 vsize=28766288 memory=3620 CPUtime=1.24 cores=0-7 /proc/30958/task/30974/stat : 30974 (java) S 30956 30956 29062 0 -1 1077944384 4368 0 0 0 123 1 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707093113712 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30975] ppid=30956 vsize=28766288 memory=1456 CPUtime=0.74 cores=0-7 /proc/30958/task/30975/stat : 30975 (java) S 30956 30956 29062 0 -1 1077944384 5849 0 0 0 73 1 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707092060912 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30976] ppid=30956 vsize=28766288 memory=2828604 CPUtime=0 cores=0-7 /proc/30958/task/30976/stat : 30976 (java) S 30956 30956 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446471952 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707091007840 140708433983189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30977] ppid=30956 vsize=28766288 memory=1456 CPUtime=0.05 cores=0-7 /proc/30958/task/30977/stat : 30977 (java) S 30956 30956 29062 0 -1 1077944384 831 0 0 0 0 5 0 0 20 0 28 0 446471953 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707089955120 140708433984130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30978] ppid=30956 vsize=28766288 memory=2828604 CPUtime=160.06 cores=0-7 /proc/30958/task/30978/stat : 30978 (java) R 30956 30956 29062 0 -1 4202560 1225 0 0 0 16005 1 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707012996168 140708050300693 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30979] ppid=30956 vsize=28766288 memory=1456 CPUtime=160.63 cores=0-7 /proc/30958/task/30979/stat : 30979 (java) R 30956 30956 29062 0 -1 4202560 1627 0 0 0 16060 3 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707011944344 140708050336591 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30980] ppid=30956 vsize=28766288 memory=2828604 CPUtime=161.84 cores=0-7 /proc/30958/task/30980/stat : 30980 (java) R 30956 30956 29062 0 -1 4202560 6096 0 0 0 16166 18 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707010892712 140708050300766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30981] ppid=30956 vsize=28766288 memory=6369057866059573348 CPUtime=161.8 cores=0-7 /proc/30958/task/30981/stat : 30981 (java) R 30956 30956 29062 0 -1 4202560 3580 0 0 0 16174 6 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707009839664 140708051137067 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30982] ppid=30956 vsize=28766288 memory=280025695037232 CPUtime=161.63 cores=0-7 /proc/30958/task/30982/stat : 30982 (java) R 30956 30956 29062 0 -1 4202560 2666 0 0 0 16155 8 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707008787112 140708051138145 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30983] ppid=30956 vsize=28766288 memory=7309730766876271192 CPUtime=161.66 cores=0-7 /proc/30958/task/30983/stat : 30983 (java) R 30956 30956 29062 0 -1 4202560 2063 0 0 0 16162 4 0 0 20 0 28 0 446472410 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707007734168 140708050336596 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30984] ppid=30956 vsize=28766288 memory=14008 CPUtime=161.94 cores=0-7 /proc/30958/task/30984/stat : 30984 (java) R 30956 30956 29062 0 -1 4202560 1133 0 0 0 16193 1 0 0 20 0 28 0 446472411 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707006681512 140708050336862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 [pid=30958/tid=30985] ppid=30956 vsize=28766288 memory=2120 CPUtime=161.66 cores=0-7 /proc/30958/task/30985/stat : 30985 (java) R 30956 30956 29062 0 -1 4202560 2581 0 0 0 16161 5 0 0 20 0 28 0 446472411 29456678912 707151 33554432000 4194304 4196468 140723609477664 140707005628056 140708051137133 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36257792 140723609486314 140723609486486 140723609486486 140723609489359 0 Current children cumulated CPU time: 1307.17 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 2830060 KiB Child status: 0 Real time (s): 167.572 CPU time (s): 1307.58 CPU user time (s): 1304.46 CPU system time (s): 3.11623 CPU usage (%): 780.308 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 2830060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1304.46 system time used= 3.11623 maximum resident set size= 2828776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77776 page faults= 0 swaps= 0 block input operations= 0 block output operations= 328 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8947 involuntary context switches= 15613 # summary of solver processes directly reported to runsolver: # pid: 30956 # total CPU time (s): 1307.58 # total CPU user time (s): 1304.46 # total CPU system time (s): 3.11623 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.18022 second user time and 2.25142 second system time The end
Begin job on node121 at 2019-09-17 08:34:11 IDJOB=4399458 IDBENCH=121491 IDSOLVER=2854 FILE ID=node121/4399458-1568702093 RUNJOBID= node121-1568700707-29089 PBS_JOBID= 21703902 Free space on /tmp= 61404 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Random/Random-RB-3-24-24/rand-3-24-24-76-632-16.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-4399458-1568702093/watcher-4399458-1568702093 -o /tmp/evaluation-result-4399458-1568702093/solver-4399458-1568702093 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1319235581 HOME/instance-4399458-1568702093.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 15519537de8ee4184d6d10278c400490 RANDOM SEED=1319235581 node121.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.75 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.75 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.75 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.75 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: 31712428 kB MemAvailable: 31917152 kB Buffers: 64816 kB Cached: 438212 kB SwapCached: 10796 kB Active: 211704 kB Inactive: 306112 kB Active(anon): 5280 kB Inactive(anon): 42372 kB Active(file): 206424 kB Inactive(file): 263740 kB Unevictable: 109148 kB Mlocked: 109148 kB SwapTotal: 67108860 kB SwapFree: 66977128 kB Dirty: 29248 kB Writeback: 0 kB AnonPages: 410000 kB Mapped: 42520 kB Shmem: 23932 kB Slab: 130476 kB SReclaimable: 100788 kB SUnreclaim: 29688 kB KernelStack: 3888 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 364544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61380 MiB End job on node121 at 2019-09-17 08:36:58