Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-16 parallel | UNSAT | 543.013 | 69.1322 |
Name | QRandom/ QRandom-geometric-rw/geometric-50-20-d4-75-94.xml |
MD5SUM | 6d6d0435d13d3ff0671cf8a5c787b057 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 48.6477 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 496 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":50}] |
Minimum variable degree | 7 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":7},{"degree":23,"count":1},{"degree":24,"count":2},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":29,"count":4},{"degree":30,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":496}] |
Number of extensional constraints | 496 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":496}] |
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-4399484-1568703786.xml" -tl '20160s' -p 8 0.11/0.20 c Choco e747e1e 0.11/0.20 c [HOME/instance-4399484-1568703786.xml, -tl, 20160s, -p, 8] 0.33/0.25 c 8 solvers in parallel 0.33/0.32 c parse instance... 4.53/1.55 c solve instance... 542.22/69.10 s UNSATISFIABLE
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: 16375 MiB (14415 MiB free) memory of node 1: 16384 MiB (15455 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399484-1568703786/watcher-4399484-1568703786 -o /tmp/evaluation-result-4399484-1568703786/solver-4399484-1568703786 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2080949107 HOME/instance-4399484-1568703786.xml running on 8 cores: 0-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=19917, runsolver pid=19914 Current StackSize limit: 8192 KiB [startup+0.100116 s]* /proc/loadavg: 7.50 8.00 8.07 3/212 19938 /proc/meminfo: memFree=30573792/32770688 swapFree=66961208/67108860 [pid=19917] ppid=19914 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19917/stat : 19917 (xcsp3-exec) S 19914 19917 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446320230 115843072 364 33554432000 4194304 5098028 140729708488880 140729708486984 140045379609212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17629184 140729708495733 140729708495977 140729708495977 140729708498890 0 /proc/19917/statm: 28282 364 305 221 0 87 0 [pid=19919] ppid=19917 vsize=28227396 memory=27776 CPUtime=0.11 cores=0-7 /proc/19919/stat : 19919 (java) S 19917 19917 18670 0 -1 1077944320 5883 0 0 0 10 1 0 0 20 0 20 0 446320231 28904853504 6944 33554432000 4194304 4196468 140731579372272 140731579354816 140280108682999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 /proc/19919/statm: 7056849 6944 3139 1 0 7019032 0 [pid=19919/tid=19920] ppid=19917 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/19919/task/19920/stat : 19920 (java) R 19917 19917 18670 0 -1 4202560 3768 0 0 0 8 1 0 0 20 0 20 0 446320231 28904853504 6944 33554432000 4194304 4196468 140731579372272 140280112905472 140280108694934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19921] ppid=19917 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19919/task/19921/stat : 19921 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 6944 33554432000 4194304 4196468 140731579372272 140280076241168 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19922] ppid=19917 vsize=28227396 memory=140107350668928 CPUtime=0 cores=0-7 /proc/19919/task/19922/stat : 19922 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279658703248 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19923] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19923/stat : 19923 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279657650704 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19924] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19924/stat : 19924 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279656598160 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19925] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19925/stat : 19925 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279655545616 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19926] ppid=19917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19919/task/19926/stat : 19926 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279654493072 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19927] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19927/stat : 19927 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279653440528 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19928] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19928/stat : 19928 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279652387984 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19929] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19929/stat : 19929 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320233 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279609718768 140280108694146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19930] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19930/stat : 19930 (java) S 19917 19917 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446320234 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279608664992 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19931] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19931/stat : 19931 (java) S 19917 19917 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446320234 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279607612400 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19932] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19932/stat : 19932 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279606560976 140280108701595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19933] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19933/stat : 19933 (java) S 19917 19917 18670 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279152765424 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19934] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19934/stat : 19934 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279151712880 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19935] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19935/stat : 19935 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279150660336 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19936] ppid=19917 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19919/task/19936/stat : 19936 (java) S 19917 19917 18670 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 446320237 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279149607792 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19937] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19937/stat : 19937 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279148554464 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19938] ppid=19917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19919/task/19938/stat : 19938 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 6944 33554432000 4194304 4196468 140731579372272 140279147502000 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 29232 KiB [startup+0.2112 s]* /proc/loadavg: 7.14 7.92 8.04 3/212 19938 /proc/meminfo: memFree=30560672/32770688 swapFree=66961208/67108860 [pid=19917] ppid=19914 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19917/stat : 19917 (xcsp3-exec) S 19914 19917 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446320230 115843072 364 33554432000 4194304 5098028 140729708488880 140729708486984 140045379609212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17629184 140729708495733 140729708495977 140729708495977 140729708498890 0 /proc/19917/statm: 28282 364 305 221 0 87 0 [pid=19919] ppid=19917 vsize=28227396 memory=39576 CPUtime=0.33 cores=0-7 /proc/19919/stat : 19919 (java) S 19917 19917 18670 0 -1 1077944320 9650 0 0 0 30 3 0 0 20 0 20 0 446320231 28904853504 9894 33554432000 4194304 4196468 140731579372272 140731579354816 140280108682999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 /proc/19919/statm: 7056849 9894 3315 1 0 7019032 0 [pid=19919/tid=19920] ppid=19917 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/19919/task/19920/stat : 19920 (java) R 19917 19917 18670 0 -1 4202560 6689 0 0 0 18 2 0 0 20 0 20 0 446320231 28904853504 9894 33554432000 4194304 4196468 140731579372272 140280112918480 140280108704925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19921] ppid=19917 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/19919/task/19921/stat : 19921 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 9894 33554432000 4194304 4196468 140731579372272 140280076241168 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19922] ppid=19917 vsize=28227396 memory=3907353874039699104 CPUtime=0 cores=0-7 /proc/19919/task/19922/stat : 19922 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279658703248 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19923] ppid=19917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19919/task/19923/stat : 19923 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279657650704 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19924] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19924/stat : 19924 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279656598160 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19925] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19925/stat : 19925 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279655545616 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19926] ppid=19917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19919/task/19926/stat : 19926 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279654493072 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19927] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19927/stat : 19927 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279653440528 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19928] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19928/stat : 19928 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320232 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279652387984 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19929] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19929/stat : 19929 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320233 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279609718768 140280108694146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19930] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19930/stat : 19930 (java) S 19917 19917 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446320234 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279608664992 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19931] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19931/stat : 19931 (java) S 19917 19917 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446320234 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279607612400 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19932] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19932/stat : 19932 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279606560976 140280108701595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19933] ppid=19917 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/19919/task/19933/stat : 19933 (java) S 19917 19917 18670 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 20 0 446320237 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279152765424 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19934] ppid=19917 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19919/task/19934/stat : 19934 (java) S 19917 19917 18670 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 446320237 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279151712880 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19935] ppid=19917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19919/task/19935/stat : 19935 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279150660336 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19936] ppid=19917 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/19919/task/19936/stat : 19936 (java) R 19917 19917 18670 0 -1 4202560 842 0 0 0 7 0 0 0 20 0 20 0 446320237 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279149607792 140280108704346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19937] ppid=19917 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19937/stat : 19937 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279148554464 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19938] ppid=19917 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19919/task/19938/stat : 19938 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320237 28904853504 9894 33554432000 4194304 4196468 140731579372272 140279147502000 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41032 KiB [startup+0.310889 s]* /proc/loadavg: 7.14 7.92 8.04 4/212 19938 /proc/meminfo: memFree=30555200/32770688 swapFree=66961208/67108860 [pid=19917] ppid=19914 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19917/stat : 19917 (xcsp3-exec) S 19914 19917 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446320230 115843072 364 33554432000 4194304 5098028 140729708488880 140729708486984 140045379609212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17629184 140729708495733 140729708495977 140729708495977 140729708498890 0 /proc/19917/statm: 28282 364 305 221 0 87 0 [pid=19919] ppid=19917 vsize=28231652 memory=45756 CPUtime=0.52 cores=0-7 /proc/19919/stat : 19919 (java) S 19917 19917 18670 0 -1 1077944320 10864 0 0 0 47 5 0 0 20 0 20 0 446320231 28909211648 11439 33554432000 4194304 4196468 140731579372272 140731579354816 140280108682999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 /proc/19919/statm: 7057913 11439 3338 1 0 7019032 0 [pid=19919/tid=19920] ppid=19917 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/19919/task/19920/stat : 19920 (java) R 19917 19917 18670 0 -1 4202560 7670 0 0 0 26 3 0 0 20 0 20 0 446320231 28909211648 11439 33554432000 4194304 4196468 140731579372272 140280112895552 140280101361013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19921] ppid=19917 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19921/stat : 19921 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28909211648 11439 33554432000 4194304 4196468 140731579372272 140280076241168 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19922] ppid=19917 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19922/stat : 19922 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320232 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279658703248 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19923] ppid=19917 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19923/stat : 19923 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279657650704 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19924] ppid=19917 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19924/stat : 19924 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279656598160 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19925] ppid=19917 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19925/stat : 19925 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320232 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279655545616 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19926] ppid=19917 vsize=28231652 memory=140107201997487 CPUtime=0 cores=0-7 /proc/19919/task/19926/stat : 19926 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320232 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279654493072 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19927] ppid=19917 vsize=28231652 memory=140107201999792 CPUtime=0 cores=0-7 /proc/19919/task/19927/stat : 19927 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279653440528 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19928] ppid=19917 vsize=28231652 memory=140107202002096 CPUtime=0 cores=0-7 /proc/19919/task/19928/stat : 19928 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320232 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279652387984 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19929] ppid=19917 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19929/stat : 19929 (java) S 19917 19917 18670 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446320233 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279609718768 140280108694146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19930] ppid=19917 vsize=28231652 memory=280214404018064 CPUtime=0 cores=0-7 /proc/19919/task/19930/stat : 19930 (java) S 19917 19917 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446320234 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279608664992 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19931] ppid=19917 vsize=28231652 memory=280214404015760 CPUtime=0 cores=0-7 /proc/19919/task/19931/stat : 19931 (java) S 19917 19917 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446320234 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279607612400 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19932] ppid=19917 vsize=28231652 memory=280214404022672 CPUtime=0 cores=0-7 /proc/19919/task/19932/stat : 19932 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320237 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279606560976 140280108701595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19933] ppid=19917 vsize=28231652 memory=280214403963920 CPUtime=0.02 cores=0-7 /proc/19919/task/19933/stat : 19933 (java) S 19917 19917 18670 0 -1 1077944384 681 0 0 0 2 0 0 0 20 0 20 0 446320237 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279152765424 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19934] ppid=19917 vsize=28231652 memory=280214404036496 CPUtime=0.03 cores=0-7 /proc/19919/task/19934/stat : 19934 (java) S 19917 19917 18670 0 -1 1077944384 149 0 0 0 3 0 0 0 20 0 20 0 446320237 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279151712880 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19935] ppid=19917 vsize=28231652 memory=280214404043408 CPUtime=0.01 cores=0-7 /proc/19919/task/19935/stat : 19935 (java) S 19917 19917 18670 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 446320237 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279150660336 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19936] ppid=19917 vsize=28231652 memory=280214404041104 CPUtime=0.12 cores=0-7 /proc/19919/task/19936/stat : 19936 (java) S 19917 19917 18670 0 -1 1077944384 1012 0 0 0 12 0 0 0 20 0 20 0 446320237 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279149607792 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19937] ppid=19917 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19937/stat : 19937 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446320237 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279148554464 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19938] ppid=19917 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/19919/task/19938/stat : 19938 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320237 28909211648 11439 33554432000 4194304 4196468 140731579372272 140279147502000 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47212 KiB [startup+0.701029 s] /proc/loadavg: 7.14 7.92 8.04 5/212 19938 /proc/meminfo: memFree=30541960/32770688 swapFree=66961208/67108860 [pid=19917] ppid=19914 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19917/stat : 19917 (xcsp3-exec) S 19914 19917 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446320230 115843072 364 33554432000 4194304 5098028 140729708488880 140729708486984 140045379609212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17629184 140729708495733 140729708495977 140729708495977 140729708498890 0 /proc/19917/statm: 28282 364 305 221 0 87 0 [pid=19919] ppid=19917 vsize=28233776 memory=125712 CPUtime=1.87 cores=0-7 /proc/19919/stat : 19919 (java) S 19917 19917 18670 0 -1 1077944320 15939 0 0 0 180 7 0 0 20 0 20 0 446320231 28911386624 31428 33554432000 4194304 4196468 140731579372272 140731579354816 140280108682999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 /proc/19919/statm: 7058444 31428 3447 1 0 7019544 0 [pid=19919/tid=19920] ppid=19917 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/19919/task/19920/stat : 19920 (java) R 19917 19917 18670 0 -1 4202560 8411 0 0 0 63 4 0 0 20 0 20 0 446320231 28911386624 31428 33554432000 4194304 4196468 140731579372272 140280112916304 140280092726629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19921] ppid=19917 vsize=28233776 memory=140107202208624 CPUtime=0 cores=0-7 /proc/19919/task/19921/stat : 19921 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28911386624 31428 33554432000 4194304 4196468 140731579372272 140280076241168 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19922] ppid=19917 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19919/task/19922/stat : 19922 (java) S 19917 19917 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446320232 28911386624 31428 33554432000 4194304 4196468 140731579372272 140279658703248 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19923] ppid=19917 vsize=28233776 memory=1564 CPUtime=0 cores=0-7 /proc/19919/task/19923/stat : 19923 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446320232 28911386624 31428 33554432000 4194304 4196468 140731579372272 140279657650704 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 ################ # More data... # ################ /proc/19919/task/19939/stat : 19939 (java) R 19917 19917 18670 0 -1 4202560 392 0 0 0 6565 2 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279138520248 140279752638105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19940] ppid=19917 vsize=28766288 memory=-8253362762722141311 CPUtime=64.94 cores=0-7 /proc/19919/task/19940/stat : 19940 (java) R 19917 19917 18670 0 -1 4202560 507 0 0 0 6494 0 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279137468488 140279751498157 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19941] ppid=19917 vsize=28766288 memory=7100839861465685612 CPUtime=66.07 cores=0-7 /proc/19919/task/19941/stat : 19941 (java) R 19917 19917 18670 0 -1 4202560 2840 0 0 0 6600 7 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279136415944 140279751431374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19942] ppid=19917 vsize=28766288 memory=-7175204567652784766 CPUtime=65.74 cores=0-7 /proc/19919/task/19942/stat : 19942 (java) R 19917 19917 18670 0 -1 4202560 2408 0 0 0 6570 4 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278281261304 140279751497947 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19943] ppid=19917 vsize=28766288 memory=3054156605268465310 CPUtime=65.64 cores=0-7 /proc/19919/task/19943/stat : 19943 (java) R 19917 19917 18670 0 -1 4202560 1228 0 0 0 6561 3 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278280211552 140279752536795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19944] ppid=19917 vsize=28766288 memory=4715433313220523562 CPUtime=65.94 cores=0-7 /proc/19919/task/19944/stat : 19944 (java) R 19917 19917 18670 0 -1 4202560 440 0 0 0 6594 0 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278279155968 140279752613679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19945] ppid=19917 vsize=28766288 memory=4638778402844725328 CPUtime=66.02 cores=0-7 /proc/19919/task/19945/stat : 19945 (java) R 19917 19917 18670 0 -1 4202560 1197 0 0 0 6600 2 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278278102856 140279752945329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19946] ppid=19917 vsize=28766288 memory=7079765598914236496 CPUtime=65.99 cores=0-7 /proc/19919/task/19946/stat : 19946 (java) R 19917 19917 18670 0 -1 4202560 974 0 0 0 6597 2 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278277050184 140279751743083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 Current children cumulated CPU time: 534.24 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1168144 KiB [startup+68.802 s] /proc/loadavg: 7.71 7.93 8.04 9/220 19949 /proc/meminfo: memFree=29439164/32770688 swapFree=66961208/67108860 [pid=19917] ppid=19914 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19917/stat : 19917 (xcsp3-exec) S 19914 19917 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446320230 115843072 364 33554432000 4194304 5098028 140729708488880 140729708486984 140045379609212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17629184 140729708495733 140729708495977 140729708495977 140729708498890 0 /proc/19917/statm: 28282 364 305 221 0 87 0 [pid=19919] ppid=19917 vsize=28766288 memory=1166688 CPUtime=540.55 cores=0-7 /proc/19919/stat : 19919 (java) S 19917 19917 18670 0 -1 1077944320 52304 0 0 0 53980 75 0 0 20 0 28 0 446320231 29456678912 291672 33554432000 4194304 4196468 140731579372272 140731579354816 140280108682999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 /proc/19919/statm: 7191572 291672 3524 1 0 7152672 0 [pid=19919/tid=19920] ppid=19917 vsize=28766288 memory=928 CPUtime=1.48 cores=0-7 /proc/19919/task/19920/stat : 19920 (java) S 19917 19917 18670 0 -1 1077944384 9279 0 0 0 141 7 0 0 20 0 28 0 446320231 29456678912 291672 33554432000 4194304 4196468 140731579372272 140280112923776 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19921] ppid=19917 vsize=28766288 memory=1628 CPUtime=0.09 cores=0-7 /proc/19919/task/19921/stat : 19921 (java) S 19917 19917 18670 0 -1 1077944384 1878 0 0 0 5 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140280076241168 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19922] ppid=19917 vsize=28766288 memory=796 CPUtime=0.09 cores=0-7 /proc/19919/task/19922/stat : 19922 (java) S 19917 19917 18670 0 -1 1077944384 1313 0 0 0 5 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279658703248 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19923] ppid=19917 vsize=28766288 memory=1444 CPUtime=0.11 cores=0-7 /proc/19919/task/19923/stat : 19923 (java) S 19917 19917 18670 0 -1 1077944384 969 0 0 0 6 5 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279657650704 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19924] ppid=19917 vsize=28766288 memory=1984 CPUtime=0.1 cores=0-7 /proc/19919/task/19924/stat : 19924 (java) S 19917 19917 18670 0 -1 1077944384 1182 0 0 0 6 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279656598160 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19925] ppid=19917 vsize=28766288 memory=2424 CPUtime=0.08 cores=0-7 /proc/19919/task/19925/stat : 19925 (java) S 19917 19917 18670 0 -1 1077944384 213 0 0 0 5 3 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279655545616 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19926] ppid=19917 vsize=28766288 memory=1760 CPUtime=0.09 cores=0-7 /proc/19919/task/19926/stat : 19926 (java) S 19917 19917 18670 0 -1 1077944384 164 0 0 0 5 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279654493072 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19927] ppid=19917 vsize=28766288 memory=6360846566568 CPUtime=0.1 cores=0-7 /proc/19919/task/19927/stat : 19927 (java) S 19917 19917 18670 0 -1 1077944384 339 0 0 0 6 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279653440528 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19928] ppid=19917 vsize=28766288 memory=8560 CPUtime=0.09 cores=0-7 /proc/19919/task/19928/stat : 19928 (java) S 19917 19917 18670 0 -1 1077944384 414 0 0 0 5 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279652387984 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19929] ppid=19917 vsize=28766288 memory=14008 CPUtime=0.01 cores=0-7 /proc/19919/task/19929/stat : 19929 (java) S 19917 19917 18670 0 -1 1077944384 2232 0 0 0 1 0 0 0 20 0 28 0 446320233 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279609718768 140280108694146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19930] ppid=19917 vsize=28766288 memory=23036 CPUtime=0 cores=0-7 /proc/19919/task/19930/stat : 19930 (java) S 19917 19917 18670 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446320234 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279608665056 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19931] ppid=19917 vsize=28766288 memory=14068 CPUtime=0 cores=0-7 /proc/19919/task/19931/stat : 19931 (java) S 19917 19917 18670 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446320234 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279607612416 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19932] ppid=19917 vsize=28766288 memory=2120 CPUtime=0 cores=0-7 /proc/19919/task/19932/stat : 19932 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279606560976 140280108701595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19933] ppid=19917 vsize=28766288 memory=496 CPUtime=1.72 cores=0-7 /proc/19919/task/19933/stat : 19933 (java) S 19917 19917 18670 0 -1 1077944384 7932 0 0 0 171 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279152765424 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19934] ppid=19917 vsize=28766288 memory=1556 CPUtime=1.67 cores=0-7 /proc/19919/task/19934/stat : 19934 (java) S 19917 19917 18670 0 -1 1077944384 4214 0 0 0 166 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279151712880 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19935] ppid=19917 vsize=28766288 memory=928 CPUtime=1.6 cores=0-7 /proc/19919/task/19935/stat : 19935 (java) S 19917 19917 18670 0 -1 1077944384 5631 0 0 0 159 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279150660336 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19936] ppid=19917 vsize=28766288 memory=1628 CPUtime=0.77 cores=0-7 /proc/19919/task/19936/stat : 19936 (java) S 19917 19917 18670 0 -1 1077944384 4297 0 0 0 76 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279149607792 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19937] ppid=19917 vsize=28766288 memory=796 CPUtime=0 cores=0-7 /proc/19919/task/19937/stat : 19937 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279148554464 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19938] ppid=19917 vsize=28766288 memory=984 CPUtime=0.01 cores=0-7 /proc/19919/task/19938/stat : 19938 (java) S 19917 19917 18670 0 -1 1077944384 704 0 0 0 0 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279147502000 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19939] ppid=19917 vsize=28766288 memory=2044 CPUtime=66.46 cores=0-7 /proc/19919/task/19939/stat : 19939 (java) R 19917 19917 18670 0 -1 4202560 392 0 0 0 6644 2 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279138520248 140279751497890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19940] ppid=19917 vsize=28766288 memory=6791534058613427641 CPUtime=65.72 cores=0-7 /proc/19919/task/19940/stat : 19940 (java) R 19917 19917 18670 0 -1 4202560 509 0 0 0 6572 0 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279137468488 140279751498266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19941] ppid=19917 vsize=28766288 memory=1056 CPUtime=66.86 cores=0-7 /proc/19919/task/19941/stat : 19941 (java) R 19917 19917 18670 0 -1 4202560 2892 0 0 0 6678 8 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279136415944 140279751498392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19942] ppid=19917 vsize=28766288 memory=780 CPUtime=66.53 cores=0-7 /proc/19919/task/19942/stat : 19942 (java) R 19917 19917 18670 0 -1 4202560 2490 0 0 0 6648 5 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278281261304 140279751431986 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19943] ppid=19917 vsize=28766288 memory=1708 CPUtime=66.43 cores=0-7 /proc/19919/task/19943/stat : 19943 (java) R 19917 19917 18670 0 -1 4202560 1239 0 0 0 6639 4 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278280211552 140279751498058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19944] ppid=19917 vsize=28766288 memory=1280 CPUtime=66.73 cores=0-7 /proc/19919/task/19944/stat : 19944 (java) R 19917 19917 18670 0 -1 4202560 442 0 0 0 6673 0 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278279155968 140279751498096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19945] ppid=19917 vsize=28766288 memory=6028 CPUtime=66.82 cores=0-7 /proc/19919/task/19945/stat : 19945 (java) R 19917 19917 18670 0 -1 4202560 1229 0 0 0 6679 3 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278278102856 140279752614117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19946] ppid=19917 vsize=28766288 memory=780 CPUtime=66.78 cores=0-7 /proc/19919/task/19946/stat : 19946 (java) R 19917 19917 18670 0 -1 4202560 1006 0 0 0 6676 2 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278277050184 140279752637903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 Current children cumulated CPU time: 540.55 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1168144 KiB [startup+69.002 s]* /proc/loadavg: 7.71 7.93 8.04 9/220 19949 /proc/meminfo: memFree=29439040/32770688 swapFree=66961208/67108860 [pid=19917] ppid=19914 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/19917/stat : 19917 (xcsp3-exec) S 19914 19917 18670 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446320230 115843072 364 33554432000 4194304 5098028 140729708488880 140729708486984 140045379609212 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17629184 140729708495733 140729708495977 140729708495977 140729708498890 0 /proc/19917/statm: 28282 364 305 221 0 87 0 [pid=19919] ppid=19917 vsize=28766288 memory=1166688 CPUtime=542.22 cores=0-7 /proc/19919/stat : 19919 (java) S 19917 19917 18670 0 -1 1077944320 52319 0 0 0 54147 75 0 0 20 0 28 0 446320231 29456678912 291672 33554432000 4194304 4196468 140731579372272 140731579354816 140280108682999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 /proc/19919/statm: 7191572 291672 3524 1 0 7152672 0 [pid=19919/tid=19920] ppid=19917 vsize=28766288 memory=1398722017469774279 CPUtime=1.48 cores=0-7 /proc/19919/task/19920/stat : 19920 (java) S 19917 19917 18670 0 -1 1077944384 9279 0 0 0 141 7 0 0 20 0 28 0 446320231 29456678912 291672 33554432000 4194304 4196468 140731579372272 140280112923776 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19921] ppid=19917 vsize=28766288 memory=4872558044660077418 CPUtime=0.09 cores=0-7 /proc/19919/task/19921/stat : 19921 (java) S 19917 19917 18670 0 -1 1077944384 1878 0 0 0 5 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140280076241168 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19922] ppid=19917 vsize=28766288 memory=14068 CPUtime=0.09 cores=0-7 /proc/19919/task/19922/stat : 19922 (java) S 19917 19917 18670 0 -1 1077944384 1313 0 0 0 5 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279658703248 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19923] ppid=19917 vsize=28766288 memory=2120 CPUtime=0.11 cores=0-7 /proc/19919/task/19923/stat : 19923 (java) S 19917 19917 18670 0 -1 1077944384 969 0 0 0 6 5 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279657650704 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19924] ppid=19917 vsize=28766288 memory=496 CPUtime=0.1 cores=0-7 /proc/19919/task/19924/stat : 19924 (java) S 19917 19917 18670 0 -1 1077944384 1182 0 0 0 6 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279656598160 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19925] ppid=19917 vsize=28766288 memory=780 CPUtime=0.08 cores=0-7 /proc/19919/task/19925/stat : 19925 (java) S 19917 19917 18670 0 -1 1077944384 213 0 0 0 5 3 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279655545616 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19926] ppid=19917 vsize=28766288 memory=1056 CPUtime=0.09 cores=0-7 /proc/19919/task/19926/stat : 19926 (java) S 19917 19917 18670 0 -1 1077944384 164 0 0 0 5 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279654493072 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19927] ppid=19917 vsize=28766288 memory=780 CPUtime=0.1 cores=0-7 /proc/19919/task/19927/stat : 19927 (java) S 19917 19917 18670 0 -1 1077944384 339 0 0 0 6 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279653440528 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19928] ppid=19917 vsize=28766288 memory=1456 CPUtime=0.09 cores=0-7 /proc/19919/task/19928/stat : 19928 (java) S 19917 19917 18670 0 -1 1077944384 414 0 0 0 5 4 0 0 20 0 28 0 446320232 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279652387984 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19929] ppid=19917 vsize=28766288 memory=1166688 CPUtime=0.01 cores=0-7 /proc/19919/task/19929/stat : 19929 (java) S 19917 19917 18670 0 -1 1077944384 2232 0 0 0 1 0 0 0 20 0 28 0 446320233 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279609718768 140280108694146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19930] ppid=19917 vsize=28766288 memory=6028 CPUtime=0 cores=0-7 /proc/19919/task/19930/stat : 19930 (java) S 19917 19917 18670 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 446320234 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279608665056 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19931] ppid=19917 vsize=28766288 memory=780 CPUtime=0 cores=0-7 /proc/19919/task/19931/stat : 19931 (java) S 19917 19917 18670 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446320234 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279607612416 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19932] ppid=19917 vsize=28766288 memory=3988 CPUtime=0 cores=0-7 /proc/19919/task/19932/stat : 19932 (java) S 19917 19917 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279606560976 140280108701595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19933] ppid=19917 vsize=28766288 memory=1088 CPUtime=1.72 cores=0-7 /proc/19919/task/19933/stat : 19933 (java) S 19917 19917 18670 0 -1 1077944384 7932 0 0 0 171 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279152765424 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19934] ppid=19917 vsize=28766288 memory=2832 CPUtime=1.67 cores=0-7 /proc/19919/task/19934/stat : 19934 (java) S 19917 19917 18670 0 -1 1077944384 4214 0 0 0 166 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279151712880 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19935] ppid=19917 vsize=28766288 memory=1564 CPUtime=1.6 cores=0-7 /proc/19919/task/19935/stat : 19935 (java) S 19917 19917 18670 0 -1 1077944384 5631 0 0 0 159 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279150660336 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19936] ppid=19917 vsize=28766288 memory=8560 CPUtime=0.77 cores=0-7 /proc/19919/task/19936/stat : 19936 (java) S 19917 19917 18670 0 -1 1077944384 4297 0 0 0 76 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279149607792 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19937] ppid=19917 vsize=28766288 memory=14008 CPUtime=0 cores=0-7 /proc/19919/task/19937/stat : 19937 (java) S 19917 19917 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279148554464 140280108693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19938] ppid=19917 vsize=28766288 memory=0 CPUtime=0.01 cores=0-7 /proc/19919/task/19938/stat : 19938 (java) S 19917 19917 18670 0 -1 1077944384 704 0 0 0 0 1 0 0 20 0 28 0 446320237 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279147502000 140280108694146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19939] ppid=19917 vsize=28766288 memory=0 CPUtime=66.67 cores=0-7 /proc/19919/task/19939/stat : 19939 (java) R 19917 19917 18670 0 -1 4202560 392 0 0 0 6665 2 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279138520248 140279751498022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19940] ppid=19917 vsize=28766288 memory=0 CPUtime=65.91 cores=0-7 /proc/19919/task/19940/stat : 19940 (java) R 19917 19917 18670 0 -1 4202560 509 0 0 0 6591 0 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279137468488 140279752536597 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19941] ppid=19917 vsize=28766288 memory=0 CPUtime=67.07 cores=0-7 /proc/19919/task/19941/stat : 19941 (java) R 19917 19917 18670 0 -1 4202560 2894 0 0 0 6699 8 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140279136415944 140279751498022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19942] ppid=19917 vsize=28766288 memory=0 CPUtime=66.74 cores=0-7 /proc/19919/task/19942/stat : 19942 (java) R 19917 19917 18670 0 -1 4202560 2491 0 0 0 6669 5 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278281261304 140279751743122 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19943] ppid=19917 vsize=28766288 memory=0 CPUtime=66.64 cores=0-7 /proc/19919/task/19943/stat : 19943 (java) R 19917 19917 18670 0 -1 4202560 1242 0 0 0 6660 4 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278280211552 140279752639056 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19944] ppid=19917 vsize=28766288 memory=0 CPUtime=66.94 cores=0-7 /proc/19919/task/19944/stat : 19944 (java) R 19917 19917 18670 0 -1 4202560 442 0 0 0 6694 0 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278279155968 140279752536368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19945] ppid=19917 vsize=28766288 memory=0 CPUtime=67.03 cores=0-7 /proc/19919/task/19945/stat : 19945 (java) R 19917 19917 18670 0 -1 4202560 1234 0 0 0 6700 3 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278278102856 140279751432179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 [pid=19919/tid=19946] ppid=19917 vsize=28766288 memory=3467824735389759795 CPUtime=66.99 cores=0-7 /proc/19919/task/19946/stat : 19946 (java) R 19917 19917 18670 0 -1 4202560 1010 0 0 0 6697 2 0 0 20 0 28 0 446320387 29456678912 291672 33554432000 4194304 4196468 140731579372272 140278277050184 140279752536358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140731579376618 140731579376790 140731579376790 140731579379663 0 Current children cumulated CPU time: 542.22 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 1168144 KiB [startup+69.1216 s]* /proc/loadavg: 7.71 7.93 8.04 3/192 19949 /proc/meminfo: memFree=30592244/32770688 swapFree=66961208/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 69.1322 CPU time (s): 543.013 CPU user time (s): 542.235 CPU system time (s): 0.777703 CPU usage (%): 785.47 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 1168144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 542.235 system time used= 0.777703 maximum resident set size= 1166716 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54660 page faults= 0 swaps= 0 block input operations= 0 block output operations= 216 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5425 involuntary context switches= 6386 # summary of solver processes directly reported to runsolver: # pid: 19917 # total CPU time (s): 543.013 # total CPU user time (s): 542.235 # total CPU system time (s): 0.777703 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.778849 second user time and 0.745313 second system time The end
Begin job on node116 at 2019-09-17 09:02:25 IDJOB=4399484 IDBENCH=126185 IDSOLVER=2854 FILE ID=node116/4399484-1568703786 RUNJOBID= node116-1568700981-18697 PBS_JOBID= 21703912 Free space on /tmp= 61232 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-94.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-4399484-1568703786/watcher-4399484-1568703786 -o /tmp/evaluation-result-4399484-1568703786/solver-4399484-1568703786 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2080949107 HOME/instance-4399484-1568703786.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d6d0435d13d3ff0671cf8a5c787b057 RANDOM SEED=2080949107 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30588048 kB MemAvailable: 31844152 kB Buffers: 150972 kB Cached: 1398192 kB SwapCached: 46588 kB Active: 1026360 kB Inactive: 574400 kB Active(anon): 4860 kB Inactive(anon): 94964 kB Active(file): 1021500 kB Inactive(file): 479436 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961208 kB Dirty: 26516 kB Writeback: 0 kB AnonPages: 146368 kB Mapped: 48072 kB Shmem: 40292 kB Slab: 170744 kB SReclaimable: 142004 kB SUnreclaim: 28740 kB KernelStack: 3728 kB PageTables: 6032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 505972 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61208 MiB End job on node116 at 2019-09-17 09:03:34