Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | UNSAT | 557.525 | 70.5194 |
Name | Quasigroups/ QuasiGroup-4-08_c18.xml |
MD5SUM | 86261698a40453ca60d699c1ebc214eb |
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 | 79.2178 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 128 |
Number of constraints | 114 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 64 |
Distribution of domain sizes | [{"size":8,"count":64},{"size":64,"count":56}] |
Minimum variable degree | 0 |
Maximum variable degree | 59 |
Distribution of variable degrees | [{"degree":0,"count":8},{"degree":2,"count":56},{"degree":58,"count":8},{"degree":59,"count":56}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 65 |
Distribution of constraint arities | [{"arity":3,"count":56},{"arity":8,"count":1},{"arity":64,"count":1},{"arity":65,"count":56}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 56 |
Distribution of constraint types | [{"type":"intension","count":56},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":56}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297720-1532731060.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297720-1532731060.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.64/0.79 c solve instance... 557.45/70.50 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 (10374 MiB free) memory of node 1: 16384 MiB (15821 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297720-1532731060/watcher-4297720-1532731060 -o /tmp/evaluation-result-4297720-1532731060/solver-4297720-1532731060 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532723491-24006 --watchdog 2580 HOME/xcsp3-exec -seed 810409190 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297720-1532731060.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=25063, runsolver pid=25060 [startup+0.100114 s]* /proc/loadavg: 7.37 8.01 8.16 2/198 25084 /proc/meminfo: memFree=26809032/32770624 swapFree=67027980/67108860 [pid=25063] ppid=25060 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25063/stat : 25063 (xcsp3-exec) S 25060 25063 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90669179 115843072 363 33554432000 4194304 5098028 140735839736400 140735839734504 140389360685692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27426816 140735839745078 140735839745280 140735839745280 140735839748042 0 /proc/25063/statm: 28282 363 305 221 0 87 0 [pid=25065] ppid=25063 vsize=26104152 memory=27356 CPUtime=0.12 cores=0-7 /proc/25065/stat : 25065 (java) S 25063 25063 23979 0 -1 1077944320 5758 0 0 0 11 1 0 0 20 0 20 0 90669179 26730651648 6839 33554432000 4194304 4196468 140731089355296 140731089337840 140532576800503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 /proc/25065/statm: 6526038 6839 3003 1 0 6488315 0 [pid=25065/tid=25066] ppid=25063 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/25065/task/25066/stat : 25066 (java) R 25063 25063 23979 0 -1 4202560 3777 0 0 0 8 0 0 0 20 0 20 0 90669180 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532581019480 140532212705137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25067] ppid=25063 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25065/task/25067/stat : 25067 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669180 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532539907088 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25068] ppid=25063 vsize=26104152 memory=139987500500608 CPUtime=0 cores=0-7 /proc/25065/task/25068/stat : 25068 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669180 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532133526672 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25069] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25069/stat : 25069 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669180 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532132473616 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25070] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25070/stat : 25070 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532131421072 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25071] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25071/stat : 25071 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532130368016 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25072] ppid=25063 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25065/task/25072/stat : 25072 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532129315472 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25073] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25073/stat : 25073 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532128262416 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25074] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25074/stat : 25074 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 6839 33554432000 4194304 4196468 140731089355296 140532127209872 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25075] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25075/stat : 25075 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669182 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531569933040 140532576811650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25076] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25076/stat : 25076 (java) S 25063 25063 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90669182 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531568879264 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25077] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25077/stat : 25077 (java) S 25063 25063 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90669183 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531567826160 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25078] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25078/stat : 25078 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669185 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531566774736 140532576819099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25079] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25079/stat : 25079 (java) S 25063 25063 23979 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 90669185 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531565721840 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25080] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25080/stat : 25080 (java) R 25063 25063 23979 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 90669185 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531564669296 140532576811650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25081] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25081/stat : 25081 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90669185 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531563616240 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25082] ppid=25063 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/25065/task/25082/stat : 25082 (java) R 25063 25063 23979 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 90669185 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531562563696 140532576812438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25083] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25083/stat : 25083 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90669185 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531561511904 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25084] ppid=25063 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25065/task/25084/stat : 25084 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669186 26730651648 6839 33554432000 4194304 4196468 140731089355296 140531560459440 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28808 KiB [startup+0.210146 s]* /proc/loadavg: 7.37 8.01 8.16 2/198 25084 /proc/meminfo: memFree=26798216/32770624 swapFree=67027980/67108860 [pid=25063] ppid=25060 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25063/stat : 25063 (xcsp3-exec) S 25060 25063 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90669179 115843072 363 33554432000 4194304 5098028 140735839736400 140735839734504 140389360685692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27426816 140735839745078 140735839745280 140735839745280 140735839748042 0 /proc/25063/statm: 28282 363 305 221 0 87 0 [pid=25065] ppid=25063 vsize=26104152 memory=39148 CPUtime=0.33 cores=0-7 /proc/25065/stat : 25065 (java) S 25063 25063 23979 0 -1 1077944320 8376 0 0 0 31 2 0 0 20 0 20 0 90669179 26730651648 9787 33554432000 4194304 4196468 140731089355296 140731089337840 140532576800503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 /proc/25065/statm: 6526038 9787 3198 1 0 6488315 0 [pid=25065/tid=25066] ppid=25063 vsize=26104152 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/25065/task/25066/stat : 25066 (java) R 25063 25063 23979 0 -1 4202560 5596 0 0 0 18 1 0 0 20 0 20 0 90669180 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532581034544 140532212596800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25067] ppid=25063 vsize=26104152 memory=288230604674433361 CPUtime=0 cores=0-7 /proc/25065/task/25067/stat : 25067 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669180 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532539907088 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25068] ppid=25063 vsize=26104152 memory=288370363652212352 CPUtime=0 cores=0-7 /proc/25065/task/25068/stat : 25068 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669180 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532133526672 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25069] ppid=25063 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25065/task/25069/stat : 25069 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669180 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532132473616 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25070] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25070/stat : 25070 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532131421072 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25071] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25071/stat : 25071 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532130368016 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25072] ppid=25063 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25065/task/25072/stat : 25072 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532129315472 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25073] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25073/stat : 25073 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532128262416 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25074] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25074/stat : 25074 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669181 26730651648 9787 33554432000 4194304 4196468 140731089355296 140532127209872 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25075] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25075/stat : 25075 (java) S 25063 25063 23979 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90669182 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531569933040 140532576811650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25076] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25076/stat : 25076 (java) S 25063 25063 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90669182 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531568879264 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25077] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25077/stat : 25077 (java) S 25063 25063 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90669183 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531567826160 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25078] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25078/stat : 25078 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669185 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531566774736 140532576819099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25079] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25079/stat : 25079 (java) S 25063 25063 23979 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 90669185 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531565721840 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25080] ppid=25063 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/25065/task/25080/stat : 25080 (java) S 25063 25063 23979 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 90669185 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531564669296 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25081] ppid=25063 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/25065/task/25081/stat : 25081 (java) S 25063 25063 23979 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 90669185 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531563616240 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25082] ppid=25063 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/25065/task/25082/stat : 25082 (java) R 25063 25063 23979 0 -1 4202560 725 0 0 0 8 0 0 0 20 0 20 0 90669185 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531562563696 140532556101525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25083] ppid=25063 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25083/stat : 25083 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90669185 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531561511904 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25084] ppid=25063 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/25065/task/25084/stat : 25084 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669186 26730651648 9787 33554432000 4194304 4196468 140731089355296 140531560459440 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 40600 KiB [startup+0.310006 s]* /proc/loadavg: 7.37 8.01 8.16 3/198 25084 /proc/meminfo: memFree=26791516/32770624 swapFree=67027980/67108860 [pid=25063] ppid=25060 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25063/stat : 25063 (xcsp3-exec) S 25060 25063 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90669179 115843072 363 33554432000 4194304 5098028 140735839736400 140735839734504 140389360685692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27426816 140735839745078 140735839745280 140735839745280 140735839748042 0 /proc/25063/statm: 28282 363 305 221 0 87 0 [pid=25065] ppid=25063 vsize=26108408 memory=45724 CPUtime=0.51 cores=0-7 /proc/25065/stat : 25065 (java) S 25063 25063 23979 0 -1 1077944320 9157 0 0 0 47 4 0 0 20 0 20 0 90669179 26735009792 11431 33554432000 4194304 4196468 140731089355296 140731089337840 140532576800503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 /proc/25065/statm: 6527102 11431 3231 1 0 6488315 0 [pid=25065/tid=25066] ppid=25063 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/25065/task/25066/stat : 25066 (java) R 25063 25063 23979 0 -1 4202560 6240 0 0 0 27 2 0 0 20 0 20 0 90669180 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532581030176 140532560880990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25067] ppid=25063 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25067/stat : 25067 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669180 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532539907088 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25068] ppid=25063 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25068/stat : 25068 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669180 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532133526672 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25069] ppid=25063 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25069/stat : 25069 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669180 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532132473616 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25070] ppid=25063 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25070/stat : 25070 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90669181 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532131421072 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25071] ppid=25063 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25071/stat : 25071 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669181 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532130368016 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25072] ppid=25063 vsize=26108408 memory=139987345566383 CPUtime=0 cores=0-7 /proc/25065/task/25072/stat : 25072 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669181 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532129315472 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25073] ppid=25063 vsize=26108408 memory=139987345568688 CPUtime=0 cores=0-7 /proc/25065/task/25073/stat : 25073 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669181 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532128262416 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25074] ppid=25063 vsize=26108408 memory=139987345570992 CPUtime=0 cores=0-7 /proc/25065/task/25074/stat : 25074 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669181 26735009792 11431 33554432000 4194304 4196468 140731089355296 140532127209872 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25075] ppid=25063 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25075/stat : 25075 (java) S 25063 25063 23979 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 90669182 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531569933040 140532576811650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25076] ppid=25063 vsize=26108408 memory=279974691155856 CPUtime=0 cores=0-7 /proc/25065/task/25076/stat : 25076 (java) S 25063 25063 23979 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90669182 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531568879264 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25077] ppid=25063 vsize=26108408 memory=279974691153552 CPUtime=0 cores=0-7 /proc/25065/task/25077/stat : 25077 (java) S 25063 25063 23979 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90669183 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531567826160 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25078] ppid=25063 vsize=26108408 memory=279974691160464 CPUtime=0 cores=0-7 /proc/25065/task/25078/stat : 25078 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669185 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531566774736 140532576819099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25079] ppid=25063 vsize=26108408 memory=279974691101616 CPUtime=0.01 cores=0-7 /proc/25065/task/25079/stat : 25079 (java) S 25063 25063 23979 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 90669185 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531565721840 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25080] ppid=25063 vsize=26108408 memory=279974691174288 CPUtime=0.03 cores=0-7 /proc/25065/task/25080/stat : 25080 (java) S 25063 25063 23979 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 20 0 90669185 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531564669296 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25081] ppid=25063 vsize=26108408 memory=279974691181200 CPUtime=0.03 cores=0-7 /proc/25065/task/25081/stat : 25081 (java) S 25063 25063 23979 0 -1 1077944384 163 0 0 0 3 0 0 0 20 0 20 0 90669185 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531563616240 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25082] ppid=25063 vsize=26108408 memory=279974691178896 CPUtime=0.12 cores=0-7 /proc/25065/task/25082/stat : 25082 (java) S 25063 25063 23979 0 -1 1077944384 842 0 0 0 12 0 0 0 20 0 20 0 90669185 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531562563696 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25083] ppid=25063 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25083/stat : 25083 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90669185 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531561511904 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25084] ppid=25063 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/25065/task/25084/stat : 25084 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669186 26735009792 11431 33554432000 4194304 4196468 140731089355296 140531560459440 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 47176 KiB [startup+0.70097 s] /proc/loadavg: 7.37 8.01 8.16 4/198 25084 /proc/meminfo: memFree=26778800/32770624 swapFree=67027980/67108860 [pid=25063] ppid=25060 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25063/stat : 25063 (xcsp3-exec) S 25060 25063 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90669179 115843072 363 33554432000 4194304 5098028 140735839736400 140735839734504 140389360685692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27426816 140735839745078 140735839745280 140735839745280 140735839748042 0 /proc/25063/statm: 28282 363 305 221 0 87 0 [pid=25065] ppid=25063 vsize=26110532 memory=83420 CPUtime=1.64 cores=0-7 /proc/25065/stat : 25065 (java) S 25063 25063 23979 0 -1 1077944320 12506 0 0 0 158 6 0 0 20 0 20 0 90669179 26737184768 20855 33554432000 4194304 4196468 140731089355296 140731089337840 140532576800503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 /proc/25065/statm: 6527633 20855 3363 1 0 6488827 0 [pid=25065/tid=25066] ppid=25063 vsize=26110532 memory=0 CPUtime=0.67 cores=0-7 /proc/25065/task/25066/stat : 25066 (java) R 25063 25063 23979 0 -1 4202560 7243 0 0 0 64 3 0 0 20 0 20 0 90669180 26737184768 20855 33554432000 4194304 4196468 140731089355296 140532581038320 140532560880990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25067] ppid=25063 vsize=26110532 memory=2353 CPUtime=0 cores=0-7 /proc/25065/task/25067/stat : 25067 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669180 26737184768 20855 33554432000 4194304 4196468 140731089355296 140532539907088 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25068] ppid=25063 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25068/stat : 25068 (java) S 25063 25063 23979 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90669180 26737184768 20855 33554432000 4194304 4196468 140731089355296 140532133526672 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25069] ppid=25063 vsize=26110532 memory=1664 CPUtime=0 cores=0-7 /proc/25065/task/25069/stat : 25069 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90669180 26737184768 20855 33554432000 4194304 4196468 140731089355296 140532132473616 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 ################ # More data... # ################ [pid=25065/tid=25082] ppid=25063 vsize=26645092 memory=0 CPUtime=0.76 cores=0-7 /proc/25065/task/25082/stat : 25082 (java) S 25063 25063 23979 0 -1 1077944384 6798 0 0 0 74 2 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531562563696 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25083] ppid=25063 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25083/stat : 25083 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531561511904 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25084] ppid=25063 vsize=26645092 memory=0 CPUtime=0.01 cores=0-7 /proc/25065/task/25084/stat : 25084 (java) S 25063 25063 23979 0 -1 1077944384 808 0 0 0 0 1 0 0 20 0 28 0 90669186 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531560459440 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25085] ppid=25063 vsize=26645092 memory=3472592183261933599 CPUtime=68.55 cores=0-7 /proc/25065/task/25085/stat : 25085 (java) R 25063 25063 23979 0 -1 4202560 594 0 0 0 6855 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531551673400 140532219256354 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25086] ppid=25063 vsize=26645092 memory=7295950583417696866 CPUtime=68.46 cores=0-7 /proc/25065/task/25086/stat : 25086 (java) R 25063 25063 23979 0 -1 4202560 686 0 0 0 6846 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531550622024 140532219845091 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25087] ppid=25063 vsize=26645092 memory=5571041044932548709 CPUtime=67.9 cores=0-7 /proc/25065/task/25087/stat : 25087 (java) R 25063 25063 23979 0 -1 4202560 2728 0 0 0 6788 2 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531549568872 140532219033612 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25088] ppid=25063 vsize=26645092 memory=7590928679675979367 CPUtime=68.41 cores=0-7 /proc/25065/task/25088/stat : 25088 (java) R 25063 25063 23979 0 -1 4202560 2354 0 0 0 6839 2 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531548516424 140532219034289 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25089] ppid=25063 vsize=26645092 memory=576600743676559306 CPUtime=68.33 cores=0-7 /proc/25065/task/25089/stat : 25089 (java) R 25063 25063 23979 0 -1 4202560 1560 0 0 0 6832 1 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531547463072 140532219968805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25090] ppid=25063 vsize=26645092 memory=-7737621075815351712 CPUtime=68.21 cores=0-7 /proc/25065/task/25090/stat : 25090 (java) R 25063 25063 23979 0 -1 4202560 633 0 0 0 6821 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531546410808 140532219033612 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25091] ppid=25063 vsize=26645092 memory=-7812736537705029536 CPUtime=68.34 cores=0-7 /proc/25065/task/25091/stat : 25091 (java) R 25063 25063 23979 0 -1 4202560 619 0 0 0 6833 1 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531545358616 140532219034184 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25092] ppid=25063 vsize=26645092 memory=0 CPUtime=68.49 cores=0-7 /proc/25065/task/25092/stat : 25092 (java) R 25063 25063 23979 0 -1 4202560 1411 0 0 0 6849 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531544308992 140532219721612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 Current children cumulated CPU time: 553.53 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 220484 KiB [startup+70.4019 s] /proc/loadavg: 8.03 8.04 8.16 9/207 25093 /proc/meminfo: memFree=26617496/32770624 swapFree=67027980/67108860 [pid=25063] ppid=25060 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25063/stat : 25063 (xcsp3-exec) S 25060 25063 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90669179 115843072 363 33554432000 4194304 5098028 140735839736400 140735839734504 140389360685692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27426816 140735839745078 140735839745280 140735839745280 140735839748042 0 /proc/25063/statm: 28282 363 305 221 0 87 0 [pid=25065] ppid=25063 vsize=26645092 memory=219032 CPUtime=556.66 cores=0-7 /proc/25065/stat : 25065 (java) S 25063 25063 23979 0 -1 1077944320 65209 0 0 0 55632 34 0 0 20 0 28 0 90669179 27284574208 54758 33554432000 4194304 4196468 140731089355296 140731089337840 140532576800503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 /proc/25065/statm: 6661273 54758 3421 1 0 6622467 0 [pid=25065/tid=25066] ppid=25063 vsize=26645092 memory=6791534058613427641 CPUtime=0.77 cores=0-7 /proc/25065/task/25066/stat : 25066 (java) S 25063 25063 23979 0 -1 1077944384 7311 0 0 0 73 4 0 0 20 0 28 0 90669180 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532581041280 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25067] ppid=25063 vsize=26645092 memory=219032 CPUtime=0.04 cores=0-7 /proc/25065/task/25067/stat : 25067 (java) S 25063 25063 23979 0 -1 1077944384 1759 0 0 0 3 1 0 0 20 0 28 0 90669180 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532539907088 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25068] ppid=25063 vsize=26645092 memory=7378973525314593645 CPUtime=0.04 cores=0-7 /proc/25065/task/25068/stat : 25068 (java) S 25063 25063 23979 0 -1 1077944384 367 0 0 0 3 1 0 0 20 0 28 0 90669180 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532133526672 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25069] ppid=25063 vsize=26645092 memory=5794563070594996330 CPUtime=0.04 cores=0-7 /proc/25065/task/25069/stat : 25069 (java) S 25063 25063 23979 0 -1 1077944384 1153 0 0 0 3 1 0 0 20 0 28 0 90669180 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532132473616 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25070] ppid=25063 vsize=26645092 memory=7649399371430114610 CPUtime=0.04 cores=0-7 /proc/25065/task/25070/stat : 25070 (java) S 25063 25063 23979 0 -1 1077944384 468 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532131421072 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25071] ppid=25063 vsize=26645092 memory=0 CPUtime=0.04 cores=0-7 /proc/25065/task/25071/stat : 25071 (java) S 25063 25063 23979 0 -1 1077944384 3834 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532130368016 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25072] ppid=25063 vsize=26645092 memory=1452 CPUtime=0.04 cores=0-7 /proc/25065/task/25072/stat : 25072 (java) S 25063 25063 23979 0 -1 1077944384 321 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532129315472 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25073] ppid=25063 vsize=26645092 memory=223104 CPUtime=0.04 cores=0-7 /proc/25065/task/25073/stat : 25073 (java) S 25063 25063 23979 0 -1 1077944384 729 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532128262416 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25074] ppid=25063 vsize=26645092 memory=1828 CPUtime=0.04 cores=0-7 /proc/25065/task/25074/stat : 25074 (java) S 25063 25063 23979 0 -1 1077944384 2984 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532127209872 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25075] ppid=25063 vsize=26645092 memory=800 CPUtime=0.03 cores=0-7 /proc/25065/task/25075/stat : 25075 (java) S 25063 25063 23979 0 -1 1077944384 2569 0 0 0 2 1 0 0 20 0 28 0 90669182 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531569933040 140532576811650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25076] ppid=25063 vsize=26645092 memory=5212 CPUtime=0 cores=0-7 /proc/25065/task/25076/stat : 25076 (java) S 25063 25063 23979 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 90669182 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531568879264 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25077] ppid=25063 vsize=26645092 memory=12772 CPUtime=0 cores=0-7 /proc/25065/task/25077/stat : 25077 (java) S 25063 25063 23979 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 90669183 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531567826160 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25078] ppid=25063 vsize=26645092 memory=279974691477552 CPUtime=0 cores=0-7 /proc/25065/task/25078/stat : 25078 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531566774736 140532576819099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25079] ppid=25063 vsize=26645092 memory=-2023959437020729679 CPUtime=1.41 cores=0-7 /proc/25065/task/25079/stat : 25079 (java) S 25063 25063 23979 0 -1 1077944384 6590 0 0 0 139 2 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531565721840 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25080] ppid=25063 vsize=26645092 memory=9515 CPUtime=1.67 cores=0-7 /proc/25065/task/25080/stat : 25080 (java) S 25063 25063 23979 0 -1 1077944384 9768 0 0 0 164 3 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531564669296 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25081] ppid=25063 vsize=26645092 memory=6791534058613427641 CPUtime=1.69 cores=0-7 /proc/25065/task/25081/stat : 25081 (java) S 25063 25063 23979 0 -1 1077944384 7786 0 0 0 167 2 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531563616240 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25082] ppid=25063 vsize=26645092 memory=22472 CPUtime=0.76 cores=0-7 /proc/25065/task/25082/stat : 25082 (java) S 25063 25063 23979 0 -1 1077944384 6798 0 0 0 74 2 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531562563696 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25083] ppid=25063 vsize=26645092 memory=776 CPUtime=0 cores=0-7 /proc/25065/task/25083/stat : 25083 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531561511904 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25084] ppid=25063 vsize=26645092 memory=1876 CPUtime=0.01 cores=0-7 /proc/25065/task/25084/stat : 25084 (java) S 25063 25063 23979 0 -1 1077944384 808 0 0 0 0 1 0 0 20 0 28 0 90669186 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531560459440 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25085] ppid=25063 vsize=26645092 memory=279974692761696 CPUtime=68.94 cores=0-7 /proc/25065/task/25085/stat : 25085 (java) R 25063 25063 23979 0 -1 4202560 594 0 0 0 6894 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531551673400 140532219893520 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25086] ppid=25063 vsize=26645092 memory=109828085123818 CPUtime=68.85 cores=0-7 /proc/25065/task/25086/stat : 25086 (java) R 25063 25063 23979 0 -1 4202560 686 0 0 0 6885 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531550622024 140532219602672 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25087] ppid=25063 vsize=26645092 memory=109828085123818 CPUtime=68.28 cores=0-7 /proc/25065/task/25087/stat : 25087 (java) R 25063 25063 23979 0 -1 4202560 2729 0 0 0 6826 2 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531549568872 140532220348372 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25088] ppid=25063 vsize=26645092 memory=109828085123818 CPUtime=68.8 cores=0-7 /proc/25065/task/25088/stat : 25088 (java) R 25063 25063 23979 0 -1 4202560 2364 0 0 0 6878 2 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531548516424 140532219721454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25089] ppid=25063 vsize=26645092 memory=109828085123562 CPUtime=68.72 cores=0-7 /proc/25065/task/25089/stat : 25089 (java) R 25063 25063 23979 0 -1 4202560 1560 0 0 0 6871 1 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531547463072 140532220390860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25090] ppid=25063 vsize=26645092 memory=109828085123562 CPUtime=68.6 cores=0-7 /proc/25065/task/25090/stat : 25090 (java) R 25063 25063 23979 0 -1 4202560 633 0 0 0 6860 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531546410808 140532219721014 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25091] ppid=25063 vsize=26645092 memory=109828085123306 CPUtime=68.74 cores=0-7 /proc/25065/task/25091/stat : 25091 (java) R 25063 25063 23979 0 -1 4202560 619 0 0 0 6873 1 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531545358616 140532220656409 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25092] ppid=25063 vsize=26645092 memory=6791534058613427641 CPUtime=68.88 cores=0-7 /proc/25065/task/25092/stat : 25092 (java) R 25063 25063 23979 0 -1 4202560 1413 0 0 0 6888 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531544308992 140532219033612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 Current children cumulated CPU time: 556.66 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 220484 KiB [startup+70.5019 s] /proc/loadavg: 8.03 8.04 8.16 9/207 25093 /proc/meminfo: memFree=26617496/32770624 swapFree=67027980/67108860 [pid=25063] ppid=25060 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25063/stat : 25063 (xcsp3-exec) S 25060 25063 23979 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90669179 115843072 363 33554432000 4194304 5098028 140735839736400 140735839734504 140389360685692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27426816 140735839745078 140735839745280 140735839745280 140735839748042 0 /proc/25063/statm: 28282 363 305 221 0 87 0 [pid=25065] ppid=25063 vsize=26645092 memory=219032 CPUtime=557.45 cores=0-7 /proc/25065/stat : 25065 (java) S 25063 25063 23979 0 -1 1077944320 65467 0 0 0 55711 34 0 0 20 0 28 0 90669179 27284574208 54758 33554432000 4194304 4196468 140731089355296 140731089337840 140532576800503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 /proc/25065/statm: 6661273 54758 3421 1 0 6622467 0 [pid=25065/tid=25066] ppid=25063 vsize=26645092 memory=219032 CPUtime=0.77 cores=0-7 /proc/25065/task/25066/stat : 25066 (java) S 25063 25063 23979 0 -1 1077944384 7311 0 0 0 73 4 0 0 20 0 28 0 90669180 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532581041280 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25067] ppid=25063 vsize=26645092 memory=1452 CPUtime=0.04 cores=0-7 /proc/25065/task/25067/stat : 25067 (java) S 25063 25063 23979 0 -1 1077944384 1759 0 0 0 3 1 0 0 20 0 28 0 90669180 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532539907088 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25068] ppid=25063 vsize=26645092 memory=219032 CPUtime=0.04 cores=0-7 /proc/25065/task/25068/stat : 25068 (java) S 25063 25063 23979 0 -1 1077944384 367 0 0 0 3 1 0 0 20 0 28 0 90669180 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532133526672 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25069] ppid=25063 vsize=26645092 memory=228732 CPUtime=0.04 cores=0-7 /proc/25065/task/25069/stat : 25069 (java) S 25063 25063 23979 0 -1 1077944384 1153 0 0 0 3 1 0 0 20 0 28 0 90669180 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532132473616 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25070] ppid=25063 vsize=26645092 memory=3544 CPUtime=0.04 cores=0-7 /proc/25065/task/25070/stat : 25070 (java) S 25063 25063 23979 0 -1 1077944384 468 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532131421072 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25071] ppid=25063 vsize=26645092 memory=4 CPUtime=0.04 cores=0-7 /proc/25065/task/25071/stat : 25071 (java) S 25063 25063 23979 0 -1 1077944384 3834 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532130368016 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25072] ppid=25063 vsize=26645092 memory=4 CPUtime=0.04 cores=0-7 /proc/25065/task/25072/stat : 25072 (java) S 25063 25063 23979 0 -1 1077944384 321 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532129315472 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25073] ppid=25063 vsize=26645092 memory=3544 CPUtime=0.04 cores=0-7 /proc/25065/task/25073/stat : 25073 (java) S 25063 25063 23979 0 -1 1077944384 729 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532128262416 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25074] ppid=25063 vsize=26645092 memory=22472 CPUtime=0.04 cores=0-7 /proc/25065/task/25074/stat : 25074 (java) S 25063 25063 23979 0 -1 1077944384 2984 0 0 0 3 1 0 0 20 0 28 0 90669181 27284574208 54758 33554432000 4194304 4196468 140731089355296 140532127209872 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25075] ppid=25063 vsize=26645092 memory=776 CPUtime=0.03 cores=0-7 /proc/25065/task/25075/stat : 25075 (java) S 25063 25063 23979 0 -1 1077944384 2569 0 0 0 2 1 0 0 20 0 28 0 90669182 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531569933040 140532576811650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25076] ppid=25063 vsize=26645092 memory=3544 CPUtime=0 cores=0-7 /proc/25065/task/25076/stat : 25076 (java) S 25063 25063 23979 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 90669182 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531568879264 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25077] ppid=25063 vsize=26645092 memory=22472 CPUtime=0 cores=0-7 /proc/25065/task/25077/stat : 25077 (java) S 25063 25063 23979 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 90669183 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531567826160 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25078] ppid=25063 vsize=26645092 memory=776 CPUtime=0 cores=0-7 /proc/25065/task/25078/stat : 25078 (java) S 25063 25063 23979 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531566774736 140532576819099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25079] ppid=25063 vsize=26645092 memory=1452 CPUtime=1.41 cores=0-7 /proc/25065/task/25079/stat : 25079 (java) S 25063 25063 23979 0 -1 1077944384 6590 0 0 0 139 2 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531565721840 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25080] ppid=25063 vsize=26645092 memory=1452 CPUtime=1.67 cores=0-7 /proc/25065/task/25080/stat : 25080 (java) S 25063 25063 23979 0 -1 1077944384 9768 0 0 0 164 3 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531564669296 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25081] ppid=25063 vsize=26645092 memory=1452 CPUtime=1.69 cores=0-7 /proc/25065/task/25081/stat : 25081 (java) S 25063 25063 23979 0 -1 1077944384 7786 0 0 0 167 2 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531563616240 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25082] ppid=25063 vsize=26645092 memory=164 CPUtime=0.76 cores=0-7 /proc/25065/task/25082/stat : 25082 (java) S 25063 25063 23979 0 -1 1077944384 6798 0 0 0 74 2 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531562563696 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25083] ppid=25063 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/25065/task/25083/stat : 25083 (java) S 25063 25063 23979 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90669185 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531561511904 140532576810709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25084] ppid=25063 vsize=26645092 memory=0 CPUtime=0.01 cores=0-7 /proc/25065/task/25084/stat : 25084 (java) S 25063 25063 23979 0 -1 1077944384 828 0 0 0 0 1 0 0 20 0 28 0 90669186 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531560459440 140532576811650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25085] ppid=25063 vsize=26645092 memory=279974691781408 CPUtime=69.04 cores=0-7 /proc/25065/task/25085/stat : 25085 (java) R 25063 25063 23979 0 -1 4202560 615 0 0 0 6904 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531551673400 140532220348210 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25086] ppid=25063 vsize=26645092 memory=279974691579296 CPUtime=68.95 cores=0-7 /proc/25065/task/25086/stat : 25086 (java) R 25063 25063 23979 0 -1 4202560 700 0 0 0 6895 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531550622024 140532219721717 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25087] ppid=25063 vsize=26645092 memory=279974691800544 CPUtime=68.38 cores=0-7 /proc/25065/task/25087/stat : 25087 (java) R 25063 25063 23979 0 -1 4202560 2759 0 0 0 6836 2 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531549568872 140532219032964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25088] ppid=25063 vsize=26645092 memory=369 CPUtime=68.9 cores=0-7 /proc/25065/task/25088/stat : 25088 (java) R 25063 25063 23979 0 -1 4202560 2410 0 0 0 6888 2 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531548516424 140532219033607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25089] ppid=25063 vsize=26645092 memory=1876 CPUtime=68.82 cores=0-7 /proc/25065/task/25089/stat : 25089 (java) R 25063 25063 23979 0 -1 4202560 1599 0 0 0 6881 1 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531547463072 140532219720844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25090] ppid=25063 vsize=26645092 memory=1664 CPUtime=68.7 cores=0-7 /proc/25065/task/25090/stat : 25090 (java) R 25063 25063 23979 0 -1 4202560 635 0 0 0 6870 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531546410808 140532219386156 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25091] ppid=25063 vsize=26645092 memory=1828 CPUtime=68.84 cores=0-7 /proc/25065/task/25091/stat : 25091 (java) R 25063 25063 23979 0 -1 4202560 638 0 0 0 6883 1 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531545358616 140532219893456 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 [pid=25065/tid=25092] ppid=25063 vsize=26645092 memory=800 CPUtime=68.98 cores=0-7 /proc/25065/task/25092/stat : 25092 (java) R 25063 25063 23979 0 -1 4202560 1480 0 0 0 6898 0 0 0 20 0 28 0 90669260 27284574208 54758 33554432000 4194304 4196468 140731089355296 140531544308992 140532219721502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6574080 140731089360001 140731089360173 140731089360173 140731089362895 0 Current children cumulated CPU time: 557.45 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 220484 KiB Child status: 0 Real time (s): 70.5194 CPU time (s): 557.525 CPU user time (s): 557.162 CPU system time (s): 0.363452 CPU usage (%): 790.598 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 231156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 557.162 system time used= 0.363452 maximum resident set size= 234884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67939 page faults= 0 swaps= 0 block input operations= 0 block output operations= 208 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6882 involuntary context switches= 6309 # summary of solver processes directly reported to runsolver: # pid: 25063 # total CPU time (s): 557.525 # total CPU user time (s): 557.162 # total CPU system time (s): 0.363452 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.558925 second user time and 0.836586 second system time The end
Begin job on node102 at 2018-07-28 00:37:40 IDJOB=4297720 IDBENCH=141613 IDSOLVER=2760 FILE ID=node102/4297720-1532731060 RUNJOBID= node102-1532723491-24006 PBS_JOBID= 21022336 Free space on /tmp= 52748 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Quasigroups/QuasiGroup-4-08_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297720-1532731060/watcher-4297720-1532731060 -o /tmp/evaluation-result-4297720-1532731060/solver-4297720-1532731060 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532723491-24006 --watchdog 2580 HOME/xcsp3-exec -seed 810409190 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297720-1532731060.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 86261698a40453ca60d699c1ebc214eb RANDOM SEED=810409190 node102.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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26825068 kB MemAvailable: 31935384 kB Buffers: 197516 kB Cached: 5168340 kB SwapCached: 53628 kB Active: 1202972 kB Inactive: 4241904 kB Active(anon): 4548 kB Inactive(anon): 98932 kB Active(file): 1198424 kB Inactive(file): 4142972 kB Unevictable: 6644 kB Mlocked: 6644 kB SwapTotal: 67108860 kB SwapFree: 67027980 kB Dirty: 21948 kB Writeback: 0 kB AnonPages: 32680 kB Mapped: 34532 kB Shmem: 21760 kB Slab: 196536 kB SReclaimable: 169508 kB SUnreclaim: 27028 kB KernelStack: 3120 kB PageTables: 4440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 321760 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 52728 MiB End job on node102 at 2018-07-28 00:38:51