2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
GG's minicp 2018-04-29	SAT (TO)	21	2520.09	2484.91
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 (10380 MiB free)
  memory of node 1: 16384 MiB (15805 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298393-1532758693/watcher-4298393-1532758693 -o /tmp/evaluation-result-4298393-1532758693/solver-4298393-1532758693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532741226-26123 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298393-1532758693.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
solver pid=28126, runsolver pid=28123
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 1.35 1.37 1.39 5/215 28161
/proc/meminfo: memFree=26784812/32770624 swapFree=67028144/67108860
[pid=28126] ppid=28123 vsize=10661056 memory=26368 CPUtime=0.12 cores=1,3,5,7
/proc/28126/stat : 28126 (java) S 28123 28126 26091 0 -1 1077944320 5471 0 0 0 11 1 0 0 20 0 15 0 93432503 10916921344 6592 33554432000 4194304 4196468 140730542942560 140730542925104 139831081950967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
/proc/28126/statm: 2665264 6592 2858 1 0 2627263 0
[pid=28126/tid=28129] ppid=28123 vsize=10661056 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 3373 0 0 0 8 1 0 0 20 0 15 0 93432504 10916921344 6592 33554432000 4194304 4196468 140730542942560 139831086184128 139831081962902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661056 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432505 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661056 memory=139721177712256 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432505 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432505 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432505 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661056 memory=139721177712256 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432506 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28145] ppid=28123 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28145/stat : 28145 (java) S 28123 28126 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93432506 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830385755424 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28147] ppid=28123 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28147/stat : 28147 (java) S 28123 28126 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93432507 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830384703088 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28150] ppid=28123 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28150/stat : 28150 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830383651408 139831081969563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28151] ppid=28123 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28151/stat : 28151 (java) S 28123 28126 26091 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 93432509 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830382598256 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28152] ppid=28123 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28152/stat : 28152 (java) S 28123 28126 26091 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 93432509 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830381545456 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28153] ppid=28123 vsize=10661056 memory=139721177712256 CPUtime=0.01 cores=1,3,5,7
/proc/28126/task/28153/stat : 28153 (java) S 28123 28126 26091 0 -1 1077944384 291 0 0 0 1 0 0 0 20 0 15 0 93432509 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830380493168 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28154] ppid=28123 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28154/stat : 28154 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830379440608 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28155] ppid=28123 vsize=10661056 memory=139721177712256 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28155/stat : 28155 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432509 10916921344 6592 33554432000 4194304 4196468 140730542942560 139830310726576 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 26368 KiB

[startup+0.210522 s]*
/proc/loadavg: 1.35 1.37 1.39 5/215 28161
/proc/meminfo: memFree=26761060/32770624 swapFree=67028144/67108860
[pid=28126] ppid=28123 vsize=10661056 memory=39360 CPUtime=0.33 cores=1,3,5,7
/proc/28126/stat : 28126 (java) S 28123 28126 26091 0 -1 1077944320 8414 0 0 0 31 2 0 0 20 0 15 0 93432503 10916921344 9840 33554432000 4194304 4196468 140730542942560 140730542925104 139831081950967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
/proc/28126/statm: 2665264 9840 3004 1 0 2627263 0
[pid=28126/tid=28129] ppid=28123 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 5202 0 0 0 19 1 0 0 20 0 15 0 93432504 10916921344 9840 33554432000 4194304 4196468 140730542942560 139831086182208 139831081962902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661056 memory=342 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432505 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661056 memory=139721177738630 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432505 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432505 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432505 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661056 memory=139721177712256 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432506 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28145] ppid=28123 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28145/stat : 28145 (java) S 28123 28126 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93432506 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830385755424 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28147] ppid=28123 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28147/stat : 28147 (java) S 28123 28126 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93432507 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830384703088 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28150] ppid=28123 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28150/stat : 28150 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830383651408 139831081969563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28151] ppid=28123 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28126/task/28151/stat : 28151 (java) S 28123 28126 26091 0 -1 1077944384 634 0 0 0 2 0 0 0 20 0 15 0 93432509 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830382598256 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28152] ppid=28123 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28126/task/28152/stat : 28152 (java) S 28123 28126 26091 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 93432509 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830381545456 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28153] ppid=28123 vsize=10661056 memory=139721177712256 CPUtime=0.07 cores=1,3,5,7
/proc/28126/task/28153/stat : 28153 (java) R 28123 28126 26091 0 -1 4202560 949 0 0 0 7 0 0 0 20 0 15 0 93432509 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830380489536 139831060623872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28154] ppid=28123 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28154/stat : 28154 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830379440608 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28155] ppid=28123 vsize=10661056 memory=139721177712256 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28155/stat : 28155 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432509 10916921344 9840 33554432000 4194304 4196468 140730542942560 139830310726576 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39360 KiB

[startup+0.310434 s]*
/proc/loadavg: 1.35 1.37 1.39 6/215 28161
/proc/meminfo: memFree=26744724/32770624 swapFree=67028144/67108860
[pid=28126] ppid=28123 vsize=10661132 memory=43688 CPUtime=0.56 cores=1,3,5,7
/proc/28126/stat : 28126 (java) S 28123 28126 26091 0 -1 1077944320 9050 0 0 0 54 2 0 0 20 0 15 0 93432503 10916999168 10922 33554432000 4194304 4196468 140730542942560 140730542925104 139831081950967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
/proc/28126/statm: 2665283 10922 3049 1 0 2627263 0
[pid=28126/tid=28129] ppid=28123 vsize=10661132 memory=26467445 CPUtime=0.29 cores=1,3,5,7
/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 5545 0 0 0 28 1 0 0 20 0 15 0 93432504 10916999168 10922 33554432000 4194304 4196468 140730542942560 139831086187632 139831065994597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661132 memory=139721057605583 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661132 memory=279442115208848 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661132 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661132 memory=279442235324736 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28145] ppid=28123 vsize=10661132 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28145/stat : 28145 (java) S 28123 28126 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830385755424 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28147] ppid=28123 vsize=10661132 memory=2110071664744260 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28147/stat : 28147 (java) S 28123 28126 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93432507 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830384703088 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28150] ppid=28123 vsize=10661132 memory=2110071664744292 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28150/stat : 28150 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830383651408 139831081969563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28151] ppid=28123 vsize=10661132 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28126/task/28151/stat : 28151 (java) S 28123 28126 26091 0 -1 1077944384 706 0 0 0 5 0 0 0 20 0 15 0 93432509 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830382598256 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28152] ppid=28123 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/28126/task/28152/stat : 28152 (java) R 28123 28126 26091 0 -1 4202560 298 0 0 0 5 0 0 0 20 0 15 0 93432509 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830381545456 139831074936009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28153] ppid=28123 vsize=10661132 memory=139721177712256 CPUtime=0.15 cores=1,3,5,7
/proc/28126/task/28153/stat : 28153 (java) R 28123 28126 26091 0 -1 4202560 1141 0 0 0 15 0 0 0 20 0 15 0 93432509 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830380493168 139831081962902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28154] ppid=28123 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28154/stat : 28154 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830379440608 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28155] ppid=28123 vsize=10661132 memory=139721177712256 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28155/stat : 28155 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 10922 33554432000 4194304 4196468 140730542942560 139830310726576 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 43688 KiB

[startup+0.7014 s]
/proc/loadavg: 1.35 1.37 1.39 6/215 28161
/proc/meminfo: memFree=26687420/32770624 swapFree=67028144/67108860
[pid=28126] ppid=28123 vsize=10661132 memory=77968 CPUtime=1.68 cores=1,3,5,7
/proc/28126/stat : 28126 (java) S 28123 28126 26091 0 -1 1077944320 12510 0 0 0 165 3 0 0 20 0 15 0 93432503 10916999168 19492 33554432000 4194304 4196468 140730542942560 140730542925104 139831081950967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
/proc/28126/statm: 2665283 19492 3118 1 0 2627263 0
[pid=28126/tid=28129] ppid=28123 vsize=10661132 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 5740 0 0 0 66 1 0 0 20 0 15 0 93432504 10916999168 19492 33554432000 4194304 4196468 140730542942560 139831086190632 139830723187562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661132 memory=3184237641133604032 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661132 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28145] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28145/stat : 28145 (java) S 28123 28126 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830385755424 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28147] ppid=28123 vsize=10661132 memory=260598617112907 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28147/stat : 28147 (java) S 28123 28126 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93432507 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830384703088 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28150] ppid=28123 vsize=10661132 memory=288230376152200162 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28150/stat : 28150 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830383651408 139831081969563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28151] ppid=28123 vsize=10661132 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/28126/task/28151/stat : 28151 (java) R 28123 28126 26091 0 -1 4202560 1640 0 0 0 34 0 0 0 20 0 15 0 93432509 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830382584280 139831063495504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28152] ppid=28123 vsize=10661132 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/28126/task/28152/stat : 28152 (java) R 28123 28126 26091 0 -1 4202560 1757 0 0 0 32 0 0 0 20 0 15 0 93432509 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830381530952 139831066872837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28153] ppid=28123 vsize=10661132 memory=7809523229951467572 CPUtime=0.32 cores=1,3,5,7
/proc/28126/task/28153/stat : 28153 (java) S 28123 28126 26091 0 -1 1077944384 2002 0 0 0 32 0 0 0 20 0 15 0 93432509 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830380493168 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28154] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28154/stat : 28154 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830379440608 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28155] ppid=28123 vsize=10661132 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28155/stat : 28155 (java) S 28123 28126 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 19492 33554432000 4194304 4196468 140730542942560 139830310726576 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 77968 KiB

[startup+1.50081 s]
/proc/loadavg: 1.35 1.37 1.39 5/215 28161
/proc/meminfo: memFree=26522000/32770624 swapFree=67028144/67108860
[pid=28126] ppid=28123 vsize=10661132 memory=187120 CPUtime=2.89 cores=1,3,5,7
/proc/28126/stat : 28126 (java) S 28123 28126 26091 0 -1 1077944320 17563 0 0 0 285 4 0 0 20 0 15 0 93432503 10916999168 46780 33554432000 4194304 4196468 140730542942560 140730542925104 139831081950967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
/proc/28126/statm: 2665283 46780 3141 1 0 2627263 0
[pid=28126/tid=28129] ppid=28123 vsize=10661132 memory=279442115819040 CPUtime=1.47 cores=1,3,5,7
/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 6142 0 0 0 145 2 0 0 20 0 15 0 93432504 10916999168 46780 33554432000 4194304 4196468 140730542942560 139831086190304 139830723393503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661132 memory=260506946427846 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 46780 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661132 memory=33 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 46780 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 46780 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 93432505 10916999168 46780 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 46780 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0

################
# More data... #
################

/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 31879 0 0 0 235926 27 0 0 20 0 15 0 93432504 10916999168 80918 33554432000 4194304 4196468 140730542942560 139831086190560 139830723393228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.39 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 8846 0 0 0 1079 60 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.39 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 9442 0 0 0 1079 60 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.39 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 8780 0 0 0 1087 52 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661132 memory=279442116275168 CPUtime=11.39 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 10239 0 0 0 1078 61 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661132 memory=323672 CPUtime=8.42 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 6214 0 0 0 789 53 0 0 20 0 15 0 93432506 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28145] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28145/stat : 28145 (java) S 28123 28126 26091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830385755424 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28147] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28147/stat : 28147 (java) S 28123 28126 26091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 93432507 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830384703088 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28150] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28150/stat : 28150 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830383651408 139831081969563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28151] ppid=28123 vsize=10661132 memory=323672 CPUtime=0.72 cores=1,3,5,7
/proc/28126/task/28151/stat : 28151 (java) S 28123 28126 26091 0 -1 1077944384 3549 0 0 0 71 1 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830382598256 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28152] ppid=28123 vsize=10661132 memory=323672 CPUtime=0.64 cores=1,3,5,7
/proc/28126/task/28152/stat : 28152 (java) S 28123 28126 26091 0 -1 1077944384 5908 0 0 0 64 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830381545456 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28153] ppid=28123 vsize=10661132 memory=3544 CPUtime=0.37 cores=1,3,5,7
/proc/28126/task/28153/stat : 28153 (java) S 28123 28126 26091 0 -1 1077944384 2370 0 0 0 36 1 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830380493168 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28154] ppid=28123 vsize=10661132 memory=23492 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28154/stat : 28154 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830379440608 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28155] ppid=28123 vsize=10661132 memory=12096 CPUtime=1.28 cores=1,3,5,7
/proc/28126/task/28155/stat : 28155 (java) S 28123 28126 26091 0 -1 1077944384 882 0 0 0 60 68 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830310726576 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
Current children cumulated CPU time: 2416.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 323672 KiB

[startup+2442.3 s]
/proc/loadavg: 1.54 1.38 1.40 3/215 28236
/proc/meminfo: memFree=26062928/32770624 swapFree=67028160/67108860
[pid=28126] ppid=28123 vsize=10661132 memory=323672 CPUtime=2477.1 cores=1,3,5,7
/proc/28126/stat : 28126 (java) S 28123 28126 26091 0 -1 1077944320 90482 0 0 0 247387 323 0 0 20 0 15 0 93432503 10916999168 80918 33554432000 4194304 4196468 140730542942560 140730542925104 139831081950967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
/proc/28126/statm: 2665283 80918 3165 1 0 2627263 0
[pid=28126/tid=28129] ppid=28123 vsize=10661132 memory=1332 CPUtime=2419.02 cores=1,3,5,7
/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 32383 0 0 0 241874 28 0 0 20 0 15 0 93432504 10916999168 80918 33554432000 4194304 4196468 140730542942560 139831086190560 139830722572378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.58 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 8858 0 0 0 1096 62 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.57 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 9688 0 0 0 1096 61 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.58 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 8811 0 0 0 1105 53 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.58 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 10260 0 0 0 1095 63 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661132 memory=323672 CPUtime=8.66 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 6326 0 0 0 812 54 0 0 20 0 15 0 93432506 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28145] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28145/stat : 28145 (java) S 28123 28126 26091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830385755424 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28147] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28147/stat : 28147 (java) S 28123 28126 26091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 93432507 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830384703088 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28150] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28150/stat : 28150 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830383651408 139831081969563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28151] ppid=28123 vsize=10661132 memory=323672 CPUtime=0.72 cores=1,3,5,7
/proc/28126/task/28151/stat : 28151 (java) S 28123 28126 26091 0 -1 1077944384 3551 0 0 0 71 1 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830382598256 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28152] ppid=28123 vsize=10661132 memory=323672 CPUtime=0.64 cores=1,3,5,7
/proc/28126/task/28152/stat : 28152 (java) S 28123 28126 26091 0 -1 1077944384 5910 0 0 0 64 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830381545456 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28153] ppid=28123 vsize=10661132 memory=323672 CPUtime=0.37 cores=1,3,5,7
/proc/28126/task/28153/stat : 28153 (java) S 28123 28126 26091 0 -1 1077944384 2372 0 0 0 36 1 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830380493168 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28154] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28154/stat : 28154 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830379440608 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28155] ppid=28123 vsize=10661132 memory=323672 CPUtime=1.31 cores=1,3,5,7
/proc/28126/task/28155/stat : 28155 (java) S 28123 28126 26091 0 -1 1077944384 899 0 0 0 61 70 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830310726576 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
Current children cumulated CPU time: 2477.1 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 323672 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2484.9 s]
/proc/loadavg: 1.44 1.38 1.40 3/215 28314
/proc/meminfo: memFree=26215724/32770624 swapFree=67028160/67108860
[pid=28126] ppid=28123 vsize=10661132 memory=323672 CPUtime=2520.06 cores=1,3,5,7
/proc/28126/stat : 28126 (java) S 28123 28126 26091 0 -1 1077944320 91463 0 0 0 251678 328 0 0 20 0 15 0 93432503 10916999168 80918 33554432000 4194304 4196468 140730542942560 140730542925104 139831081950967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
/proc/28126/statm: 2665283 80918 3165 1 0 2627263 0
[pid=28126/tid=28129] ppid=28123 vsize=10661132 memory=323672 CPUtime=2461.29 cores=1,3,5,7
/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 32847 0 0 0 246101 28 0 0 20 0 15 0 93432504 10916999168 80918 33554432000 4194304 4196468 140730542942560 139831086190560 139830722708192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.71 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 8888 0 0 0 1108 63 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.69 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 9697 0 0 0 1107 62 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.71 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 9058 0 0 0 1117 54 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.7 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 10285 0 0 0 1106 64 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661132 memory=323672 CPUtime=8.81 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 6436 0 0 0 826 55 0 0 20 0 15 0 93432506 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28145] ppid=28123 vsize=10661132 memory=873 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28145/stat : 28145 (java) S 28123 28126 26091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830385755424 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28147] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28147/stat : 28147 (java) S 28123 28126 26091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 93432507 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830384703088 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28150] ppid=28123 vsize=10661132 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28150/stat : 28150 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830383651408 139831081969563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28151] ppid=28123 vsize=10661132 memory=323672 CPUtime=0.72 cores=1,3,5,7
/proc/28126/task/28151/stat : 28151 (java) S 28123 28126 26091 0 -1 1077944384 3627 0 0 0 71 1 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830382598256 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28152] ppid=28123 vsize=10661132 memory=640 CPUtime=0.64 cores=1,3,5,7
/proc/28126/task/28152/stat : 28152 (java) S 28123 28126 26091 0 -1 1077944384 5912 0 0 0 64 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830381545456 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28153] ppid=28123 vsize=10661132 memory=3008 CPUtime=0.37 cores=1,3,5,7
/proc/28126/task/28153/stat : 28153 (java) S 28123 28126 26091 0 -1 1077944384 2375 0 0 0 36 1 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830380493168 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28154] ppid=28123 vsize=10661132 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28154/stat : 28154 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830379440608 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28155] ppid=28123 vsize=10661132 memory=323672 CPUtime=1.33 cores=1,3,5,7
/proc/28126/task/28155/stat : 28155 (java) S 28123 28126 26091 0 -1 1077944384 914 0 0 0 62 71 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830310726576 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 323672 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2484.91 s]
# the end of solver process 28126 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.8 s, system=3.29079 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2484.9 s]
/proc/loadavg: 1.44 1.38 1.40 3/215 28314
/proc/meminfo: memFree=26215724/32770624 swapFree=67028160/67108860
[pid=28126] ppid=28123 vsize=10661132 memory=323672 CPUtime=2520.06 cores=1,3,5,7
/proc/28126/stat : 28126 (java) S 28123 28126 26091 0 -1 1077944320 91463 0 0 0 251678 328 0 0 20 0 15 0 93432503 10916999168 80918 33554432000 4194304 4196468 140730542942560 140730542925104 139831081950967 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
/proc/28126/statm: 2665283 80918 3165 1 0 2627263 0
[pid=28126/tid=28129] ppid=28123 vsize=10661132 memory=323672 CPUtime=2461.29 cores=1,3,5,7
/proc/28126/task/28129/stat : 28129 (java) R 28123 28126 26091 0 -1 4202560 32847 0 0 0 246101 28 0 0 20 0 15 0 93432504 10916999168 80918 33554432000 4194304 4196468 140730542942560 139831086190560 139830722708192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28136] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.71 cores=1,3,5,7
/proc/28126/task/28136/stat : 28136 (java) S 28123 28126 26091 0 -1 1077944384 8888 0 0 0 1108 63 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830688672144 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28137] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.69 cores=1,3,5,7
/proc/28126/task/28137/stat : 28137 (java) S 28123 28126 26091 0 -1 1077944384 9697 0 0 0 1107 62 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830687619344 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28138] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.71 cores=1,3,5,7
/proc/28126/task/28138/stat : 28138 (java) S 28123 28126 26091 0 -1 1077944384 9058 0 0 0 1117 54 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830686567056 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28139] ppid=28123 vsize=10661132 memory=323672 CPUtime=11.7 cores=1,3,5,7
/proc/28126/task/28139/stat : 28139 (java) S 28123 28126 26091 0 -1 1077944384 10285 0 0 0 1106 64 0 0 20 0 15 0 93432505 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830685514256 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28144] ppid=28123 vsize=10661132 memory=323672 CPUtime=8.81 cores=1,3,5,7
/proc/28126/task/28144/stat : 28144 (java) S 28123 28126 26091 0 -1 1077944384 6436 0 0 0 826 55 0 0 20 0 15 0 93432506 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830386809456 139831081962114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28145] ppid=28123 vsize=10661132 memory=873 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28145/stat : 28145 (java) S 28123 28126 26091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 93432506 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830385755424 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28147] ppid=28123 vsize=10661132 memory=323672 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28147/stat : 28147 (java) S 28123 28126 26091 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 93432507 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830384703088 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28150] ppid=28123 vsize=10661132 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28150/stat : 28150 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830383651408 139831081969563 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28151] ppid=28123 vsize=10661132 memory=323672 CPUtime=0.72 cores=1,3,5,7
/proc/28126/task/28151/stat : 28151 (java) S 28123 28126 26091 0 -1 1077944384 3627 0 0 0 71 1 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830382598256 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28152] ppid=28123 vsize=10661132 memory=640 CPUtime=0.64 cores=1,3,5,7
/proc/28126/task/28152/stat : 28152 (java) S 28123 28126 26091 0 -1 1077944384 5912 0 0 0 64 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830381545456 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28153] ppid=28123 vsize=10661132 memory=3008 CPUtime=0.37 cores=1,3,5,7
/proc/28126/task/28153/stat : 28153 (java) S 28123 28126 26091 0 -1 1077944384 2375 0 0 0 36 1 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830380493168 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28154] ppid=28123 vsize=10661132 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/28126/task/28154/stat : 28154 (java) S 28123 28126 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830379440608 139831081961173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
[pid=28126/tid=28155] ppid=28123 vsize=10661132 memory=323672 CPUtime=1.33 cores=1,3,5,7
/proc/28126/task/28155/stat : 28155 (java) S 28123 28126 26091 0 -1 1077944384 914 0 0 0 62 71 0 0 20 0 15 0 93432509 10916999168 80918 33554432000 4194304 4196468 140730542942560 139830310726576 139831081962114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26804224 140730542945397 140730542945545 140730542945545 140730542948303 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 323672 KiB

Child status: 143
Real time (s): 2484.91
CPU time (s): 2520.09
CPU user time (s): 2516.8
CPU system time (s): 3.29079
CPU usage (%): 101.416
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 535348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.8
system time used= 3.29079
maximum resident set size= 537912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279050
involuntary context switches= 5980


# summary of solver processes directly reported to runsolver:
#   pid: 28126
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.8
#   total CPU system time (s): 3.29079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2845 second user time and 22.7376 second system time

The end
Name	PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml
MD5SUM	6059cce927de517ef09e7ab17e66c3d6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables	776
Number of constraints	867
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":776}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":81},{"degree":4,"count":204},{"degree":5,"count":222},{"degree":6,"count":243},{"degree":7,"count":6},{"degree":8,"count":17}]
Minimum constraint arity	1
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":697},{"arity":3,"count":12},{"arity":4,"count":15},{"arity":5,"count":16},{"arity":6,"count":18},{"arity":7,"count":10},{"arity":8,"count":8},{"arity":9,"count":14},{"arity":10,"count":11},{"arity":11,"count":5},{"arity":12,"count":11},{"arity":13,"count":8},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":8},{"arity":17,"count":6},{"arity":18,"count":10},{"arity":19,"count":5},{"arity":20,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":867}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4298393

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
