0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400039-1568711193.xml" -tl '2016s' -p 8
0.11/0.20 c Choco e747e1e
0.11/0.20 c [HOME/instance-4400039-1568711193.xml, -tl, 2016s, -p, 8]
0.33/0.24 c 8 solvers in parallel
0.33/0.31 c parse instance...
0.70/0.51 c solve instance...
0.97/0.54 o 0
0.97/0.54 o 631
0.97/0.57 o 648
0.97/0.58 o 658
0.97/0.58 o 690
0.97/0.60 o 721
1.47/0.66 o 727
1.47/0.68 o 735
1.47/0.69 o 736
1.47/0.70 o 742
2.11/0.70 o 744
2.11/0.71 o 754
2.11/0.74 o 834
2.11/0.77 o 843
2.11/0.79 o 848
2.11/0.80 o 850
2.11/0.81 o 855
2.11/0.82 o 875
2.11/0.83 o 886
2.11/0.84 o 887
17.04/2.85 s OPTIMUM FOUND
17.04/2.85 v <instantiation>
17.04/2.85 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] </list>
17.04/2.85 v <values>1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 </values>
17.04/2.85 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: 16375 MiB (14415 MiB free)
memory of node 1: 16384 MiB (15447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400039-1568711193/watcher-4400039-1568711193 -o /tmp/evaluation-result-4400039-1568711193/solver-4400039-1568711193 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2010923187 HOME/instance-4400039-1568711193.xml
running on 8 cores: 0-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=27972, runsolver pid=27969
[startup+0.100134 s]*
/proc/loadavg: 7.53 7.53 7.77 3/212 27993
/proc/meminfo: memFree=30563288/32770688 swapFree=66961212/67108860
[pid=27972] ppid=27969 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27972/stat : 27972 (xcsp3-exec) S 27969 27972 18670 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447060966 115843072 362 33554432000 4194304 5098028 140720415585184 140720415583288 140179644015228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24313856 140720415589243 140720415589486 140720415589486 140720415592394 0
/proc/27972/statm: 28282 362 304 221 0 87 0
[pid=27974] ppid=27972 vsize=28227396 memory=30032 CPUtime=0.11 cores=0-7
/proc/27974/stat : 27974 (java) S 27972 27972 18670 0 -1 1077944320 5969 0 0 0 10 1 0 0 20 0 20 0 447060966 28904853504 7508 33554432000 4194304 4196468 140736515941504 140736515924048 139850231582455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
/proc/27974/statm: 7056849 7508 3117 1 0 7019032 0
[pid=27974/tid=27975] ppid=27972 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/27974/task/27975/stat : 27975 (java) R 27972 27972 18670 0 -1 4202560 3886 0 0 0 8 1 0 0 20 0 20 0 447060966 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850235815936 139850231594390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27976] ppid=27972 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27974/task/27976/stat : 27976 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850184202640 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27977] ppid=27972 vsize=28227396 memory=140194873910912 CPUtime=0 cores=0-7
/proc/27974/task/27977/stat : 27977 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850183149840 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27978] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27978/stat : 27978 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850182097552 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27979] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27979/stat : 27979 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850181044752 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27980] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27980/stat : 27980 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850179992464 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27981] ppid=27972 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27974/task/27981/stat : 27981 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850178939664 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27982] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27982/stat : 27982 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850177887376 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27983] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27983/stat : 27983 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 7508 33554432000 4194304 4196468 140736515941504 139850176834576 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27984] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27984/stat : 27984 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447060969 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848359852144 139850231593602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27985] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27985/stat : 27985 (java) S 27972 27972 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447060969 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848358798112 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27986] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27986/stat : 27986 (java) S 27972 27972 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447060970 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848357745776 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27987] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27987/stat : 27987 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060972 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848356694096 139850231601051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27988] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27988/stat : 27988 (java) S 27972 27972 18670 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 447060972 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848355641968 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27989] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27989/stat : 27989 (java) S 27972 27972 18670 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447060972 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848354589168 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27990] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27990/stat : 27990 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060972 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848353536880 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27991] ppid=27972 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27974/task/27991/stat : 27991 (java) S 27972 27972 18670 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 447060972 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848352484080 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27992] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27992/stat : 27992 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447060973 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848351431008 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27993] ppid=27972 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27974/task/27993/stat : 27993 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060973 28904853504 7508 33554432000 4194304 4196468 140736515941504 139848350378288 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31480 KiB
[startup+0.211525 s]*
/proc/loadavg: 7.53 7.53 7.77 3/212 27993
/proc/meminfo: memFree=30552268/32770688 swapFree=66961212/67108860
[pid=27972] ppid=27969 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27972/stat : 27972 (xcsp3-exec) S 27969 27972 18670 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447060966 115843072 362 33554432000 4194304 5098028 140720415585184 140720415583288 140179644015228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24313856 140720415589243 140720415589486 140720415589486 140720415592394 0
/proc/27972/statm: 28282 362 304 221 0 87 0
[pid=27974] ppid=27972 vsize=28227396 memory=40828 CPUtime=0.33 cores=0-7
/proc/27974/stat : 27974 (java) S 27972 27972 18670 0 -1 1077944320 9398 0 0 0 30 3 0 0 20 0 20 0 447060966 28904853504 10207 33554432000 4194304 4196468 140736515941504 140736515924048 139850231582455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
/proc/27974/statm: 7056849 10207 3310 1 0 7019032 0
[pid=27974/tid=27975] ppid=27972 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27974/task/27975/stat : 27975 (java) R 27972 27972 18670 0 -1 4202560 6667 0 0 0 18 2 0 0 20 0 20 0 447060966 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850235815952 139850231594390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27976] ppid=27972 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/27974/task/27976/stat : 27976 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850184202640 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27977] ppid=27972 vsize=28227396 memory=140194877213180 CPUtime=0 cores=0-7
/proc/27974/task/27977/stat : 27977 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850183149840 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27978] ppid=27972 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27974/task/27978/stat : 27978 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850182097552 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27979] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27979/stat : 27979 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850181044752 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27980] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27980/stat : 27980 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850179992464 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27981] ppid=27972 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27974/task/27981/stat : 27981 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850178939664 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27982] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27982/stat : 27982 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850177887376 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27983] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27983/stat : 27983 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28904853504 10207 33554432000 4194304 4196468 140736515941504 139850176834576 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27984] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27984/stat : 27984 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447060969 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848359852144 139850231593602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27985] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27985/stat : 27985 (java) S 27972 27972 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447060969 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848358798112 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27986] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27986/stat : 27986 (java) S 27972 27972 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447060970 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848357745776 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27987] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27987/stat : 27987 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060972 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848356694096 139850231601051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27988] ppid=27972 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27974/task/27988/stat : 27988 (java) S 27972 27972 18670 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 20 0 447060972 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848355641968 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27989] ppid=27972 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27974/task/27989/stat : 27989 (java) S 27972 27972 18670 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 20 0 447060972 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848354589168 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27990] ppid=27972 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/27974/task/27990/stat : 27990 (java) S 27972 27972 18670 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 447060972 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848353536880 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27991] ppid=27972 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/27974/task/27991/stat : 27991 (java) R 27972 27972 18670 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 20 0 447060972 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848352484080 139850210247965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27992] ppid=27972 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27992/stat : 27992 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447060973 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848351431008 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27993] ppid=27972 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27974/task/27993/stat : 27993 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060973 28904853504 10207 33554432000 4194304 4196468 140736515941504 139848350378288 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42276 KiB
[startup+0.31098 s]*
/proc/loadavg: 7.53 7.53 7.77 3/212 27993
/proc/meminfo: memFree=30546932/32770688 swapFree=66961212/67108860
[pid=27972] ppid=27969 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27972/stat : 27972 (xcsp3-exec) S 27969 27972 18670 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447060966 115843072 362 33554432000 4194304 5098028 140720415585184 140720415583288 140179644015228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24313856 140720415589243 140720415589486 140720415589486 140720415592394 0
/proc/27972/statm: 28282 362 304 221 0 87 0
[pid=27974] ppid=27972 vsize=28231652 memory=46772 CPUtime=0.51 cores=0-7
/proc/27974/stat : 27974 (java) S 27972 27972 18670 0 -1 1077944320 10517 0 0 0 47 4 0 0 20 0 20 0 447060966 28909211648 11693 33554432000 4194304 4196468 140736515941504 140736515924048 139850231582455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
/proc/27974/statm: 7057913 11693 3333 1 0 7019032 0
[pid=27974/tid=27975] ppid=27972 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27974/task/27975/stat : 27975 (java) R 27972 27972 18670 0 -1 4202560 7605 0 0 0 27 2 0 0 20 0 20 0 447060966 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850235813152 139850215662942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27976] ppid=27972 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27976/stat : 27976 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850184202640 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27977] ppid=27972 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27977/stat : 27977 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447060967 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850183149840 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27978] ppid=27972 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27978/stat : 27978 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850182097552 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27979] ppid=27972 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27979/stat : 27979 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447060967 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850181044752 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27980] ppid=27972 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/27974/task/27980/stat : 27980 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850179992464 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27981] ppid=27972 vsize=28231652 memory=140194711958447 CPUtime=0 cores=0-7
/proc/27974/task/27981/stat : 27981 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447060967 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850178939664 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27982] ppid=27972 vsize=28231652 memory=140194711960752 CPUtime=0 cores=0-7
/proc/27974/task/27982/stat : 27982 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850177887376 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27983] ppid=27972 vsize=28231652 memory=140194711963056 CPUtime=0 cores=0-7
/proc/27974/task/27983/stat : 27983 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060967 28909211648 11693 33554432000 4194304 4196468 140736515941504 139850176834576 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27984] ppid=27972 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27984/stat : 27984 (java) S 27972 27972 18670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447060969 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848359852144 139850231593602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27985] ppid=27972 vsize=28231652 memory=280389423933072 CPUtime=0 cores=0-7
/proc/27974/task/27985/stat : 27985 (java) S 27972 27972 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447060969 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848358798112 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27986] ppid=27972 vsize=28231652 memory=280389423939984 CPUtime=0 cores=0-7
/proc/27974/task/27986/stat : 27986 (java) S 27972 27972 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447060970 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848357745776 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27987] ppid=27972 vsize=28231652 memory=280389423881232 CPUtime=0 cores=0-7
/proc/27974/task/27987/stat : 27987 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060972 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848356694096 139850231601051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27988] ppid=27972 vsize=28231652 memory=280389423953808 CPUtime=0.02 cores=0-7
/proc/27974/task/27988/stat : 27988 (java) S 27972 27972 18670 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 20 0 447060972 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848355641968 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27989] ppid=27972 vsize=28231652 memory=280389423960720 CPUtime=0.02 cores=0-7
/proc/27974/task/27989/stat : 27989 (java) S 27972 27972 18670 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 20 0 447060972 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848354589168 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27990] ppid=27972 vsize=28231652 memory=280389423958416 CPUtime=0.02 cores=0-7
/proc/27974/task/27990/stat : 27990 (java) S 27972 27972 18670 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 20 0 447060972 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848353536880 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27991] ppid=27972 vsize=28231652 memory=280389423974576 CPUtime=0.12 cores=0-7
/proc/27974/task/27991/stat : 27991 (java) S 27972 27972 18670 0 -1 1077944384 894 0 0 0 12 0 0 0 20 0 20 0 447060972 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848352484080 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27992] ppid=27972 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27992/stat : 27992 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447060973 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848351431008 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27993] ppid=27972 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/27974/task/27993/stat : 27993 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447060973 28909211648 11693 33554432000 4194304 4196468 140736515941504 139848350378288 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48220 KiB
[startup+0.700963 s]
/proc/loadavg: 7.53 7.53 7.77 4/212 27993
/proc/meminfo: memFree=30532336/32770688 swapFree=66961212/67108860
[pid=27972] ppid=27969 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27972/stat : 27972 (xcsp3-exec) S 27969 27972 18670 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447060966 115843072 362 33554432000 4194304 5098028 140720415585184 140720415583288 140179644015228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24313856 140720415589243 140720415589486 140720415589486 140720415592394 0
/proc/27972/statm: 28282 362 304 221 0 87 0
[pid=27974] ppid=27972 vsize=28767316 memory=171432 CPUtime=2.11 cores=0-7
/proc/27974/stat : 27974 (java) S 27972 27972 18670 0 -1 1077944320 16514 0 0 0 201 10 0 0 20 0 29 0 447060966 29457731584 42857 33554432000 4194304 4196468 140736515941504 140736515924048 139850231582455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
/proc/27974/statm: 7208213 42857 3474 1 0 7169313 0
[pid=27974/tid=27975] ppid=27972 vsize=28833880 memory=280389424332464 CPUtime=0.51 cores=0-7
/proc/27974/task/27975/stat : 27975 (java) S 27972 27972 18670 0 -1 1077944384 9076 0 0 0 48 3 0 0 20 0 30 0 447060966 29525893120 42858 33554432000 4194304 4196468 140736515941504 139850235823232 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27976] ppid=27972 vsize=28833880 memory=140194712167280 CPUtime=0 cores=0-7
/proc/27974/task/27976/stat : 27976 (java) S 27972 27972 18670 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 30 0 447060967 29525893120 42858 33554432000 4194304 4196468 140736515941504 139850184202640 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27977] ppid=27972 vsize=28899416 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27977/stat : 27977 (java) S 27972 27972 18670 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 30 0 447060967 29593001984 42858 33554432000 4194304 4196468 140736515941504 139850183149840 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27978] ppid=27972 vsize=28900444 memory=2832 CPUtime=0 cores=0-7
/proc/27974/task/27978/stat : 27978 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 31 0 447060967 29594054656 42858 33554432000 4194304 4196468 140736515941504 139850182097552 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
################
# More data... #
################
[pid=27974/tid=27991] ppid=27972 vsize=29033572 memory=14008 CPUtime=0.47 cores=0-7
/proc/27974/task/27991/stat : 27991 (java) S 27972 27972 18670 0 -1 1077944384 2982 0 0 0 46 1 0 0 20 0 28 0 447060972 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848352484080 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27992] ppid=27972 vsize=29033572 memory=23128 CPUtime=0 cores=0-7
/proc/27974/task/27992/stat : 27992 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447060973 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848351431008 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27993] ppid=27972 vsize=29033572 memory=14068 CPUtime=0 cores=0-7
/proc/27974/task/27993/stat : 27993 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447060973 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848350378288 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28153] ppid=27972 vsize=29033572 memory=2120 CPUtime=0.8 cores=0-7
/proc/27974/task/28153/stat : 28153 (java) R 27972 27972 18670 0 -1 1077944384 17 0 0 0 80 0 0 0 20 0 28 0 447061051 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848332978656 139850231593602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28154] ppid=27972 vsize=29033572 memory=496 CPUtime=0.76 cores=0-7
/proc/27974/task/28154/stat : 28154 (java) R 27972 27972 18670 0 -1 4202560 20 0 0 0 76 0 0 0 20 0 28 0 447061051 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848329822208 139849859475149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28155] ppid=27972 vsize=29033572 memory=6360846566568 CPUtime=0.85 cores=0-7
/proc/27974/task/28155/stat : 28155 (java) R 27972 27972 18670 0 -1 4202560 18 0 0 0 85 0 0 0 20 0 28 0 447061051 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848328769408 139849860697970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28156] ppid=27972 vsize=29033572 memory=288230596050944315 CPUtime=0.9 cores=0-7
/proc/27974/task/28156/stat : 28156 (java) R 27972 27972 18670 0 -1 4202560 19 0 0 0 89 1 0 0 20 0 28 0 447061051 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848330875136 139849859474762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28157] ppid=27972 vsize=29033572 memory=14698491322567293 CPUtime=0.82 cores=0-7
/proc/27974/task/28157/stat : 28157 (java) R 27972 27972 18670 0 -1 4202560 22 0 0 0 82 0 0 0 20 0 28 0 447061051 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848331927584 139849860856252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28158] ppid=27972 vsize=29033572 memory=0 CPUtime=0.9 cores=0-7
/proc/27974/task/28158/stat : 28158 (java) R 27972 27972 18670 0 -1 4202560 22 0 0 0 90 0 0 0 20 0 28 0 447061051 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848335086080 139849861155453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28159] ppid=27972 vsize=29033572 memory=6943526294502006880 CPUtime=0.92 cores=0-7
/proc/27974/task/28159/stat : 28159 (java) R 27972 27972 18670 0 -1 4202560 24 0 0 0 92 0 0 0 20 0 28 0 447061051 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848340349312 139849859936563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28160] ppid=27972 vsize=29033572 memory=6944656575208382560 CPUtime=0.89 cores=0-7
/proc/27974/task/28160/stat : 28160 (java) S 27972 27972 18670 0 -1 1077944384 31 0 0 0 89 0 0 0 20 0 28 0 447061051 29730377728 67479 33554432000 4194304 4196468 140736515941504 139848336137984 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
Current children cumulated CPU time: 11.74 s
Current children cumulated vsize: 29146700 KiB
Current children cumulated memory: 271364 KiB
[startup+2.4012 s]*
/proc/loadavg: 7.53 7.53 7.77 7/220 28160
/proc/meminfo: memFree=30240112/32770688 swapFree=66961212/67108860
[pid=27972] ppid=27969 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27972/stat : 27972 (xcsp3-exec) S 27969 27972 18670 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447060966 115843072 362 33554432000 4194304 5098028 140720415585184 140720415583288 140179644015228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24313856 140720415589243 140720415589486 140720415589486 140720415592394 0
/proc/27972/statm: 28282 362 304 221 0 87 0
[pid=27974] ppid=27972 vsize=29033572 memory=352028 CPUtime=14.49 cores=0-7
/proc/27974/stat : 27974 (java) S 27972 27972 18670 0 -1 1077944320 27449 0 0 0 1424 25 0 0 20 0 28 0 447060966 29730377728 88007 33554432000 4194304 4196468 140736515941504 140736515924048 139850231582455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
/proc/27974/statm: 7258393 88007 3497 1 0 7219493 0
[pid=27974/tid=27975] ppid=27972 vsize=29033572 memory=6791534058613427641 CPUtime=0.51 cores=0-7
/proc/27974/task/27975/stat : 27975 (java) S 27972 27972 18670 0 -1 1077944384 9076 0 0 0 48 3 0 0 20 0 28 0 447060966 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850235823232 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27976] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27976/stat : 27976 (java) S 27972 27972 18670 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850184202640 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27977] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27977/stat : 27977 (java) S 27972 27972 18670 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850183149840 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27978] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27978/stat : 27978 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850182097552 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27979] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27979/stat : 27979 (java) S 27972 27972 18670 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850181044752 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27980] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27980/stat : 27980 (java) S 27972 27972 18670 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850179992464 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27981] ppid=27972 vsize=29033572 memory=734139722786418735 CPUtime=0 cores=0-7
/proc/27974/task/27981/stat : 27981 (java) S 27972 27972 18670 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850178939664 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27982] ppid=27972 vsize=29033572 memory=6944613755361064352 CPUtime=0 cores=0-7
/proc/27974/task/27982/stat : 27982 (java) S 27972 27972 18670 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850177887376 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27983] ppid=27972 vsize=29033572 memory=-5504941851400766256 CPUtime=0 cores=0-7
/proc/27974/task/27983/stat : 27983 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88007 33554432000 4194304 4196468 140736515941504 139850176834576 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27984] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27984/stat : 27984 (java) S 27972 27972 18670 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 447060969 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848359852144 139850231593602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27985] ppid=27972 vsize=29033572 memory=4134606225630022328 CPUtime=0 cores=0-7
/proc/27974/task/27985/stat : 27985 (java) S 27972 27972 18670 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447060969 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848358798112 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27986] ppid=27972 vsize=29033572 memory=6944613755495348631 CPUtime=0 cores=0-7
/proc/27974/task/27986/stat : 27986 (java) S 27972 27972 18670 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447060970 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848357745776 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27987] ppid=27972 vsize=29033572 memory=-6876588461455810464 CPUtime=0 cores=0-7
/proc/27974/task/27987/stat : 27987 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447060972 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848356694096 139850231601051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27988] ppid=27972 vsize=29033572 memory=7681421203011431829 CPUtime=0.8 cores=0-7
/proc/27974/task/27988/stat : 27988 (java) S 27972 27972 18670 0 -1 1077944384 2971 0 0 0 80 0 0 0 20 0 28 0 447060972 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848355641968 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27989] ppid=27972 vsize=29033572 memory=1448 CPUtime=0.89 cores=0-7
/proc/27974/task/27989/stat : 27989 (java) S 27972 27972 18670 0 -1 1077944384 2858 0 0 0 88 1 0 0 20 0 28 0 447060972 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848354589168 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27990] ppid=27972 vsize=29033572 memory=224860 CPUtime=0.89 cores=0-7
/proc/27974/task/27990/stat : 27990 (java) S 27972 27972 18670 0 -1 1077944384 4720 0 0 0 88 1 0 0 20 0 28 0 447060972 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848353536880 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27991] ppid=27972 vsize=29033572 memory=0 CPUtime=0.49 cores=0-7
/proc/27974/task/27991/stat : 27991 (java) S 27972 27972 18670 0 -1 1077944384 3004 0 0 0 48 1 0 0 20 0 28 0 447060972 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848352484080 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27992] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27992/stat : 27992 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447060973 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848351431008 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27993] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27993/stat : 27993 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447060973 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848350378288 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28153] ppid=27972 vsize=29033572 memory=0 CPUtime=1.14 cores=0-7
/proc/27974/task/28153/stat : 28153 (java) R 27972 27972 18670 0 -1 4202560 18 0 0 0 113 1 0 0 20 0 28 0 447061051 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848332978752 139849860106503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28154] ppid=27972 vsize=29033572 memory=0 CPUtime=1.09 cores=0-7
/proc/27974/task/28154/stat : 28154 (java) R 27972 27972 18670 0 -1 4202560 23 0 0 0 108 1 0 0 20 0 28 0 447061051 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848329822208 139849860071248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28155] ppid=27972 vsize=29033572 memory=0 CPUtime=1.17 cores=0-7
/proc/27974/task/28155/stat : 28155 (java) S 27972 27972 18670 0 -1 1077944384 19 0 0 0 116 1 0 0 20 0 28 0 447061051 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848328769408 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28156] ppid=27972 vsize=29033572 memory=0 CPUtime=1.2 cores=0-7
/proc/27974/task/28156/stat : 28156 (java) R 27972 27972 18670 0 -1 4202560 20 0 0 0 118 2 0 0 20 0 28 0 447061051 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848330875136 139849860070555 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28157] ppid=27972 vsize=29033572 memory=0 CPUtime=1.18 cores=0-7
/proc/27974/task/28157/stat : 28157 (java) R 27972 27972 18670 0 -1 1077944384 32 0 0 0 117 1 0 0 20 0 28 0 447061051 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848331927680 139850231592661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28158] ppid=27972 vsize=29033572 memory=0 CPUtime=1.26 cores=0-7
/proc/27974/task/28158/stat : 28158 (java) R 27972 27972 18670 0 -1 4202560 35 0 0 0 125 1 0 0 20 0 28 0 447061051 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848335086080 139849859599324 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28159] ppid=27972 vsize=29033572 memory=3472592183261933599 CPUtime=1.24 cores=0-7
/proc/27974/task/28159/stat : 28159 (java) R 27972 27972 18670 0 -1 4202560 30 0 0 0 124 0 0 0 20 0 28 0 447061051 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848340349312 139849859935548 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28160] ppid=27972 vsize=29033572 memory=2320815274706935863 CPUtime=1.25 cores=0-7
/proc/27974/task/28160/stat : 28160 (java) S 27972 27972 18670 0 -1 1077944384 43 0 0 0 124 1 0 0 20 0 28 0 447061051 29730377728 88007 33554432000 4194304 4196468 140736515941504 139848336137984 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
Current children cumulated CPU time: 14.49 s
Current children cumulated vsize: 29146700 KiB
Current children cumulated memory: 353476 KiB
[startup+2.8015 s]
/proc/loadavg: 7.53 7.53 7.77 7/220 28160
/proc/meminfo: memFree=30240112/32770688 swapFree=66961212/67108860
[pid=27972] ppid=27969 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/27972/stat : 27972 (xcsp3-exec) S 27969 27972 18670 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447060966 115843072 362 33554432000 4194304 5098028 140720415585184 140720415583288 140179644015228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24313856 140720415589243 140720415589486 140720415589486 140720415592394 0
/proc/27972/statm: 28282 362 304 221 0 87 0
[pid=27974] ppid=27972 vsize=29033572 memory=352104 CPUtime=17.04 cores=0-7
/proc/27974/stat : 27974 (java) S 27972 27972 18670 0 -1 1077944320 27526 0 0 0 1673 31 0 0 20 0 28 0 447060966 29730377728 88026 33554432000 4194304 4196468 140736515941504 140736515924048 139850231582455 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
/proc/27974/statm: 7258393 88026 3497 1 0 7219493 0
[pid=27974/tid=27975] ppid=27972 vsize=29033572 memory=0 CPUtime=0.51 cores=0-7
/proc/27974/task/27975/stat : 27975 (java) S 27972 27972 18670 0 -1 1077944384 9076 0 0 0 48 3 0 0 20 0 28 0 447060966 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850235823232 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27976] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27976/stat : 27976 (java) S 27972 27972 18670 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850184202640 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27977] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27977/stat : 27977 (java) S 27972 27972 18670 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850183149840 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27978] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27978/stat : 27978 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850182097552 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27979] ppid=27972 vsize=29033572 memory=1448 CPUtime=0 cores=0-7
/proc/27974/task/27979/stat : 27979 (java) S 27972 27972 18670 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850181044752 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27980] ppid=27972 vsize=29033572 memory=224292 CPUtime=0 cores=0-7
/proc/27974/task/27980/stat : 27980 (java) S 27972 27972 18670 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850179992464 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27981] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27981/stat : 27981 (java) S 27972 27972 18670 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850178939664 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27982] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27982/stat : 27982 (java) S 27972 27972 18670 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850177887376 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27983] ppid=27972 vsize=29033572 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/27974/task/27983/stat : 27983 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447060967 29730377728 88026 33554432000 4194304 4196468 140736515941504 139850176834576 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27984] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27984/stat : 27984 (java) S 27972 27972 18670 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 447060969 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848359852144 139850231593602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27985] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27985/stat : 27985 (java) S 27972 27972 18670 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447060969 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848358798112 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27986] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27986/stat : 27986 (java) S 27972 27972 18670 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447060970 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848357745776 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27987] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27987/stat : 27987 (java) S 27972 27972 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447060972 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848356694096 139850231601051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27988] ppid=27972 vsize=29033572 memory=0 CPUtime=0.8 cores=0-7
/proc/27974/task/27988/stat : 27988 (java) S 27972 27972 18670 0 -1 1077944384 2972 0 0 0 80 0 0 0 20 0 28 0 447060972 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848355641968 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27989] ppid=27972 vsize=29033572 memory=0 CPUtime=0.97 cores=0-7
/proc/27974/task/27989/stat : 27989 (java) S 27972 27972 18670 0 -1 1077944384 2874 0 0 0 96 1 0 0 20 0 28 0 447060972 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848354589168 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27990] ppid=27972 vsize=29033572 memory=0 CPUtime=0.9 cores=0-7
/proc/27974/task/27990/stat : 27990 (java) S 27972 27972 18670 0 -1 1077944384 4721 0 0 0 89 1 0 0 20 0 28 0 447060972 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848353536880 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27991] ppid=27972 vsize=29033572 memory=0 CPUtime=0.49 cores=0-7
/proc/27974/task/27991/stat : 27991 (java) S 27972 27972 18670 0 -1 1077944384 3010 0 0 0 48 1 0 0 20 0 28 0 447060972 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848352484080 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27992] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27992/stat : 27992 (java) S 27972 27972 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447060973 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848351431008 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=27993] ppid=27972 vsize=29033572 memory=0 CPUtime=0 cores=0-7
/proc/27974/task/27993/stat : 27993 (java) S 27972 27972 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 447060973 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848350378288 139850231593602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28153] ppid=27972 vsize=29033572 memory=0 CPUtime=1.45 cores=0-7
/proc/27974/task/28153/stat : 28153 (java) R 27972 27972 18670 0 -1 4202560 20 0 0 0 144 1 0 0 20 0 28 0 447061051 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848332978656 139849859936573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28154] ppid=27972 vsize=29033572 memory=0 CPUtime=1.37 cores=0-7
/proc/27974/task/28154/stat : 28154 (java) R 27972 27972 18670 0 -1 4202560 23 0 0 0 136 1 0 0 20 0 28 0 447061051 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848329822208 139849859936563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28155] ppid=27972 vsize=29033572 memory=0 CPUtime=1.46 cores=0-7
/proc/27974/task/28155/stat : 28155 (java) S 27972 27972 18670 0 -1 1077944384 21 0 0 0 145 1 0 0 20 0 28 0 447061051 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848328769408 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28156] ppid=27972 vsize=29033572 memory=0 CPUtime=1.5 cores=0-7
/proc/27974/task/28156/stat : 28156 (java) R 27972 27972 18670 0 -1 4202560 22 0 0 0 147 3 0 0 20 0 28 0 447061051 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848330875136 139849860070050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28157] ppid=27972 vsize=29033572 memory=0 CPUtime=1.48 cores=0-7
/proc/27974/task/28157/stat : 28157 (java) S 27972 27972 18670 0 -1 1077944384 50 0 0 0 146 2 0 0 20 0 28 0 447061051 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848331927680 139850231592661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28158] ppid=27972 vsize=29033572 memory=0 CPUtime=1.59 cores=0-7
/proc/27974/task/28158/stat : 28158 (java) R 27972 27972 18670 0 -1 4202560 49 0 0 0 157 2 0 0 20 0 28 0 447061051 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848335086080 139849861587117 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28159] ppid=27972 vsize=29033572 memory=0 CPUtime=1.56 cores=0-7
/proc/27974/task/28159/stat : 28159 (java) R 27972 27972 18670 0 -1 1077944384 37 0 0 0 155 1 0 0 20 0 28 0 447061051 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848340349216 139850231593602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
[pid=27974/tid=28160] ppid=27972 vsize=29033572 memory=0 CPUtime=1.55 cores=0-7
/proc/27974/task/28160/stat : 28160 (java) R 27972 27972 18670 0 -1 4202560 51 0 0 0 153 2 0 0 20 0 28 0 447061051 29730377728 88026 33554432000 4194304 4196468 140736515941504 139848336137984 139850216793070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27033600 140736515949552 140736515949723 140736515949723 140736515952591 0
Current children cumulated CPU time: 17.04 s
Current children cumulated vsize: 29146700 KiB
Current children cumulated memory: 353552 KiB
Child status: 0
Real time (s): 2.86832
CPU time (s): 17.4741
CPU user time (s): 17.1377
CPU system time (s): 0.33632
CPU usage (%): 609.208
Max. virtual memory (cumulated for all children) (KiB): 29148676
Max. memory (cumulated for all children) (KiB): 353552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1377
system time used= 0.33632
maximum resident set size= 353316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48253
involuntary context switches= 340
# summary of solver processes directly reported to runsolver:
# pid: 27972
# total CPU time (s): 17.4741
# total CPU user time (s): 17.1377
# total CPU system time (s): 0.33632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046676 second user time and 0.076378 second system time
The end
Begin job on node116 at 2019-09-17 11:05:52
IDJOB=4400039
IDBENCH=133505
IDSOLVER=2855
FILE ID=node116/4400039-1568711193
RUNJOBID= node116-1568700981-18697
PBS_JOBID= 21703912
Free space on /tmp= 61232 MiB
SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Knapsack/Knapsack-m1-s40/Knapsack-40-150-08.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400039-1568711193/watcher-4400039-1568711193 -o /tmp/evaluation-result-4400039-1568711193/solver-4400039-1568711193 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2010923187 HOME/instance-4400039-1568711193.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= a0dd3b11b1f6edde9967a93afac168fd
RANDOM SEED=2010923187
node116.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770688 kB
MemFree: 30578684 kB
MemAvailable: 31845268 kB
Buffers: 153380 kB
Cached: 1407524 kB
SwapCached: 46584 kB
Active: 1028860 kB
Inactive: 583992 kB
Active(anon): 5704 kB
Inactive(anon): 94964 kB
Active(file): 1023156 kB
Inactive(file): 489028 kB
Unevictable: 110568 kB
Mlocked: 110568 kB
SwapTotal: 67108860 kB
SwapFree: 66961212 kB
Dirty: 26056 kB
Writeback: 0 kB
AnonPages: 240756 kB
Mapped: 48072 kB
Shmem: 40296 kB
Slab: 169448 kB
SReclaimable: 140472 kB
SUnreclaim: 28976 kB
KernelStack: 3888 kB
PageTables: 5360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 506428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 194560 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116160 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61208 MiB
End job on node116 at 2019-09-17 11:05:55