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 (13686 MiB free)
memory of node 1: 16384 MiB (14121 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274277-1502815472/watcher-4274277-1502815472 -o /tmp/evaluation-result-4274277-1502815472/solver-4274277-1502815472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502789816-11230 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1629298291 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274277-1502815472.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15284, runsolver pid=15281
[startup+0.100136 s]*
/proc/loadavg: 1.51 1.44 1.39 3/216 15299
/proc/meminfo: memFree=28455212/32770624 swapFree=67108860/67108860
[pid=15284] ppid=15281 vsize=13980164 memory=33980 CPUtime=0.12 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15281 15284 11198 0 -1 1077944320 8397 0 0 0 11 1 0 0 20 0 15 0 114628246 14315687936 8495 33554432000 4194304 4196468 140727048440976 140727048423520 140393608318711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
/proc/15284/statm: 3495041 8495 3412 1 0 3482761 0
[pid=15284/tid=15286] ppid=15281 vsize=13980164 memory=-7038777180040225399 CPUtime=0.09 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) R 15281 15284 11198 0 -1 4202560 6350 0 0 0 8 1 0 0 20 0 15 0 114628246 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393612508160 140393592399198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15287] ppid=15281 vsize=13980164 memory=5793854999107066297 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393560939152 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15288] ppid=15281 vsize=13980164 memory=139748097173120 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393559886352 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15289] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393558833552 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15290] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15281 15284 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114628247 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393557780752 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15291] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15281 15284 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114628249 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393082502000 140393608329858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15292] ppid=15281 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15281 15284 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114628249 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393081447968 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15293] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15281 15284 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114628249 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393080395120 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15294] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393079343440 140393608337307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15295] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15281 15284 11198 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 114628252 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393078290800 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15296] ppid=15281 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393077238000 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15297] ppid=15281 vsize=13980164 memory=139748097173120 CPUtime=0.02 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15281 15284 11198 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 114628252 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393076185200 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15298] ppid=15281 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393075132640 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15299] ppid=15281 vsize=13980164 memory=139748097173120 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628252 14315687936 8495 33554432000 4194304 4196468 140727048440976 140393074080944 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 33980 KiB
[startup+0.210722 s]*
/proc/loadavg: 1.51 1.44 1.39 5/216 15299
/proc/meminfo: memFree=28446712/32770624 swapFree=67108860/67108860
[pid=15284] ppid=15281 vsize=13980164 memory=43416 CPUtime=0.3 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15281 15284 11198 0 -1 1077944320 9460 0 0 0 28 2 0 0 20 0 15 0 114628246 14315687936 10854 33554432000 4194304 4196468 140727048440976 140727048423520 140393608318711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
/proc/15284/statm: 3495041 10854 3631 1 0 3482761 0
[pid=15284/tid=15286] ppid=15281 vsize=13980164 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) R 15281 15284 11198 0 -1 4202560 7007 0 0 0 18 2 0 0 20 0 15 0 114628246 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393612528112 140393601035815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15287] ppid=15281 vsize=13980164 memory=4211973474301963658 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393560939152 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15288] ppid=15281 vsize=13980164 memory=139748097173120 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393559886352 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15289] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393558833552 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15290] ppid=15281 vsize=13980196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15281 15284 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114628247 14315720704 10902 33554432000 4194304 4196468 140727048440976 140393557780752 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15291] ppid=15281 vsize=13980164 memory=139748097173120 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15281 15284 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114628249 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393082502000 140393608329858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15292] ppid=15281 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15281 15284 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114628249 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393081447968 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15293] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15281 15284 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114628249 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393080395120 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15294] ppid=15281 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393079343440 140393608337307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15295] ppid=15281 vsize=13980164 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15281 15284 11198 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 15 0 114628252 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393078290800 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15296] ppid=15281 vsize=13980164 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15281 15284 11198 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 114628252 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393077238000 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15297] ppid=15281 vsize=13980164 memory=139748097173120 CPUtime=0.05 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15281 15284 11198 0 -1 1077944384 434 0 0 0 5 0 0 0 20 0 15 0 114628252 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393076185200 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15298] ppid=15281 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393075132640 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15299] ppid=15281 vsize=13980164 memory=139748097173120 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628252 14315687936 10902 33554432000 4194304 4196468 140727048440976 140393074080944 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 43416 KiB
[startup+0.310372 s]*
/proc/loadavg: 1.51 1.44 1.39 3/216 15299
/proc/meminfo: memFree=28438772/32770624 swapFree=67108860/67108860
[pid=15284] ppid=15281 vsize=13980184 memory=50616 CPUtime=0.49 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15281 15284 11198 0 -1 1077944320 10470 0 0 0 46 3 0 0 20 0 15 0 114628246 14315708416 12654 33554432000 4194304 4196468 140727048440976 140727048423520 140393608318711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
/proc/15284/statm: 3495046 12654 3714 1 0 3482761 0
[pid=15284/tid=15286] ppid=15281 vsize=13980184 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) R 15281 15284 11198 0 -1 4202560 7597 0 0 0 27 2 0 0 20 0 15 0 114628246 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393612549872 140393591694718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15287] ppid=15281 vsize=13980184 memory=4211973474301963658 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393560939152 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15288] ppid=15281 vsize=13980184 memory=139748097175477 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393559886352 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15289] ppid=15281 vsize=13980184 memory=139747968275918 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393558833552 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15290] ppid=15281 vsize=13980184 memory=139747968273871 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15281 15284 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114628247 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393557780752 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15291] ppid=15281 vsize=13980184 memory=139748097184345 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15281 15284 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114628249 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393082502000 140393608329858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15292] ppid=15281 vsize=13980184 memory=139747968283055 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15281 15284 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114628249 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393081447968 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15293] ppid=15281 vsize=13980184 memory=279495936556944 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15281 15284 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114628249 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393080395120 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15294] ppid=15281 vsize=13980184 memory=279495936554640 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393079343440 140393608337307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15295] ppid=15281 vsize=13980184 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15281 15284 11198 0 -1 1077944384 725 0 0 0 5 0 0 0 20 0 15 0 114628252 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393078290800 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15296] ppid=15281 vsize=13980184 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15281 15284 11198 0 -1 1077944384 315 0 0 0 4 0 0 0 20 0 15 0 114628252 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393077238000 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15297] ppid=15281 vsize=13980184 memory=139748097173120 CPUtime=0.08 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) R 15281 15284 11198 0 -1 4202560 452 0 0 0 8 0 0 0 20 0 15 0 114628252 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393076185200 140393592399198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15298] ppid=15281 vsize=13980184 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393075132640 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15299] ppid=15281 vsize=13980184 memory=139748097173120 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628252 14315708416 12654 33554432000 4194304 4196468 140727048440976 140393074080944 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50616 KiB
[startup+0.700781 s]
/proc/loadavg: 1.51 1.44 1.39 4/216 15299
/proc/meminfo: memFree=28426488/32770624 swapFree=67108860/67108860
[pid=15284] ppid=15281 vsize=13982232 memory=96100 CPUtime=1.48 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15281 15284 11198 0 -1 1077944320 14011 0 0 0 143 5 0 0 20 0 15 0 114628246 14317805568 24025 33554432000 4194304 4196468 140727048440976 140727048423520 140393608318711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
/proc/15284/statm: 3495558 24025 3776 1 0 3483273 0
[pid=15284/tid=15286] ppid=15281 vsize=13982232 memory=1952 CPUtime=0.67 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) R 15281 15284 11198 0 -1 4202560 8533 0 0 0 64 3 0 0 20 0 15 0 114628246 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393612547088 140393592399198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15287] ppid=15281 vsize=13982232 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393560939152 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15288] ppid=15281 vsize=13982232 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393559886352 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15289] ppid=15281 vsize=13982232 memory=7523356985603351872 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393558833552 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15290] ppid=15281 vsize=13982232 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15281 15284 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114628247 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393557780752 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15291] ppid=15281 vsize=13982232 memory=7079778810233638992 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15281 15284 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114628249 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393082502000 140393608329858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15292] ppid=15281 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15281 15284 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114628249 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393081447968 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15293] ppid=15281 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15281 15284 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114628249 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393080395120 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15294] ppid=15281 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393079343440 140393608337307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15295] ppid=15281 vsize=13982232 memory=87 CPUtime=0.25 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) R 15281 15284 11198 0 -1 4202560 1666 0 0 0 25 0 0 0 20 0 15 0 114628252 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393078277008 140393591810437 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15296] ppid=15281 vsize=13982232 memory=4 CPUtime=0.25 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15281 15284 11198 0 -1 1077944384 1367 0 0 0 25 0 0 0 20 0 15 0 114628252 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393077238000 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15297] ppid=15281 vsize=13982232 memory=7420 CPUtime=0.28 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15281 15284 11198 0 -1 1077944384 1064 0 0 0 28 0 0 0 20 0 15 0 114628252 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393076185200 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15298] ppid=15281 vsize=13982232 memory=279495936740848 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393075132640 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15299] ppid=15281 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628252 14317805568 24025 33554432000 4194304 4196468 140727048440976 140393074080944 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 96100 KiB
[startup+1.1653 s]
# the end of solver process 15284 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.72453 s, system=0.087103 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800796 s]
/proc/loadavg: 1.51 1.44 1.39 4/216 15299
/proc/meminfo: memFree=28426488/32770624 swapFree=67108860/67108860
[pid=15284] ppid=15281 vsize=13984280 memory=104568 CPUtime=1.66 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15281 15284 11198 0 -1 1077944320 14626 0 0 0 161 5 0 0 20 0 15 0 114628246 14319902720 26142 33554432000 4194304 4196468 140727048440976 140727048423520 140393608318711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
/proc/15284/statm: 3496070 26142 3782 1 0 3483785 0
[pid=15284/tid=15286] ppid=15281 vsize=13984280 memory=8851400225972064177 CPUtime=0.77 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) R 15281 15284 11198 0 -1 4202560 9073 0 0 0 73 4 0 0 20 0 15 0 114628246 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393612554368 140393608330646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15287] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393560939152 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15288] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393559886352 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15289] ppid=15281 vsize=13984280 memory=2608 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393558833552 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15290] ppid=15281 vsize=13984280 memory=7151822037873354048 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15281 15284 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393557780752 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15291] ppid=15281 vsize=13984280 memory=7739276948477997159 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15281 15284 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393082502000 140393608329858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15292] ppid=15281 vsize=13984280 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15281 15284 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393081447968 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15293] ppid=15281 vsize=13984280 memory=5931337897165865060 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15281 15284 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393080395120 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15294] ppid=15281 vsize=13984280 memory=5788087960600858704 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393079343440 140393608337307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15295] ppid=15281 vsize=13984280 memory=8311777531775520915 CPUtime=0.3 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) R 15281 15284 11198 0 -1 1077944384 1684 0 0 0 30 0 0 0 20 0 15 0 114628252 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393078290800 140393608329858 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15296] ppid=15281 vsize=13984280 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15281 15284 11198 0 -1 1077944384 1377 0 0 0 26 0 0 0 20 0 15 0 114628252 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393077238000 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15297] ppid=15281 vsize=13984280 memory=128405508 CPUtime=0.31 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) R 15281 15284 11198 0 -1 4202560 1111 0 0 0 31 0 0 0 20 0 15 0 114628252 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393076185328 140393592362341 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15298] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393075132640 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15299] ppid=15281 vsize=13984280 memory=279495936833120 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 26142 33554432000 4194304 4196468 140727048440976 140393074080944 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 104568 KiB
[startup+1.00078 s]*
/proc/loadavg: 1.51 1.44 1.39 5/216 15299
/proc/meminfo: memFree=28342156/32770624 swapFree=67108860/67108860
[pid=15284] ppid=15281 vsize=13984280 memory=147924 CPUtime=2.34 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15281 15284 11198 0 -1 1077944320 15752 0 0 0 227 7 0 0 20 0 15 0 114628246 14319902720 36981 33554432000 4194304 4196468 140727048440976 140727048423520 140393608318711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
/proc/15284/statm: 3496070 36981 3786 1 0 3483785 0
[pid=15284/tid=15286] ppid=15281 vsize=13984280 memory=6735269665583770266 CPUtime=0.98 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) R 15281 15284 11198 0 -1 4202560 9908 0 0 0 93 5 0 0 20 0 15 0 114628246 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393612553904 140393240704191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15287] ppid=15281 vsize=13984280 memory=4211973474301963658 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393560939152 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15288] ppid=15281 vsize=13984280 memory=3472468044324853420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393559886352 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15289] ppid=15281 vsize=13984280 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393558833552 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15290] ppid=15281 vsize=13984280 memory=4137290303932963203 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15281 15284 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393557780752 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15291] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15281 15284 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393082502000 140393608329858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15292] ppid=15281 vsize=13984280 memory=8606216625674220404 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15281 15284 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393081447968 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15293] ppid=15281 vsize=13984280 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15281 15284 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393080395120 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15294] ppid=15281 vsize=13984280 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393079343440 140393608337307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15295] ppid=15281 vsize=13984280 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) R 15281 15284 11198 0 -1 4202560 1752 0 0 0 48 0 0 0 20 0 15 0 114628252 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393078278592 140393591903520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15296] ppid=15281 vsize=13984280 memory=6011555679673458737 CPUtime=0.45 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) R 15281 15284 11198 0 -1 4202560 1430 0 0 0 45 0 0 0 20 0 15 0 114628252 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393077225232 140393593200454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15297] ppid=15281 vsize=13984280 memory=5865912593144721338 CPUtime=0.4 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) R 15281 15284 11198 0 -1 1077944384 1280 0 0 0 40 0 0 0 20 0 15 0 114628252 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393076185200 140393608329858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15298] ppid=15281 vsize=13984280 memory=7878495878512652848 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393075132640 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15299] ppid=15281 vsize=13984280 memory=7023313621064804587 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 36981 33554432000 4194304 4196468 140727048440976 140393074080944 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 147924 KiB
[startup+1.11043 s]
/proc/loadavg: 1.51 1.44 1.39 5/216 15299
/proc/meminfo: memFree=28342156/32770624 swapFree=67108860/67108860
[pid=15284] ppid=15281 vsize=13984280 memory=151180 CPUtime=2.66 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15281 15284 11198 0 -1 1077944320 20071 0 0 0 259 7 0 0 20 0 15 0 114628246 14319902720 37795 33554432000 4194304 4196468 140727048440976 140727048423520 140393608318711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
/proc/15284/statm: 3496070 37795 3786 1 0 3483785 0
[pid=15284/tid=15286] ppid=15281 vsize=13984280 memory=85084 CPUtime=1.08 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) R 15281 15284 11198 0 -1 4202560 10363 0 0 0 103 5 0 0 20 0 15 0 114628246 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393612556240 140393241225155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15287] ppid=15281 vsize=13984280 memory=87 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393560939152 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15288] ppid=15281 vsize=13984280 memory=4 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393559886352 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15289] ppid=15281 vsize=13984280 memory=7420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15281 15284 11198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393558833552 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15290] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15281 15284 11198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114628247 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393557780752 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15291] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15281 15284 11198 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393082502000 140393608329858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15292] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15281 15284 11198 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393081447968 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15293] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15281 15284 11198 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114628249 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393080395120 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15294] ppid=15281 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393079343440 140393608337307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15295] ppid=15281 vsize=13984280 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) R 15281 15284 11198 0 -1 4202560 3282 0 0 0 58 0 0 0 20 0 15 0 114628252 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393078278592 140393589838457 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15296] ppid=15281 vsize=13984280 memory=279493319236398 CPUtime=0.55 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) R 15281 15284 11198 0 -1 4202560 2883 0 0 0 55 0 0 0 20 0 15 0 114628252 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393077225232 140393588846096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15297] ppid=15281 vsize=13984280 memory=279495936650192 CPUtime=0.42 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15281 15284 11198 0 -1 1077944384 2155 0 0 0 41 1 0 0 20 0 15 0 114628252 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393076185200 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15298] ppid=15281 vsize=13984280 memory=563 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15281 15284 11198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393075132640 140393608328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
[pid=15284/tid=15299] ppid=15281 vsize=13984280 memory=87 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15281 15284 11198 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 114628252 14319902720 37795 33554432000 4194304 4196468 140727048440976 140393074080944 140393608329858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140727048447076 140727048447263 140727048447263 140727048449999 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 151180 KiB
Child status: 0
Real time (s): 1.16534
CPU time (s): 2.81163
CPU user time (s): 2.72453
CPU system time (s): 0.087103
CPU usage (%): 241.27
Max. virtual memory (cumulated for all children) (KiB): 13984280
Max. memory (cumulated for all children) (KiB): 151180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.72453
system time used= 0.087103
maximum resident set size= 157704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22263
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= 1992
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 15284
# total CPU time (s): 2.81163
# total CPU user time (s): 2.72453
# total CPU system time (s): 0.087103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033088 second user time and 0.053756 second system time
The end