Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | UNSAT | 15.2856 | 2.42249 |
Name | PseudoBoolean/PseudoBoolean-dec-queen/ Pb-queen-0975965.xml |
MD5SUM | a14f05ce5b97c69cdfebe4c47d671ffd |
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 | 7.26699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 169 |
Number of constraints | 101 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":169}] |
Minimum variable degree | 7 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":7,"count":148},{"degree":8,"count":20},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 169 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":56},{"arity":169,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":101}] |
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-4404251-1569005282.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404251-1569005282.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.37/0.68 c solve instance... 15.18/2.41 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: 16374 MiB (11978 MiB free) memory of node 1: 16384 MiB (11545 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404251-1569005282/watcher-4404251-1569005282 -o /var/tmp/evaluation-result-4404251-1569005282/solver-4404251-1569005282 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569004999-28844 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 203385930 HOME/instance-4404251-1569005282.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29183, runsolver pid=29180 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 8.09 8.17 8.23 2/212 29204 /proc/meminfo: memFree=24070552/32770624 swapFree=66993588/67108860 [pid=29183] ppid=29180 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476795948 115843072 362 33554432000 4194304 5098028 140724703772960 140724703771064 140411294700156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140724703781714 140724703781973 140724703781973 140724703784902 0 /proc/29183/statm: 28282 362 304 221 0 87 0 [pid=29185] ppid=29183 vsize=28227396 memory=30108 CPUtime=0.12 cores=0-7 /proc/29185/stat : 29185 (java) S 29183 29183 28817 0 -1 1077944320 5492 0 0 0 11 1 0 0 20 0 20 0 476795948 28904853504 7527 33554432000 4194304 4196468 140730416417008 140730416399552 139746853760759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 /proc/29185/statm: 7056849 7527 3120 1 0 7019032 0 [pid=29185/tid=29186] ppid=29183 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/29185/task/29186/stat : 29186 (java) R 29183 29183 28817 0 -1 4202560 3402 0 0 0 8 1 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746857986896 139746853782685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29187] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29187/stat : 29187 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746773613584 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29188] ppid=29183 vsize=28227396 memory=140631162436382 CPUtime=0 cores=0-7 /proc/29185/task/29188/stat : 29188 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746772561040 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29189] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29189/stat : 29189 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746771507984 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29190] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29190/stat : 29190 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746770455440 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29191] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29191/stat : 29191 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746769402384 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29192] ppid=29183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29185/task/29192/stat : 29192 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746768349840 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29193] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29193/stat : 29193 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746767296784 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29194] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29194/stat : 29194 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 7527 33554432000 4194304 4196468 140730416417008 139746766244240 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29195] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29195/stat : 29195 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795951 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745183546096 139746853771906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29196] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29196/stat : 29196 (java) S 29183 29183 28817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476795951 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745182492320 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29197] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29197/stat : 29197 (java) S 29183 29183 28817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476795952 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745181439216 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29198] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29198/stat : 29198 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795954 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745180387792 139746853779355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29199] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29199/stat : 29199 (java) S 29183 29183 28817 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 476795954 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745179334896 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29200] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29200/stat : 29200 (java) S 29183 29183 28817 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476795954 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745178282352 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29201] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29201/stat : 29201 (java) R 29183 29183 28817 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 476795954 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745177229392 139746838404787 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29202] ppid=29183 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29185/task/29202/stat : 29202 (java) R 29183 29183 28817 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 476795954 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745176176752 139746853772694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29203] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29203/stat : 29203 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476795954 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745175124960 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29204] ppid=29183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29185/task/29204/stat : 29204 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795955 28904853504 7527 33554432000 4194304 4196468 140730416417008 139745174072496 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31556 KiB [startup+0.210628 s]* /proc/loadavg: 8.09 8.17 8.23 3/212 29204 /proc/meminfo: memFree=24046112/32770624 swapFree=66993588/67108860 [pid=29183] ppid=29180 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476795948 115843072 362 33554432000 4194304 5098028 140724703772960 140724703771064 140411294700156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140724703781714 140724703781973 140724703781973 140724703784902 0 /proc/29183/statm: 28282 362 304 221 0 87 0 [pid=29185] ppid=29183 vsize=28227396 memory=41444 CPUtime=0.33 cores=0-7 /proc/29185/stat : 29185 (java) S 29183 29183 28817 0 -1 1077944320 9061 0 0 0 30 3 0 0 20 0 20 0 476795948 28904853504 10361 33554432000 4194304 4196468 140730416417008 140730416399552 139746853760759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 /proc/29185/statm: 7056849 10361 3278 1 0 7019032 0 [pid=29185/tid=29186] ppid=29183 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/29185/task/29186/stat : 29186 (java) R 29183 29183 28817 0 -1 4202560 6212 0 0 0 17 2 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746857990480 139746853782685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29187] ppid=29183 vsize=28227396 memory=9329 CPUtime=0 cores=0-7 /proc/29185/task/29187/stat : 29187 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746773613584 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29188] ppid=29183 vsize=28227396 memory=288371007314122368 CPUtime=0 cores=0-7 /proc/29185/task/29188/stat : 29188 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746772561040 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29189] ppid=29183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29185/task/29189/stat : 29189 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746771507984 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29190] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29190/stat : 29190 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746770455440 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29191] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29191/stat : 29191 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746769402384 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29192] ppid=29183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29185/task/29192/stat : 29192 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746768349840 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29193] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29193/stat : 29193 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746767296784 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29194] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29194/stat : 29194 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476795949 28904853504 10361 33554432000 4194304 4196468 140730416417008 139746766244240 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29195] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29195/stat : 29195 (java) S 29183 29183 28817 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 476795951 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745183546096 139746853771906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29196] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29196/stat : 29196 (java) S 29183 29183 28817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476795951 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745182492320 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29197] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29197/stat : 29197 (java) S 29183 29183 28817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476795952 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745181439216 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29198] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29198/stat : 29198 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795954 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745180387792 139746853779355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29199] ppid=29183 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29185/task/29199/stat : 29199 (java) S 29183 29183 28817 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 476795954 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745179334896 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29200] ppid=29183 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29185/task/29200/stat : 29200 (java) S 29183 29183 28817 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 476795954 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745178282352 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29201] ppid=29183 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/29185/task/29201/stat : 29201 (java) S 29183 29183 28817 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 476795954 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745177229296 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29202] ppid=29183 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/29185/task/29202/stat : 29202 (java) R 29183 29183 28817 0 -1 4202560 731 0 0 0 8 0 0 0 20 0 20 0 476795954 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745176176752 139746834991930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29203] ppid=29183 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29203/stat : 29203 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476795954 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745175124960 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29204] ppid=29183 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29185/task/29204/stat : 29204 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795955 28904853504 10361 33554432000 4194304 4196468 140730416417008 139745174072496 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42892 KiB [startup+0.310438 s]* /proc/loadavg: 8.09 8.17 8.23 3/212 29204 /proc/meminfo: memFree=24044544/32770624 swapFree=66993588/67108860 [pid=29183] ppid=29180 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476795948 115843072 362 33554432000 4194304 5098028 140724703772960 140724703771064 140411294700156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140724703781714 140724703781973 140724703781973 140724703784902 0 /proc/29183/statm: 28282 362 304 221 0 87 0 [pid=29185] ppid=29183 vsize=28231652 memory=49752 CPUtime=0.52 cores=0-7 /proc/29185/stat : 29185 (java) S 29183 29183 28817 0 -1 1077944320 10344 0 0 0 48 4 0 0 20 0 20 0 476795948 28909211648 12438 33554432000 4194304 4196468 140730416417008 140730416399552 139746853760759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 /proc/29185/statm: 7057913 12438 3346 1 0 7019032 0 [pid=29185/tid=29186] ppid=29183 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/29185/task/29186/stat : 29186 (java) R 29183 29183 28817 0 -1 4202560 7330 0 0 0 26 3 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746857991872 139746837841246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29187] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29187/stat : 29187 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746773613584 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29188] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29188/stat : 29188 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746772561040 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29189] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29189/stat : 29189 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746771507984 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29190] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29190/stat : 29190 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746770455440 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29191] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29191/stat : 29191 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746769402384 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29192] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29192/stat : 29192 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746768349840 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29193] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29193/stat : 29193 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746767296784 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29194] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29194/stat : 29194 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476795949 28909211648 12438 33554432000 4194304 4196468 140730416417008 139746766244240 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29195] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29195/stat : 29195 (java) S 29183 29183 28817 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 476795951 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745183546096 139746853771906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29196] ppid=29183 vsize=28231652 memory=281262107598208 CPUtime=0 cores=0-7 /proc/29185/task/29196/stat : 29196 (java) S 29183 29183 28817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476795951 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745182492320 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29197] ppid=29183 vsize=28231652 memory=281262107602816 CPUtime=0 cores=0-7 /proc/29185/task/29197/stat : 29197 (java) S 29183 29183 28817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476795952 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745181439216 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29198] ppid=29183 vsize=28231652 memory=281262107607424 CPUtime=0 cores=0-7 /proc/29185/task/29198/stat : 29198 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476795954 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745180387792 139746853779355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29199] ppid=29183 vsize=28231652 memory=281262107612032 CPUtime=0.02 cores=0-7 /proc/29185/task/29199/stat : 29199 (java) S 29183 29183 28817 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 476795954 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745179334896 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29200] ppid=29183 vsize=28231652 memory=281262107616640 CPUtime=0.03 cores=0-7 /proc/29185/task/29200/stat : 29200 (java) R 29183 29183 28817 0 -1 4202560 447 0 0 0 3 0 0 0 20 0 20 0 476795954 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745178272736 139746835281941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29201] ppid=29183 vsize=28231652 memory=281262107621248 CPUtime=0.02 cores=0-7 /proc/29185/task/29201/stat : 29201 (java) S 29183 29183 28817 0 -1 1077944384 93 0 0 0 2 0 0 0 20 0 20 0 476795954 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745177229296 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29202] ppid=29183 vsize=28231652 memory=281262107625856 CPUtime=0.12 cores=0-7 /proc/29185/task/29202/stat : 29202 (java) S 29183 29183 28817 0 -1 1077944384 799 0 0 0 12 0 0 0 20 0 20 0 476795954 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745176176752 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29203] ppid=29183 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29203/stat : 29203 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476795954 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745175124960 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29204] ppid=29183 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29185/task/29204/stat : 29204 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476795955 28909211648 12438 33554432000 4194304 4196468 140730416417008 139745174072496 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51200 KiB [startup+0.700921 s] /proc/loadavg: 8.09 8.17 8.23 5/212 29204 /proc/meminfo: memFree=24036276/32770624 swapFree=66993588/67108860 [pid=29183] ppid=29180 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476795948 115843072 362 33554432000 4194304 5098028 140724703772960 140724703771064 140411294700156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140724703781714 140724703781973 140724703781973 140724703784902 0 /proc/29183/statm: 28282 362 304 221 0 87 0 [pid=29185] ppid=29183 vsize=28700752 memory=114192 CPUtime=1.82 cores=0-7 /proc/29185/stat : 29185 (java) S 29183 29183 28817 0 -1 1077944320 16437 0 0 0 174 8 0 0 20 0 28 0 476795948 29389570048 28548 33554432000 4194304 4196468 140730416417008 140730416399552 139746853760759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 /proc/29185/statm: 7175188 28548 3462 1 0 7136288 0 [pid=29185/tid=29186] ppid=29183 vsize=28700752 memory=0 CPUtime=0.66 cores=0-7 /proc/29185/task/29186/stat : 29186 (java) S 29183 29183 28817 0 -1 1077944384 8788 0 0 0 62 4 0 0 20 0 28 0 476795949 29389570048 28548 33554432000 4194304 4196468 140730416417008 139746858001536 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29187] ppid=29183 vsize=28700752 memory=140631054001024 CPUtime=0 cores=0-7 /proc/29185/task/29187/stat : 29187 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476795949 29389570048 28548 33554432000 4194304 4196468 140730416417008 139746773613584 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29188] ppid=29183 vsize=28700752 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29188/stat : 29188 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795949 29389570048 28548 33554432000 4194304 4196468 140730416417008 139746772561040 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29189] ppid=29183 vsize=28700752 memory=1228 CPUtime=0 cores=0-7 /proc/29185/task/29189/stat : 29189 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795949 29389570048 28548 33554432000 4194304 4196468 140730416417008 139746771507984 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 ################ # More data... # ################ [pid=29185/tid=29202] ppid=29183 vsize=28768108 memory=13847456437766712 CPUtime=0.57 cores=0-7 /proc/29185/task/29202/stat : 29202 (java) S 29183 29183 28817 0 -1 1077944384 2664 0 0 0 56 1 0 0 20 0 28 0 476795954 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745176176752 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29203] ppid=29183 vsize=28768108 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29203/stat : 29203 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476795954 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745175124960 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29204] ppid=29183 vsize=28768108 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29204/stat : 29204 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795955 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745174072496 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29205] ppid=29183 vsize=28768108 memory=0 CPUtime=0.63 cores=0-7 /proc/29185/task/29205/stat : 29205 (java) R 29183 29183 28817 0 -1 4202560 59 0 0 0 63 0 0 0 20 0 28 0 476796017 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745164856208 139746447270253 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29206] ppid=29183 vsize=28768108 memory=0 CPUtime=0.59 cores=0-7 /proc/29185/task/29206/stat : 29206 (java) R 29183 29183 28817 0 -1 4202560 49 0 0 0 59 0 0 0 20 0 28 0 476796018 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745163804624 139746447376968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29207] ppid=29183 vsize=28768108 memory=0 CPUtime=0.7 cores=0-7 /proc/29185/task/29207/stat : 29207 (java) R 29183 29183 28817 0 -1 4202560 54 0 0 0 70 0 0 0 20 0 28 0 476796018 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745162748240 139746447268838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29208] ppid=29183 vsize=28768108 memory=0 CPUtime=0.61 cores=0-7 /proc/29185/task/29208/stat : 29208 (java) R 29183 29183 28817 0 -1 4202560 73 0 0 0 61 0 0 0 20 0 28 0 476796018 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745161699592 139746446779800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29209] ppid=29183 vsize=28768108 memory=4 CPUtime=0.7 cores=0-7 /proc/29185/task/29209/stat : 29209 (java) R 29183 29183 28817 0 -1 4202560 32 0 0 0 70 0 0 0 20 0 28 0 476796018 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745160646032 139746447793824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29210] ppid=29183 vsize=28768108 memory=140631054160288 CPUtime=0.72 cores=0-7 /proc/29185/task/29210/stat : 29210 (java) R 29183 29183 28817 0 -1 4202560 41 0 0 0 72 0 0 0 20 0 28 0 476796018 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745159593488 139746447268554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29211] ppid=29183 vsize=28768108 memory=281262107986816 CPUtime=0.68 cores=0-7 /proc/29185/task/29211/stat : 29211 (java) R 29183 29183 28817 0 -1 4202560 31 0 0 0 68 0 0 0 20 0 28 0 476796018 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745158541960 139746447518580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29212] ppid=29183 vsize=28768108 memory=0 CPUtime=0.76 cores=0-7 /proc/29185/task/29212/stat : 29212 (java) R 29183 29183 28817 0 -1 4202560 27 0 0 0 76 0 0 0 20 0 28 0 476796018 29458542592 41861 33554432000 4194304 4196468 140730416417008 139745157489416 139746447519012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 Current children cumulated CPU time: 8.85 s Current children cumulated vsize: 28881236 KiB Current children cumulated memory: 168892 KiB [startup+2.00149 s]* /proc/loadavg: 8.09 8.17 8.23 9/220 29212 /proc/meminfo: memFree=23910096/32770624 swapFree=66993588/67108860 [pid=29183] ppid=29180 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476795948 115843072 362 33554432000 4194304 5098028 140724703772960 140724703771064 140411294700156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140724703781714 140724703781973 140724703781973 140724703784902 0 /proc/29183/statm: 28282 362 304 221 0 87 0 [pid=29185] ppid=29183 vsize=28766288 memory=192912 CPUtime=12.1 cores=0-7 /proc/29185/stat : 29185 (java) S 29183 29183 28817 0 -1 1077944320 24647 0 0 0 1199 11 0 0 20 0 28 0 476795948 29456678912 48228 33554432000 4194304 4196468 140730416417008 140730416399552 139746853760759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 /proc/29185/statm: 7191572 48228 3481 1 0 7152672 0 [pid=29185/tid=29186] ppid=29183 vsize=28766288 memory=8316850467074736180 CPUtime=0.66 cores=0-7 /proc/29185/task/29186/stat : 29186 (java) S 29183 29183 28817 0 -1 1077944384 8788 0 0 0 62 4 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746858001536 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29187] ppid=29183 vsize=28766288 memory=9314 CPUtime=0 cores=0-7 /proc/29185/task/29187/stat : 29187 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746773613584 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29188] ppid=29183 vsize=28766288 memory=288371007209243922 CPUtime=0 cores=0-7 /proc/29185/task/29188/stat : 29188 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746772561040 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29189] ppid=29183 vsize=28766288 memory=281262107919392 CPUtime=0 cores=0-7 /proc/29185/task/29189/stat : 29189 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746771507984 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29190] ppid=29183 vsize=28766288 memory=281262107919744 CPUtime=0 cores=0-7 /proc/29185/task/29190/stat : 29190 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746770455440 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29191] ppid=29183 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29191/stat : 29191 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746769402384 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29192] ppid=29183 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29192/stat : 29192 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746768349840 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29193] ppid=29183 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29193/stat : 29193 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746767296784 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29194] ppid=29183 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29194/stat : 29194 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 48228 33554432000 4194304 4196468 140730416417008 139746766244240 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29195] ppid=29183 vsize=28766288 memory=140631053853376 CPUtime=0 cores=0-7 /proc/29185/task/29195/stat : 29195 (java) S 29183 29183 28817 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 476795951 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745183546096 139746853771906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29196] ppid=29183 vsize=28766288 memory=7649399367017838897 CPUtime=0 cores=0-7 /proc/29185/task/29196/stat : 29196 (java) S 29183 29183 28817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476795951 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745182492320 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29197] ppid=29183 vsize=28766288 memory=7300734584413972821 CPUtime=0 cores=0-7 /proc/29185/task/29197/stat : 29197 (java) S 29183 29183 28817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 476795952 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745181439216 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29198] ppid=29183 vsize=28766288 memory=7957689449132282197 CPUtime=0 cores=0-7 /proc/29185/task/29198/stat : 29198 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476795954 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745180387792 139746853779355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29199] ppid=29183 vsize=28766288 memory=7444846452430365032 CPUtime=0.79 cores=0-7 /proc/29185/task/29199/stat : 29199 (java) S 29183 29183 28817 0 -1 1077944384 3335 0 0 0 78 1 0 0 20 0 28 0 476795954 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745179334896 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29200] ppid=29183 vsize=28766288 memory=1448 CPUtime=0.78 cores=0-7 /proc/29185/task/29200/stat : 29200 (java) S 29183 29183 28817 0 -1 1077944384 4427 0 0 0 77 1 0 0 20 0 28 0 476795954 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745178282352 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29201] ppid=29183 vsize=28766288 memory=149028 CPUtime=0.91 cores=0-7 /proc/29185/task/29201/stat : 29201 (java) S 29183 29183 28817 0 -1 1077944384 3195 0 0 0 91 0 0 0 20 0 28 0 476795954 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745177229296 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29202] ppid=29183 vsize=28766288 memory=0 CPUtime=0.57 cores=0-7 /proc/29185/task/29202/stat : 29202 (java) R 29183 29183 28817 0 -1 1077944384 2812 0 0 0 56 1 0 0 20 0 28 0 476795954 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745176176752 139746853771906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29203] ppid=29183 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29203/stat : 29203 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476795954 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745175124960 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29204] ppid=29183 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29204/stat : 29204 (java) S 29183 29183 28817 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 476795955 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745174072496 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29205] ppid=29183 vsize=28766288 memory=0 CPUtime=1.02 cores=0-7 /proc/29185/task/29205/stat : 29205 (java) R 29183 29183 28817 0 -1 4202560 77 0 0 0 102 0 0 0 20 0 28 0 476796017 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745164852008 139746447324506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29206] ppid=29183 vsize=28766288 memory=0 CPUtime=0.99 cores=0-7 /proc/29185/task/29206/stat : 29206 (java) R 29183 29183 28817 0 -1 4202560 98 0 0 0 99 0 0 0 20 0 28 0 476796018 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745163801752 139746838271104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29207] ppid=29183 vsize=28766288 memory=0 CPUtime=1.03 cores=0-7 /proc/29185/task/29207/stat : 29207 (java) R 29183 29183 28817 0 -1 4202560 145 0 0 0 103 0 0 0 20 0 28 0 476796018 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745162747592 139746447837875 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29208] ppid=29183 vsize=28766288 memory=0 CPUtime=0.97 cores=0-7 /proc/29185/task/29208/stat : 29208 (java) R 29183 29183 28817 0 -1 4202560 128 0 0 0 97 0 0 0 20 0 28 0 476796018 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745161696152 139746447269820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29209] ppid=29183 vsize=28766288 memory=0 CPUtime=1.06 cores=0-7 /proc/29185/task/29209/stat : 29209 (java) R 29183 29183 28817 0 -1 4202560 80 0 0 0 106 0 0 0 20 0 28 0 476796018 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745160643096 139746447268235 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29210] ppid=29183 vsize=28766288 memory=7517159033909830208 CPUtime=1.09 cores=0-7 /proc/29185/task/29210/stat : 29210 (java) R 29183 29183 28817 0 -1 4202560 111 0 0 0 109 0 0 0 20 0 28 0 476796018 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745159590552 139746446779347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29211] ppid=29183 vsize=28766288 memory=7236560471381796718 CPUtime=1.03 cores=0-7 /proc/29185/task/29211/stat : 29211 (java) R 29183 29183 28817 0 -1 4202560 58 0 0 0 103 0 0 0 20 0 28 0 476796018 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745158537368 139746447920544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29212] ppid=29183 vsize=28766288 memory=8027502948039812715 CPUtime=1.08 cores=0-7 /proc/29185/task/29212/stat : 29212 (java) R 29183 29183 28817 0 -1 4202560 72 0 0 0 108 0 0 0 20 0 28 0 476796018 29456678912 48228 33554432000 4194304 4196468 140730416417008 139745157485352 139746446661645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 Current children cumulated CPU time: 12.1 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 194360 KiB [startup+2.40149 s] /proc/loadavg: 8.09 8.17 8.23 9/220 29212 /proc/meminfo: memFree=23910096/32770624 swapFree=66993588/67108860 [pid=29183] ppid=29180 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/29183/stat : 29183 (xcsp3-exec) S 29180 29183 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476795948 115843072 362 33554432000 4194304 5098028 140724703772960 140724703771064 140411294700156 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11444224 140724703781714 140724703781973 140724703781973 140724703784902 0 /proc/29183/statm: 28282 362 304 221 0 87 0 [pid=29185] ppid=29183 vsize=28766288 memory=219784 CPUtime=15.18 cores=0-7 /proc/29185/stat : 29185 (java) S 29183 29183 28817 0 -1 1077944320 25977 0 0 0 1505 13 0 0 20 0 28 0 476795948 29456678912 54946 33554432000 4194304 4196468 140730416417008 140730416399552 139746853760759 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 /proc/29185/statm: 7191572 54946 3484 1 0 7152672 0 [pid=29185/tid=29186] ppid=29183 vsize=28766288 memory=7449613943217087320 CPUtime=0.66 cores=0-7 /proc/29185/task/29186/stat : 29186 (java) S 29183 29183 28817 0 -1 1077944384 8788 0 0 0 62 4 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746858001536 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29187] ppid=29183 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29187/stat : 29187 (java) S 29183 29183 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746773613584 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29188] ppid=29183 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29185/task/29188/stat : 29188 (java) S 29183 29183 28817 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746772561040 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29189] ppid=29183 vsize=28766288 memory=281262108251968 CPUtime=0 cores=0-7 /proc/29185/task/29189/stat : 29189 (java) S 29183 29183 28817 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746771507984 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29190] ppid=29183 vsize=28766288 memory=57 CPUtime=0 cores=0-7 /proc/29185/task/29190/stat : 29190 (java) S 29183 29183 28817 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746770455440 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29191] ppid=29183 vsize=28766288 memory=7516877558933115221 CPUtime=0 cores=0-7 /proc/29185/task/29191/stat : 29191 (java) S 29183 29183 28817 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746769402384 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29192] ppid=29183 vsize=28766288 memory=7374735002143707500 CPUtime=0 cores=0-7 /proc/29185/task/29192/stat : 29192 (java) S 29183 29183 28817 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746768349840 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29193] ppid=29183 vsize=28766288 memory=7086810191388234064 CPUtime=0 cores=0-7 /proc/29185/task/29193/stat : 29193 (java) S 29183 29183 28817 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746767296784 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29194] ppid=29183 vsize=28766288 memory=4641079539419201638 CPUtime=0 cores=0-7 /proc/29185/task/29194/stat : 29194 (java) S 29183 29183 28817 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 28 0 476795949 29456678912 54946 33554432000 4194304 4196468 140730416417008 139746766244240 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29195] ppid=29183 vsize=28766288 memory=5860978894223467597 CPUtime=0 cores=0-7 /proc/29185/task/29195/stat : 29195 (java) S 29183 29183 28817 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 476795951 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745183546096 139746853771906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29196] ppid=29183 vsize=28766288 memory=6298653967104890964 CPUtime=0 cores=0-7 /proc/29185/task/29196/stat : 29196 (java) S 29183 29183 28817 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476795951 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745182492320 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29197] ppid=29183 vsize=28766288 memory=33 CPUtime=0 cores=0-7 /proc/29185/task/29197/stat : 29197 (java) S 29183 29183 28817 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476795952 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745181439216 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29198] ppid=29183 vsize=28766288 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/29185/task/29198/stat : 29198 (java) S 29183 29183 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476795954 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745180387792 139746853779355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29199] ppid=29183 vsize=28766288 memory=6944652177228980320 CPUtime=0.79 cores=0-7 /proc/29185/task/29199/stat : 29199 (java) S 29183 29183 28817 0 -1 1077944384 3335 0 0 0 78 1 0 0 20 0 28 0 476795954 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745179334896 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29200] ppid=29183 vsize=28766288 memory=6944656592455360604 CPUtime=0.78 cores=0-7 /proc/29185/task/29200/stat : 29200 (java) S 29183 29183 28817 0 -1 1077944384 4427 0 0 0 77 1 0 0 20 0 28 0 476795954 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745178282352 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29201] ppid=29183 vsize=28766288 memory=6944652177228980320 CPUtime=0.93 cores=0-7 /proc/29185/task/29201/stat : 29201 (java) S 29183 29183 28817 0 -1 1077944384 3353 0 0 0 93 0 0 0 20 0 28 0 476795954 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745177229296 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29202] ppid=29183 vsize=28766288 memory=-7175753904026764170 CPUtime=0.58 cores=0-7 /proc/29185/task/29202/stat : 29202 (java) S 29183 29183 28817 0 -1 1077944384 3485 0 0 0 57 1 0 0 20 0 28 0 476795954 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745176176752 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29203] ppid=29183 vsize=28766288 memory=-7361183220417257581 CPUtime=0 cores=0-7 /proc/29185/task/29203/stat : 29203 (java) S 29183 29183 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476795954 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745175124960 139746853770965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29204] ppid=29183 vsize=28766288 memory=-7595718148001219744 CPUtime=0 cores=0-7 /proc/29185/task/29204/stat : 29204 (java) S 29183 29183 28817 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 476795955 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745174072496 139746853771906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29205] ppid=29183 vsize=28766288 memory=8764164798296004766 CPUtime=1.4 cores=0-7 /proc/29185/task/29205/stat : 29205 (java) R 29183 29183 28817 0 -1 4202560 77 0 0 0 140 0 0 0 20 0 28 0 476796017 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745164853016 139746446779576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29206] ppid=29183 vsize=28766288 memory=57 CPUtime=1.37 cores=0-7 /proc/29185/task/29206/stat : 29206 (java) R 29183 29183 28817 0 -1 4202560 99 0 0 0 137 0 0 0 20 0 28 0 476796018 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745163801688 139746446854200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29207] ppid=29183 vsize=28766288 memory=0 CPUtime=1.4 cores=0-7 /proc/29185/task/29207/stat : 29207 (java) R 29183 29183 28817 0 -1 4202560 151 0 0 0 140 0 0 0 20 0 28 0 476796018 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745162747608 139746447269873 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29208] ppid=29183 vsize=28766288 memory=0 CPUtime=1.35 cores=0-7 /proc/29185/task/29208/stat : 29208 (java) R 29183 29183 28817 0 -1 4202560 131 0 0 0 135 0 0 0 20 0 28 0 476796018 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745161695840 139746446923561 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29209] ppid=29183 vsize=28766288 memory=0 CPUtime=1.44 cores=0-7 /proc/29185/task/29209/stat : 29209 (java) R 29183 29183 28817 0 -1 4202560 84 0 0 0 144 0 0 0 20 0 28 0 476796018 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745160642840 139746447923800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29210] ppid=29183 vsize=28766288 memory=0 CPUtime=1.46 cores=0-7 /proc/29185/task/29210/stat : 29210 (java) R 29183 29183 28817 0 -1 4202560 112 0 0 0 146 0 0 0 20 0 28 0 476796018 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745159591320 139746447708043 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29211] ppid=29183 vsize=28766288 memory=0 CPUtime=1.41 cores=0-7 /proc/29185/task/29211/stat : 29211 (java) R 29183 29183 28817 0 -1 4202560 60 0 0 0 141 0 0 0 20 0 28 0 476796018 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745158540792 139746446779075 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 [pid=29185/tid=29212] ppid=29183 vsize=28766288 memory=0 CPUtime=1.46 cores=0-7 /proc/29185/task/29212/stat : 29212 (java) R 29183 29183 28817 0 -1 4202560 79 0 0 0 146 0 0 0 20 0 28 0 476796018 29456678912 54946 33554432000 4194304 4196468 140730416417008 139745157485720 139746446855267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35778560 140730416419798 140730416419974 140730416419974 140730416422863 0 Current children cumulated CPU time: 15.18 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 221232 KiB Child status: 0 Real time (s): 2.42249 CPU time (s): 15.2856 CPU user time (s): 15.1427 CPU system time (s): 0.142924 CPU usage (%): 630.987 Max. virtual memory (cumulated for all children) (KiB): 28881236 Max. memory (cumulated for all children) (KiB): 221232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.1427 system time used= 0.142924 maximum resident set size= 219976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26706 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3274 involuntary context switches= 400 # summary of solver processes directly reported to runsolver: # pid: 29183 # total CPU time (s): 15.2856 # total CPU user time (s): 15.1427 # total CPU system time (s): 0.142924 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.043514 second user time and 0.069415 second system time The end
Begin job on node126 at 2019-09-20 20:47:24 IDJOB=4404251 IDBENCH=135372 IDSOLVER=2865 FILE ID=node126/4404251-1569005282 RUNJOBID= node126-1569004999-28844 PBS_JOBID= 21704747 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-queen/Pb-queen-0975965.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404251-1569005282/watcher-4404251-1569005282 -o /var/tmp/evaluation-result-4404251-1569005282/solver-4404251-1569005282 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569004999-28844 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 203385930 HOME/instance-4404251-1569005282.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a14f05ce5b97c69cdfebe4c47d671ffd RANDOM SEED=203385930 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24088360 kB MemAvailable: 31855140 kB Buffers: 54856 kB Cached: 7945444 kB SwapCached: 7232 kB Active: 3982824 kB Inactive: 4027892 kB Active(anon): 4216 kB Inactive(anon): 44828 kB Active(file): 3978608 kB Inactive(file): 3983064 kB Unevictable: 109452 kB Mlocked: 109452 kB SwapTotal: 67108860 kB SwapFree: 66993588 kB Dirty: 26204 kB Writeback: 0 kB AnonPages: 179412 kB Mapped: 47708 kB Shmem: 29980 kB Slab: 261856 kB SReclaimable: 233568 kB SUnreclaim: 28288 kB KernelStack: 3904 kB PageTables: 5132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /var/tmp at the end= 13484 MiB End job on node126 at 2019-09-20 20:47:26