0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297492-1532699933.xml" -tl '20160s' -p 8
0.11/0.18 c Choco e747e1e
0.11/0.18 c [HOME/instance-4297492-1532699933.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
1.00/0.57 c solve instance...
1.00/0.59 o 17
1.00/0.60 o 16
1.37/0.61 o 15
1.37/0.62 o 14
1.37/0.68 o 13
2.74/0.84 o 12
265.80/37.47 s OPTIMUM FOUND
265.80/37.47 v <instantiation>
265.80/37.47 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] </list>
265.80/37.47 v <values>0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 </values>
265.80/37.47 v </instantiation>
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 (13295 MiB free)
memory of node 1: 16384 MiB (14244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297492-1532699933/watcher-4297492-1532699933 -o /tmp/evaluation-result-4297492-1532699933/solver-4297492-1532699933 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532697411-18476 --watchdog 2580 HOME/xcsp3-exec -seed 25980154 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297492-1532699933.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=18659, runsolver pid=18656
Current StackSize limit: 8192 KiB
[startup+0.100892 s]*
/proc/loadavg: 9.70 9.09 8.88 2/204 18680
/proc/meminfo: memFree=28185852/32770624 swapFree=67108744/67108860
[pid=18659] ppid=18656 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18659/stat : 18659 (xcsp3-exec) S 18656 18659 18449 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87556481 115843072 363 33554432000 4194304 5098028 140726767537136 140726767535240 139702700397180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15790080 140726767539255 140726767539456 140726767539456 140726767542218 0
/proc/18659/statm: 28282 363 306 221 0 87 0
[pid=18661] ppid=18659 vsize=26104152 memory=27208 CPUtime=0.11 cores=0-7
/proc/18661/stat : 18661 (java) S 18659 18659 18449 0 -1 1077944320 5737 0 0 0 10 1 0 0 20 0 20 0 87556481 26730651648 6802 33554432000 4194304 4196468 140736732814992 140736732797536 140098617827063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
/proc/18661/statm: 6526038 6802 2998 1 0 6488315 0
[pid=18661/tid=18662] ppid=18659 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/18661/task/18662/stat : 18662 (java) R 18659 18659 18449 0 -1 4202560 3748 0 0 0 8 0 0 0 20 0 20 0 87556482 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098622058976 140098617848989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18663] ppid=18659 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18661/task/18663/stat : 18663 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556482 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098570447376 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18664] ppid=18659 vsize=26104152 memory=139969495021184 CPUtime=0 cores=0-7
/proc/18661/task/18664/stat : 18664 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098569394832 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18665] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18665/stat : 18665 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098568341776 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18666] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18666/stat : 18666 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098567289232 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18667] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18667/stat : 18667 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098566237200 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18668] ppid=18659 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18661/task/18668/stat : 18668 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098565184656 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18669] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18669/stat : 18669 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098564131600 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18670] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18670/stat : 18670 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 6802 33554432000 4194304 4196468 140736732814992 140098563079056 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18671] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18671/stat : 18671 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556484 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097068460272 140098617838210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18672] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18672/stat : 18672 (java) S 18659 18659 18449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87556484 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097067406496 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18673] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18673/stat : 18673 (java) S 18659 18659 18449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87556485 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097066353392 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18674] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18674/stat : 18674 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097065301968 140098617845659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18675] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18675/stat : 18675 (java) R 18659 18659 18449 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097064250096 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18676] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18676/stat : 18676 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097063197552 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18677] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18677/stat : 18677 (java) R 18659 18659 18449 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097062144496 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18678] ppid=18659 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18661/task/18678/stat : 18678 (java) S 18659 18659 18449 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 87556487 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097061091952 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18679] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18679/stat : 18679 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097060039136 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18680] ppid=18659 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18661/task/18680/stat : 18680 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 6802 33554432000 4194304 4196468 140736732814992 140097058986672 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28660 KiB
[startup+0.21071 s]*
/proc/loadavg: 9.70 9.09 8.88 3/204 18680
/proc/meminfo: memFree=28173928/32770624 swapFree=67108744/67108860
[pid=18659] ppid=18656 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18659/stat : 18659 (xcsp3-exec) S 18656 18659 18449 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87556481 115843072 363 33554432000 4194304 5098028 140726767537136 140726767535240 139702700397180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15790080 140726767539255 140726767539456 140726767539456 140726767542218 0
/proc/18659/statm: 28282 363 306 221 0 87 0
[pid=18661] ppid=18659 vsize=26104152 memory=39812 CPUtime=0.33 cores=0-7
/proc/18661/stat : 18661 (java) S 18659 18659 18449 0 -1 1077944320 8508 0 0 0 31 2 0 0 20 0 20 0 87556481 26730651648 9953 33554432000 4194304 4196468 140736732814992 140736732797536 140098617827063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
/proc/18661/statm: 6526038 9953 3182 1 0 6488315 0
[pid=18661/tid=18662] ppid=18659 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18661/task/18662/stat : 18662 (java) S 18659 18659 18449 0 -1 1077944384 5582 0 0 0 18 1 0 0 20 0 20 0 87556482 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098622062048 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18663] ppid=18659 vsize=26104152 memory=340 CPUtime=0 cores=0-7
/proc/18661/task/18663/stat : 18663 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556482 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098570447376 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18664] ppid=18659 vsize=26104152 memory=139969495529680 CPUtime=0 cores=0-7
/proc/18661/task/18664/stat : 18664 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098569394832 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18665] ppid=18659 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18661/task/18665/stat : 18665 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098568341776 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18666] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18666/stat : 18666 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098567289232 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18667] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18667/stat : 18667 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098566237200 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18668] ppid=18659 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18661/task/18668/stat : 18668 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098565184656 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18669] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18669/stat : 18669 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098564131600 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18670] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18670/stat : 18670 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26730651648 9953 33554432000 4194304 4196468 140736732814992 140098563079056 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18671] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18671/stat : 18671 (java) S 18659 18659 18449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87556484 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097068460272 140098617838210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18672] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18672/stat : 18672 (java) S 18659 18659 18449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87556484 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097067406496 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18673] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18673/stat : 18673 (java) S 18659 18659 18449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87556485 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097066353392 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18674] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18674/stat : 18674 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097065301968 140098617845659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18675] ppid=18659 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18661/task/18675/stat : 18675 (java) S 18659 18659 18449 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 20 0 87556487 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097064250096 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18676] ppid=18659 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/18661/task/18676/stat : 18676 (java) S 18659 18659 18449 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 87556487 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097063197552 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18677] ppid=18659 vsize=26104152 memory=-1 CPUtime=0.02 cores=0-7
/proc/18661/task/18677/stat : 18677 (java) S 18659 18659 18449 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 20 0 87556487 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097062144496 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18678] ppid=18659 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/18661/task/18678/stat : 18678 (java) S 18659 18659 18449 0 -1 1077944384 733 0 0 0 7 0 0 0 20 0 20 0 87556487 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097061091952 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18679] ppid=18659 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18679/stat : 18679 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097060039136 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18680] ppid=18659 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/18661/task/18680/stat : 18680 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556487 26730651648 9953 33554432000 4194304 4196468 140736732814992 140097058986672 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41264 KiB
[startup+0.310648 s]*
/proc/loadavg: 9.17 8.99 8.85 6/204 18680
/proc/meminfo: memFree=28167476/32770624 swapFree=67108744/67108860
[pid=18659] ppid=18656 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18659/stat : 18659 (xcsp3-exec) S 18656 18659 18449 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87556481 115843072 363 33554432000 4194304 5098028 140726767537136 140726767535240 139702700397180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15790080 140726767539255 140726767539456 140726767539456 140726767542218 0
/proc/18659/statm: 28282 363 306 221 0 87 0
[pid=18661] ppid=18659 vsize=26108408 memory=46844 CPUtime=0.51 cores=0-7
/proc/18661/stat : 18661 (java) S 18659 18659 18449 0 -1 1077944320 9399 0 0 0 48 3 0 0 20 0 20 0 87556481 26735009792 11711 33554432000 4194304 4196468 140736732814992 140736732797536 140098617827063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
/proc/18661/statm: 6527102 11711 3225 1 0 6488315 0
[pid=18661/tid=18662] ppid=18659 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18661/task/18662/stat : 18662 (java) R 18659 18659 18449 0 -1 4202560 6270 0 0 0 27 2 0 0 20 0 20 0 87556482 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098622062176 140098601907550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18663] ppid=18659 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18663/stat : 18663 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556482 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098570447376 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18664] ppid=18659 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18664/stat : 18664 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556483 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098569394832 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18665] ppid=18659 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18665/stat : 18665 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098568341776 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18666] ppid=18659 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18666/stat : 18666 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87556483 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098567289232 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18667] ppid=18659 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/18661/task/18667/stat : 18667 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098566237200 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18668] ppid=18659 vsize=26108408 memory=139969360393135 CPUtime=0 cores=0-7
/proc/18661/task/18668/stat : 18668 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098565184656 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18669] ppid=18659 vsize=26108408 memory=139969360395440 CPUtime=0 cores=0-7
/proc/18661/task/18669/stat : 18669 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556483 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098564131600 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18670] ppid=18659 vsize=26108408 memory=139969360397744 CPUtime=0 cores=0-7
/proc/18661/task/18670/stat : 18670 (java) S 18659 18659 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87556483 26735009792 11724 33554432000 4194304 4196468 140736732814992 140098563079056 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18671] ppid=18659 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18671/stat : 18671 (java) S 18659 18659 18449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87556484 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097068460272 140098617838210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18672] ppid=18659 vsize=26108408 memory=279938720802448 CPUtime=0 cores=0-7
/proc/18661/task/18672/stat : 18672 (java) S 18659 18659 18449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87556484 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097067406496 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18673] ppid=18659 vsize=26108408 memory=279938720809360 CPUtime=0 cores=0-7
/proc/18661/task/18673/stat : 18673 (java) S 18659 18659 18449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87556485 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097066353392 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18674] ppid=18659 vsize=26108408 memory=279938720750640 CPUtime=0 cores=0-7
/proc/18661/task/18674/stat : 18674 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556487 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097065301968 140098617845659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18675] ppid=18659 vsize=26108408 memory=279938720823184 CPUtime=0.02 cores=0-7
/proc/18661/task/18675/stat : 18675 (java) S 18659 18659 18449 0 -1 1077944384 569 0 0 0 2 0 0 0 20 0 20 0 87556487 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097064250096 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18676] ppid=18659 vsize=26108408 memory=279938720830096 CPUtime=0.03 cores=0-7
/proc/18661/task/18676/stat : 18676 (java) R 18659 18659 18449 0 -1 4202560 203 0 0 0 3 0 0 0 20 0 20 0 87556487 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097063178568 140098597490656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18677] ppid=18659 vsize=26108408 memory=279938720827792 CPUtime=0.03 cores=0-7
/proc/18661/task/18677/stat : 18677 (java) S 18659 18659 18449 0 -1 1077944384 256 0 0 0 3 0 0 0 20 0 20 0 87556487 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097062144496 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18678] ppid=18659 vsize=26108408 memory=279938720843952 CPUtime=0.11 cores=0-7
/proc/18661/task/18678/stat : 18678 (java) S 18659 18659 18449 0 -1 1077944384 804 0 0 0 11 0 0 0 20 0 20 0 87556487 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097061091952 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18679] ppid=18659 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18679/stat : 18679 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87556487 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097060039136 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18680] ppid=18659 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/18661/task/18680/stat : 18680 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87556487 26735009792 11724 33554432000 4194304 4196468 140736732814992 140097058986672 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 48296 KiB
[startup+0.70096 s]
/proc/loadavg: 9.17 8.99 8.85 4/204 18680
/proc/meminfo: memFree=28150172/32770624 swapFree=67108744/67108860
[pid=18659] ppid=18656 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18659/stat : 18659 (xcsp3-exec) S 18656 18659 18449 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87556481 115843072 363 33554432000 4194304 5098028 140726767537136 140726767535240 139702700397180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15790080 140726767539255 140726767539456 140726767539456 140726767542218 0
/proc/18659/statm: 28282 363 306 221 0 87 0
[pid=18661] ppid=18659 vsize=26644072 memory=162408 CPUtime=1.94 cores=0-7
/proc/18661/stat : 18661 (java) S 18659 18659 18449 0 -1 1077944320 14262 0 0 0 187 7 0 0 20 0 26 0 87556481 27283529728 40602 33554432000 4194304 4196468 140736732814992 140736732797536 140098617827063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
/proc/18661/statm: 6661018 40602 3380 1 0 6622212 0
[pid=18661/tid=18662] ppid=18659 vsize=26644072 memory=279938721201840 CPUtime=0.54 cores=0-7
/proc/18661/task/18662/stat : 18662 (java) S 18659 18659 18449 0 -1 1077944384 7146 0 0 0 52 2 0 0 20 0 26 0 87556482 27283529728 40602 33554432000 4194304 4196468 140736732814992 140098622067840 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18663] ppid=18659 vsize=26644072 memory=139969360601968 CPUtime=0 cores=0-7
/proc/18661/task/18663/stat : 18663 (java) S 18659 18659 18449 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 26 0 87556482 27283529728 40602 33554432000 4194304 4196468 140736732814992 140098570447376 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18664] ppid=18659 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18664/stat : 18664 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 87556483 27283529728 40602 33554432000 4194304 4196468 140736732814992 140098569394832 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18665] ppid=18659 vsize=26644072 memory=1704 CPUtime=0 cores=0-7
/proc/18661/task/18665/stat : 18665 (java) S 18659 18659 18449 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 26 0 87556483 27283529728 40602 33554432000 4194304 4196468 140736732814992 140098568341776 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
################
# More data... #
################
[pid=18661/tid=18678] ppid=18659 vsize=26644072 memory=6791534058613427641 CPUtime=0.5 cores=0-7
/proc/18661/task/18678/stat : 18678 (java) S 18659 18659 18449 0 -1 1077944384 3410 0 0 0 49 1 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097061091952 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18679] ppid=18659 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18679/stat : 18679 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097060039136 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18680] ppid=18659 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18680/stat : 18680 (java) S 18659 18659 18449 0 -1 1077944384 947 0 0 0 0 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097058986672 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18729] ppid=18659 vsize=26644072 memory=0 CPUtime=31.74 cores=0-7
/proc/18661/task/18729/stat : 18729 (java) R 18659 18659 18449 0 -1 4202560 230 0 0 0 3114 60 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097043024256 140098230974224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18730] ppid=18659 vsize=26644072 memory=0 CPUtime=31.56 cores=0-7
/proc/18661/task/18730/stat : 18730 (java) R 18659 18659 18449 0 -1 4202560 278 0 0 0 3093 63 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097046183600 140098230749029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18731] ppid=18659 vsize=26644072 memory=22244 CPUtime=31.89 cores=0-7
/proc/18661/task/18731/stat : 18731 (java) S 18659 18659 18449 0 -1 1077944384 257 0 0 0 3133 56 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097047236912 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18732] ppid=18659 vsize=26644072 memory=0 CPUtime=32.08 cores=0-7
/proc/18661/task/18732/stat : 18732 (java) R 18659 18659 18449 0 -1 1077944384 1050 0 0 0 3149 59 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097041973680 140098617837269 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18733] ppid=18659 vsize=26644072 memory=0 CPUtime=32.14 cores=0-7
/proc/18661/task/18733/stat : 18733 (java) R 18659 18659 18449 0 -1 4202560 1077 0 0 0 3161 53 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097048289232 140098230875826 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18734] ppid=18659 vsize=26644072 memory=0 CPUtime=31.78 cores=0-7
/proc/18661/task/18734/stat : 18734 (java) R 18659 18659 18449 0 -1 4202560 268 0 0 0 3117 61 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097050394800 140098230746596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18735] ppid=18659 vsize=26644072 memory=56 CPUtime=32.72 cores=0-7
/proc/18661/task/18735/stat : 18735 (java) R 18659 18659 18449 0 -1 4202560 1235 0 0 0 3236 36 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097045130960 140098603895182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18736] ppid=18659 vsize=26644072 memory=7522532364684586851 CPUtime=31.55 cores=0-7
/proc/18661/task/18736/stat : 18736 (java) S 18659 18659 18449 0 -1 1077944384 201 0 0 0 3083 72 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097044078416 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
Current children cumulated CPU time: 261.55 s
Current children cumulated vsize: 26757200 KiB
Current children cumulated memory: 226792 KiB
[startup+37.2012 s]
/proc/loadavg: 8.26 8.77 8.78 8/211 18736
/proc/meminfo: memFree=27988744/32770624 swapFree=67108744/67108860
[pid=18659] ppid=18656 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18659/stat : 18659 (xcsp3-exec) S 18656 18659 18449 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87556481 115843072 363 33554432000 4194304 5098028 140726767537136 140726767535240 139702700397180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15790080 140726767539255 140726767539456 140726767539456 140726767542218 0
/proc/18659/statm: 28282 363 306 221 0 87 0
[pid=18661] ppid=18659 vsize=26644072 memory=225340 CPUtime=264.41 cores=0-7
/proc/18661/stat : 18661 (java) S 18659 18659 18449 0 -1 1077944320 39883 0 0 0 25937 504 0 0 20 0 28 0 87556481 27283529728 56335 33554432000 4194304 4196468 140736732814992 140736732797536 140098617827063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
/proc/18661/statm: 6661018 56335 3415 1 0 6622212 0
[pid=18661/tid=18662] ppid=18659 vsize=26644072 memory=1452 CPUtime=0.55 cores=0-7
/proc/18661/task/18662/stat : 18662 (java) S 18659 18659 18449 0 -1 1077944384 7146 0 0 0 53 2 0 0 20 0 28 0 87556482 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098622067840 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18663] ppid=18659 vsize=26644072 memory=6791534058613427641 CPUtime=0.08 cores=0-7
/proc/18661/task/18663/stat : 18663 (java) S 18659 18659 18449 0 -1 1077944384 209 0 0 0 5 3 0 0 20 0 28 0 87556482 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098570447376 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18664] ppid=18659 vsize=26644072 memory=13904 CPUtime=0.08 cores=0-7
/proc/18661/task/18664/stat : 18664 (java) S 18659 18659 18449 0 -1 1077944384 323 0 0 0 5 3 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098569394832 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18665] ppid=18659 vsize=26644072 memory=19371 CPUtime=0.08 cores=0-7
/proc/18661/task/18665/stat : 18665 (java) S 18659 18659 18449 0 -1 1077944384 342 0 0 0 5 3 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098568341776 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18666] ppid=18659 vsize=26644072 memory=0 CPUtime=0.07 cores=0-7
/proc/18661/task/18666/stat : 18666 (java) S 18659 18659 18449 0 -1 1077944384 229 0 0 0 5 2 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098567289232 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18667] ppid=18659 vsize=26644072 memory=0 CPUtime=0.08 cores=0-7
/proc/18661/task/18667/stat : 18667 (java) S 18659 18659 18449 0 -1 1077944384 338 0 0 0 5 3 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098566237200 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18668] ppid=18659 vsize=26644072 memory=0 CPUtime=0.07 cores=0-7
/proc/18661/task/18668/stat : 18668 (java) S 18659 18659 18449 0 -1 1077944384 813 0 0 0 5 2 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098565184656 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18669] ppid=18659 vsize=26644072 memory=0 CPUtime=0.08 cores=0-7
/proc/18661/task/18669/stat : 18669 (java) S 18659 18659 18449 0 -1 1077944384 541 0 0 0 5 3 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098564131600 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18670] ppid=18659 vsize=26644072 memory=0 CPUtime=0.07 cores=0-7
/proc/18661/task/18670/stat : 18670 (java) S 18659 18659 18449 0 -1 1077944384 1297 0 0 0 5 2 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098563079056 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18671] ppid=18659 vsize=26644072 memory=0 CPUtime=0.06 cores=0-7
/proc/18661/task/18671/stat : 18671 (java) S 18659 18659 18449 0 -1 1077944384 1470 0 0 0 6 0 0 0 20 0 28 0 87556484 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097068460272 140098617838210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18672] ppid=18659 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18672/stat : 18672 (java) S 18659 18659 18449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 87556484 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097067406496 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18673] ppid=18659 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18673/stat : 18673 (java) S 18659 18659 18449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 87556485 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097066353392 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18674] ppid=18659 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18674/stat : 18674 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097065301968 140098617845659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18675] ppid=18659 vsize=26644072 memory=0 CPUtime=1.1 cores=0-7
/proc/18661/task/18675/stat : 18675 (java) S 18659 18659 18449 0 -1 1077944384 8129 0 0 0 109 1 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097064250096 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18676] ppid=18659 vsize=26644072 memory=0 CPUtime=1 cores=0-7
/proc/18661/task/18676/stat : 18676 (java) S 18659 18659 18449 0 -1 1077944384 2861 0 0 0 100 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097063197552 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18677] ppid=18659 vsize=26644072 memory=6791534058613427641 CPUtime=0.98 cores=0-7
/proc/18661/task/18677/stat : 18677 (java) S 18659 18659 18449 0 -1 1077944384 4862 0 0 0 97 1 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097062144496 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18678] ppid=18659 vsize=26644072 memory=0 CPUtime=0.5 cores=0-7
/proc/18661/task/18678/stat : 18678 (java) S 18659 18659 18449 0 -1 1077944384 3410 0 0 0 49 1 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097061091952 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18679] ppid=18659 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18679/stat : 18679 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097060039136 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18680] ppid=18659 vsize=26644072 memory=0 CPUtime=0 cores=0-7
/proc/18661/task/18680/stat : 18680 (java) S 18659 18659 18449 0 -1 1077944384 947 0 0 0 0 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097058986672 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18729] ppid=18659 vsize=26644072 memory=0 CPUtime=32.09 cores=0-7
/proc/18661/task/18729/stat : 18729 (java) R 18659 18659 18449 0 -1 4202560 230 0 0 0 3148 61 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097043024256 140098231043588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18730] ppid=18659 vsize=26644072 memory=0 CPUtime=31.91 cores=0-7
/proc/18661/task/18730/stat : 18730 (java) R 18659 18659 18449 0 -1 4202560 278 0 0 0 3127 64 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097046183600 140098597537505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18731] ppid=18659 vsize=26644072 memory=0 CPUtime=32.25 cores=0-7
/proc/18661/task/18731/stat : 18731 (java) R 18659 18659 18449 0 -1 1077944384 257 0 0 0 3168 57 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097047236816 140098617838210 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18732] ppid=18659 vsize=26644072 memory=0 CPUtime=32.44 cores=0-7
/proc/18661/task/18732/stat : 18732 (java) R 18659 18659 18449 0 -1 4202560 1050 0 0 0 3184 60 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097041973680 140098230750384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18733] ppid=18659 vsize=26644072 memory=0 CPUtime=32.49 cores=0-7
/proc/18661/task/18733/stat : 18733 (java) S 18659 18659 18449 0 -1 1077944384 1077 0 0 0 3196 53 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097048289328 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18734] ppid=18659 vsize=26644072 memory=0 CPUtime=32.12 cores=0-7
/proc/18661/task/18734/stat : 18734 (java) S 18659 18659 18449 0 -1 1077944384 268 0 0 0 3151 61 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097050394800 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18735] ppid=18659 vsize=26644072 memory=0 CPUtime=33.08 cores=0-7
/proc/18661/task/18735/stat : 18735 (java) R 18659 18659 18449 0 -1 4202560 1238 0 0 0 3271 37 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097045131056 140098230642501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18736] ppid=18659 vsize=26644072 memory=0 CPUtime=31.91 cores=0-7
/proc/18661/task/18736/stat : 18736 (java) R 18659 18659 18449 0 -1 4202560 201 0 0 0 3118 73 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097044078512 140098230530367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
Current children cumulated CPU time: 264.41 s
Current children cumulated vsize: 26757200 KiB
Current children cumulated memory: 226792 KiB
[startup+37.4013 s]
/proc/loadavg: 8.26 8.77 8.78 8/211 18736
/proc/meminfo: memFree=27988744/32770624 swapFree=67108744/67108860
[pid=18659] ppid=18656 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18659/stat : 18659 (xcsp3-exec) S 18656 18659 18449 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 87556481 115843072 363 33554432000 4194304 5098028 140726767537136 140726767535240 139702700397180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15790080 140726767539255 140726767539456 140726767539456 140726767542218 0
/proc/18659/statm: 28282 363 306 221 0 87 0
[pid=18661] ppid=18659 vsize=26644072 memory=225340 CPUtime=265.8 cores=0-7
/proc/18661/stat : 18661 (java) S 18659 18659 18449 0 -1 1077944320 39889 0 0 0 26073 507 0 0 20 0 28 0 87556481 27283529728 56335 33554432000 4194304 4196468 140736732814992 140736732797536 140098617827063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
/proc/18661/statm: 6661018 56335 3415 1 0 6622212 0
[pid=18661/tid=18662] ppid=18659 vsize=26644072 memory=0 CPUtime=0.55 cores=0-7
/proc/18661/task/18662/stat : 18662 (java) S 18659 18659 18449 0 -1 1077944384 7146 0 0 0 53 2 0 0 20 0 28 0 87556482 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098622067840 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18663] ppid=18659 vsize=26644072 memory=2340 CPUtime=0.08 cores=0-7
/proc/18661/task/18663/stat : 18663 (java) S 18659 18659 18449 0 -1 1077944384 211 0 0 0 5 3 0 0 20 0 28 0 87556482 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098570447376 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18664] ppid=18659 vsize=26644072 memory=4137287014106042739 CPUtime=0.08 cores=0-7
/proc/18661/task/18664/stat : 18664 (java) S 18659 18659 18449 0 -1 1077944384 324 0 0 0 5 3 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098569394832 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18665] ppid=18659 vsize=26644072 memory=8303054830060986464 CPUtime=0.08 cores=0-7
/proc/18661/task/18665/stat : 18665 (java) S 18659 18659 18449 0 -1 1077944384 342 0 0 0 5 3 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098568341776 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18666] ppid=18659 vsize=26644072 memory=4206468019014099040 CPUtime=0.07 cores=0-7
/proc/18661/task/18666/stat : 18666 (java) S 18659 18659 18449 0 -1 1077944384 229 0 0 0 5 2 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098567289232 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18667] ppid=18659 vsize=26644072 memory=6010175106006019171 CPUtime=0.08 cores=0-7
/proc/18661/task/18667/stat : 18667 (java) S 18659 18659 18449 0 -1 1077944384 338 0 0 0 5 3 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098566237200 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18668] ppid=18659 vsize=26644072 memory=6935651454800449616 CPUtime=0.07 cores=0-7
/proc/18661/task/18668/stat : 18668 (java) S 18659 18659 18449 0 -1 1077944384 813 0 0 0 5 2 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098565184656 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18669] ppid=18659 vsize=26644072 memory=68 CPUtime=0.08 cores=0-7
/proc/18661/task/18669/stat : 18669 (java) S 18659 18659 18449 0 -1 1077944384 541 0 0 0 5 3 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098564131600 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18670] ppid=18659 vsize=26644072 memory=3543266591656653133 CPUtime=0.07 cores=0-7
/proc/18661/task/18670/stat : 18670 (java) S 18659 18659 18449 0 -1 1077944384 1298 0 0 0 5 2 0 0 20 0 28 0 87556483 27283529728 56335 33554432000 4194304 4196468 140736732814992 140098563079056 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18671] ppid=18659 vsize=26644072 memory=26577 CPUtime=0.06 cores=0-7
/proc/18661/task/18671/stat : 18671 (java) S 18659 18659 18449 0 -1 1077944384 1470 0 0 0 6 0 0 0 20 0 28 0 87556484 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097068460272 140098617838210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18672] ppid=18659 vsize=26644072 memory=4420 CPUtime=0 cores=0-7
/proc/18661/task/18672/stat : 18672 (java) S 18659 18659 18449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 87556484 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097067406496 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18673] ppid=18659 vsize=26644072 memory=6628 CPUtime=0 cores=0-7
/proc/18661/task/18673/stat : 18673 (java) S 18659 18659 18449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 87556485 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097066353392 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18674] ppid=18659 vsize=26644072 memory=7597132098393106257 CPUtime=0 cores=0-7
/proc/18661/task/18674/stat : 18674 (java) S 18659 18659 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097065301968 140098617845659 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18675] ppid=18659 vsize=26644072 memory=8099531882097108048 CPUtime=1.1 cores=0-7
/proc/18661/task/18675/stat : 18675 (java) S 18659 18659 18449 0 -1 1077944384 8129 0 0 0 109 1 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097064250096 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18676] ppid=18659 vsize=26644072 memory=8099531882097108048 CPUtime=1 cores=0-7
/proc/18661/task/18676/stat : 18676 (java) S 18659 18659 18449 0 -1 1077944384 2861 0 0 0 100 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097063197552 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18677] ppid=18659 vsize=26644072 memory=7237398200207235428 CPUtime=0.98 cores=0-7
/proc/18661/task/18677/stat : 18677 (java) S 18659 18659 18449 0 -1 1077944384 4862 0 0 0 97 1 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097062144496 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18678] ppid=18659 vsize=26644072 memory=7237398200207235428 CPUtime=0.5 cores=0-7
/proc/18661/task/18678/stat : 18678 (java) S 18659 18659 18449 0 -1 1077944384 3410 0 0 0 49 1 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097061091952 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18679] ppid=18659 vsize=26644072 memory=7597132098393106257 CPUtime=0 cores=0-7
/proc/18661/task/18679/stat : 18679 (java) S 18659 18659 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097060039136 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18680] ppid=18659 vsize=26644072 memory=8026650869813564775 CPUtime=0 cores=0-7
/proc/18661/task/18680/stat : 18680 (java) S 18659 18659 18449 0 -1 1077944384 947 0 0 0 0 0 0 0 20 0 28 0 87556487 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097058986672 140098617838210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18729] ppid=18659 vsize=26644072 memory=5791726317272917849 CPUtime=32.27 cores=0-7
/proc/18661/task/18729/stat : 18729 (java) R 18659 18659 18449 0 -1 4202560 230 0 0 0 3165 62 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097043024160 140098231044213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18730] ppid=18659 vsize=26644072 memory=7444825561389879400 CPUtime=32.07 cores=0-7
/proc/18661/task/18730/stat : 18730 (java) S 18659 18659 18449 0 -1 1077944384 278 0 0 0 3143 64 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097046183600 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18731] ppid=18659 vsize=26644072 memory=0 CPUtime=32.41 cores=0-7
/proc/18661/task/18731/stat : 18731 (java) S 18659 18659 18449 0 -1 1077944384 257 0 0 0 3184 57 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097047236912 140098617837269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18732] ppid=18659 vsize=26644072 memory=0 CPUtime=32.61 cores=0-7
/proc/18661/task/18732/stat : 18732 (java) R 18659 18659 18449 0 -1 1077944384 1051 0 0 0 3200 61 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097041973584 140098617838210 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18733] ppid=18659 vsize=26644072 memory=0 CPUtime=32.67 cores=0-7
/proc/18661/task/18733/stat : 18733 (java) R 18659 18659 18449 0 -1 4202560 1077 0 0 0 3213 54 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097048289328 140098230532274 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18734] ppid=18659 vsize=26644072 memory=0 CPUtime=32.3 cores=0-7
/proc/18661/task/18734/stat : 18734 (java) R 18659 18659 18449 0 -1 4202560 268 0 0 0 3168 62 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097050394704 140098230749029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18735] ppid=18659 vsize=26644072 memory=0 CPUtime=33.26 cores=0-7
/proc/18661/task/18735/stat : 18735 (java) R 18659 18659 18449 0 -1 4202560 1239 0 0 0 3289 37 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097045131056 140098231043698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
[pid=18661/tid=18736] ppid=18659 vsize=26644072 memory=0 CPUtime=32.08 cores=0-7
/proc/18661/task/18736/stat : 18736 (java) R 18659 18659 18449 0 -1 4202560 201 0 0 0 3135 73 0 0 20 0 28 0 87556566 27283529728 56335 33554432000 4194304 4196468 140736732814992 140097044078512 140098230875791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33882112 140736732820609 140736732820781 140736732820781 140736732823503 0
Current children cumulated CPU time: 265.8 s
Current children cumulated vsize: 26757200 KiB
Current children cumulated memory: 226792 KiB
Child status: 0
Real time (s): 37.4827
CPU time (s): 266.318
CPU user time (s): 261.216
CPU system time (s): 5.10231
CPU usage (%): 710.508
Max. virtual memory (cumulated for all children) (KiB): 26759160
Max. memory (cumulated for all children) (KiB): 231832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.216
system time used= 5.10231
maximum resident set size= 233460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1828502
involuntary context switches= 507
# summary of solver processes directly reported to runsolver:
# pid: 18659
# total CPU time (s): 266.318
# total CPU user time (s): 261.216
# total CPU system time (s): 5.10231
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.322237 second user time and 0.470346 second system time
The end
Begin job on node134 at 2018-07-27 15:58:53
IDJOB=4297492
IDBENCH=141114
IDSOLVER=2760
FILE ID=node134/4297492-1532699933
RUNJOBID= node134-1532697411-18476
PBS_JOBID= 21022295
Free space on /tmp= 55560 MiB
SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-garden-7x7_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-4297492-1532699933/watcher-4297492-1532699933 -o /tmp/evaluation-result-4297492-1532699933/solver-4297492-1532699933 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532697411-18476 --watchdog 2580 HOME/xcsp3-exec -seed 25980154 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297492-1532699933.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= b012ef5fa7bba6c8b791df977729af7d
RANDOM SEED=25980154
node134.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.68
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.68
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.68
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.68
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: 28201540 kB
MemAvailable: 31960696 kB
Buffers: 155484 kB
Cached: 3867060 kB
SwapCached: 0 kB
Active: 1767440 kB
Inactive: 2308892 kB
Active(anon): 2912 kB
Inactive(anon): 78552 kB
Active(file): 1764528 kB
Inactive(file): 2230340 kB
Unevictable: 7360 kB
Mlocked: 7360 kB
SwapTotal: 67108860 kB
SwapFree: 67108744 kB
Dirty: 21732 kB
Writeback: 0 kB
AnonPages: 52852 kB
Mapped: 42112 kB
Shmem: 25132 kB
Slab: 187980 kB
SReclaimable: 160248 kB
SUnreclaim: 27732 kB
KernelStack: 3296 kB
PageTables: 4556 kB
NFS_Unstable: 36 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324044 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: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 55540 MiB
End job on node134 at 2018-07-27 15:59:30