0.32/0.34 c version: 2017-08-22
0.32/0.34 c seed: 1563303520
0.32/0.34 c timeout: 20160
0.32/0.34 c memlimit: 22000
0.32/0.34 c nbcore: 8
0.32/0.37 c Parsing instance...
2.11/0.91 c Parsing done, starting search...
5.73/2.10 s UNSATISFIABLE
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10902 MiB free)
memory of node 1: 16384 MiB (9771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285349-1503429957/watcher-4285349-1503429957 -o /tmp/evaluation-result-4285349-1503429957/solver-4285349-1503429957 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503426029-3437 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1563303520 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285349-1503429957.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4862, runsolver pid=4859
[startup+0.100156 s]*
/proc/loadavg: 5.26 4.38 6.44 1/198 4881
/proc/meminfo: memFree=21159548/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=25931412 memory=21648 CPUtime=0.05 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 4777 0 0 0 4 1 0 0 20 0 19 0 176083292 26553765888 5412 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6482853 5412 2604 1 0 6471291 0
[pid=4862/tid=4864] ppid=4859 vsize=25931412 memory=4134692831991783777 CPUtime=0.04 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) D 4859 4862 3410 0 -1 1077944384 2881 0 0 0 4 0 0 0 20 0 19 0 176083293 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992998086464 139992993872957 0 4 0 16800975 18446744072101760548 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=25931412 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083293 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=25931412 memory=139937571518080 CPUtime=0 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176083293 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083293 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=25931412 memory=-1 CPUtime=0 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 176083295 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 176083295 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992254886688 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 176083296 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992253834352 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 3410 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992251730544 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992250677744 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992249625456 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 25931412 KiB
Current children cumulated memory: 21648 KiB
[startup+0.21371 s]*
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=21149700/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26000852 memory=34900 CPUtime=0.17 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 8700 0 0 0 15 2 0 0 20 0 20 0 176083292 26624872448 8725 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6500213 8725 3541 1 0 6487932 0
[pid=4862/tid=4864] ppid=4859 vsize=26000852 memory=29681743523217448 CPUtime=0.11 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 6454 0 0 0 10 1 0 0 20 0 20 0 176083293 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992998025856 139992993871005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26000852 memory=15677360577820312 CPUtime=0 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083295 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176083295 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992254886688 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176083296 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992253834352 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 3410 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992251730544 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 3410 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992250677744 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 3410 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992249625456 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083307 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 34900 KiB
[startup+0.310288 s]*
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=21143372/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26000852 memory=41436 CPUtime=0.32 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 9560 0 0 0 29 3 0 0 20 0 20 0 176083292 26624872448 10359 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6500213 10359 3624 1 0 6487932 0
[pid=4862/tid=4864] ppid=4859 vsize=26000852 memory=8112282956445269571 CPUtime=0.21 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 7118 0 0 0 19 2 0 0 20 0 20 0 176083293 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992998078176 139992973374367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26000852 memory=139937416571567 CPUtime=0 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26000852 memory=139937416573872 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176083295 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26000852 memory=2110288023689124 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176083295 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992254886688 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26000852 memory=2110288023710244 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176083296 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992253834352 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26000852 memory=2110288023693732 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26000852 memory=2110288023710276 CPUtime=0.01 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) R 4859 4862 3410 0 -1 4202560 421 0 0 0 1 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992251730544 139992973095684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26000852 memory=2110288023710308 CPUtime=0 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 3410 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992250677744 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26000852 memory=2110288023709988 CPUtime=0.01 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 3410 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992249625456 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26000852 memory=2110288023702948 CPUtime=0.06 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) R 4859 4862 3410 0 -1 4202560 419 0 0 0 6 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992248572656 139992972387313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083307 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41436 KiB
[startup+0.700845 s]
/proc/loadavg: 5.26 4.38 6.44 2/199 4882
/proc/meminfo: memFree=21129104/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26002920 memory=72644 CPUtime=1.23 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 12794 0 0 0 118 5 0 0 20 0 20 0 176083292 26626990080 18161 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6500730 18161 3762 1 0 6488444 0
[pid=4862/tid=4864] ppid=4859 vsize=26002920 memory=2428 CPUtime=0.59 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 8469 0 0 0 56 3 0 0 20 0 20 0 176083293 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992998085056 139992978378789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26002920 memory=1844 CPUtime=0 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26002920 memory=164 CPUtime=0 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083293 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26002920 memory=6852 CPUtime=0 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26002920 memory=4593 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26002920 memory=279874833560800 CPUtime=0 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26002920 memory=5428 CPUtime=0 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26002920 memory=4624 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176083295 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26002920 memory=1424 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176083295 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992254886688 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
################
# More data... #
################
[pid=4862/tid=4881] ppid=4859 vsize=26002920 memory=55 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26002920 memory=9327 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083307 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 26002920 KiB
Current children cumulated memory: 72644 KiB
[startup+1.5009 s]
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=21069232/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26007016 memory=262132 CPUtime=4.19 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 27983 0 0 0 403 16 0 0 20 0 20 0 176083292 26631184384 65533 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6501754 65533 3816 1 0 6489468 0
[pid=4862/tid=4864] ppid=4859 vsize=26007016 memory=108228 CPUtime=1.35 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 10920 0 0 0 130 5 0 0 20 0 20 0 176083293 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992998084112 139992993861014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26007016 memory=9327 CPUtime=0.01 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 176083293 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26007016 memory=41901700949530 CPUtime=0.02 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 20 0 176083293 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 176083293 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 53 0 0 0 0 1 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26007016 memory=5428 CPUtime=0.01 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26007016 memory=4624 CPUtime=0.01 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26007016 memory=1424 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26007016 memory=13160 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992254886752 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26007016 memory=792 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 176083296 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992253834368 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26007016 memory=164 CPUtime=0.69 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) R 4859 4862 3410 0 -1 4202560 3377 0 0 0 68 1 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992251716568 139992978770832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26007016 memory=0 CPUtime=0.62 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) R 4859 4862 3410 0 -1 4202560 3541 0 0 0 61 1 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992250658568 139992979863388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26007016 memory=0 CPUtime=0.7 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) R 4859 4862 3410 0 -1 4202560 2949 0 0 0 70 0 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992249613936 139992973692646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26007016 memory=139937416603456 CPUtime=0.63 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 5097 0 0 0 62 1 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083307 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 26007016 KiB
Current children cumulated memory: 262132 KiB
[startup+2.11726 s]
# the end of solver process 4862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.73034 s, system=0.175869 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60107 s]
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=21069232/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26007016 memory=265748 CPUtime=4.62 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 28989 0 0 0 446 16 0 0 20 0 20 0 176083292 26631184384 66437 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6501754 66437 3817 1 0 6489468 0
[pid=4862/tid=4864] ppid=4859 vsize=26007016 memory=0 CPUtime=1.45 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 10920 0 0 0 140 5 0 0 20 0 20 0 176083293 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992998075968 139992604388208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26007016 memory=139937416787360 CPUtime=0.01 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 176083293 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26007016 memory=0 CPUtime=0.02 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 20 0 176083293 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 176083293 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 53 0 0 0 0 1 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26007016 memory=14199161883310 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26007016 memory=6944656575208382560 CPUtime=0.01 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26007016 memory=3472468233644323888 CPUtime=0.01 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26007016 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26007016 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992254886752 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26007016 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 176083296 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992253834368 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26007016 memory=288230587528118625 CPUtime=0.79 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) R 4859 4862 3410 0 -1 4202560 3694 0 0 0 78 1 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992251716736 139992974550571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26007016 memory=0 CPUtime=0.72 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) R 4859 4862 3410 0 -1 4202560 3636 0 0 0 71 1 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992250658760 139992975377139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26007016 memory=139937416643472 CPUtime=0.8 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) R 4859 4862 3410 0 -1 4202560 3503 0 0 0 80 0 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992249613936 139992975392398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26007016 memory=0 CPUtime=0.65 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 5137 0 0 0 64 1 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083307 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 26007016 KiB
Current children cumulated memory: 265748 KiB
[startup+2.00082 s]*
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=20922736/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26007016 memory=262512 CPUtime=5.73 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 29939 0 0 0 557 16 0 0 20 0 20 0 176083292 26631184384 65628 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6501754 65628 3821 1 0 6489468 0
[pid=4862/tid=4864] ppid=4859 vsize=26007016 memory=8112282956445269571 CPUtime=1.86 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 10921 0 0 0 181 5 0 0 20 0 20 0 176083293 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992998078640 139992605266398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 176083293 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26007016 memory=139937571527113 CPUtime=0.02 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 20 0 176083293 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26007016 memory=22808 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 176083293 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 53 0 0 0 0 1 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26007016 memory=-1 CPUtime=0.01 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26007016 memory=2511347910401 CPUtime=0.01 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26007016 memory=7881696724453321575 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992254886752 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26007016 memory=8514701219730522529 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 176083296 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992253834368 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26007016 memory=-9181546050914066336 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26007016 memory=0 CPUtime=1.05 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 3410 0 -1 1077944384 4021 0 0 0 104 1 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992251730544 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26007016 memory=0 CPUtime=0.94 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) R 4859 4862 3410 0 -1 4202560 3988 0 0 0 93 1 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992250677744 139992971706240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26007016 memory=33 CPUtime=0.99 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 3410 0 -1 1077944384 3738 0 0 0 99 0 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992249625456 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26007016 memory=576460758266962493 CPUtime=0.68 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 5172 0 0 0 67 1 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26007016 memory=11911 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26007016 memory=4116342974272905269 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083307 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 26007016 KiB
Current children cumulated memory: 262512 KiB
Child status: 0
Real time (s): 2.1173
CPU time (s): 5.90621
CPU user time (s): 5.73034
CPU system time (s): 0.175869
CPU usage (%): 278.949
Max. virtual memory (cumulated for all children) (KiB): 26007016
Max. memory (cumulated for all children) (KiB): 265748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.73034
system time used= 0.175869
maximum resident set size= 267544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3508
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 4862
# total CPU time (s): 5.90621
# total CPU user time (s): 5.73034
# total CPU system time (s): 0.175869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034273 second user time and 0.067507 second system time
The end
Begin job on node114 at 2017-08-22 21:11:36
IDJOB=4285349
IDBENCH=125971
IDSOLVER=2681
FILE ID=node114/4285349-1503429957
RUNJOBID= node114-1503426029-3437
PBS_JOBID= 20632138
Free space on /tmp= 61024 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/QRandom/QRandom-ehi-s85/ehi-85-297-30.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285349-1503429957/watcher-4285349-1503429957 -o /tmp/evaluation-result-4285349-1503429957/solver-4285349-1503429957 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503426029-3437 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1563303520 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285349-1503429957.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= de20ccc9c46783b0a0c67f2a501d352c
RANDOM SEED=1563303520
node114.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 : 5332.98
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 : 5332.98
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 : 5332.98
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 : 5332.98
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: 21170144 kB
MemAvailable: 31942552 kB
Buffers: 194904 kB
Cached: 10858032 kB
SwapCached: 0 kB
Active: 2651960 kB
Inactive: 8455980 kB
Active(anon): 1488 kB
Inactive(anon): 97812 kB
Active(file): 2650472 kB
Inactive(file): 8358168 kB
Unevictable: 7248 kB
Mlocked: 7248 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42388 kB
Writeback: 288 kB
AnonPages: 89312 kB
Mapped: 54628 kB
Shmem: 41608 kB
Slab: 186436 kB
SReclaimable: 159208 kB
SUnreclaim: 27228 kB
KernelStack: 3472 kB
PageTables: 4268 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 340964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 60980 MiB
End job on node114 at 2017-08-22 21:11:38