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 (15290 MiB free)
memory of node 1: 16384 MiB (15530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396619-1568393606/watcher-4396619-1568393606 -o /tmp/evaluation-result-4396619-1568393606/solver-4396619-1568393606 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568393561-470 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=237022519 HOME/instance-4396619-1568393606.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=502, runsolver pid=498
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 1.80 1.89 1.90 3/232 606
/proc/meminfo: memFree=31530784/32770624 swapFree=66995056/67108860
[pid=502] ppid=498 vsize=113256 memory=1612 CPUtime=0.07 cores=0,2,4,6
/proc/502/stat : 502 (bash) S 498 502 436 0 -1 4202496 918 11268 0 0 0 0 5 2 20 0 1 0 415612075 115974144 403 33554432000 4194304 5098028 140730504167232 140730504160456 140313847057408 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 1 0 0 7196144 7232144 20807680 140730504168469 140730504168593 140730504168593 140730504171502 0
/proc/502/statm: 28314 403 320 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1612 KiB
[startup+0.211643 s]*
/proc/loadavg: 1.80 1.89 1.90 7/228 663
/proc/meminfo: memFree=31511116/32770624 swapFree=66995056/67108860
[pid=502] ppid=498 vsize=10819664 memory=37768 CPUtime=0.21 cores=0,2,4,6
/proc/502/stat : 502 (java) S 498 502 436 0 -1 1077944320 7235 13311 0 1 11 2 5 3 20 0 15 0 415612075 11079335936 9442 33554432000 4194304 4196468 140725038873008 140725038855552 140282217197303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
/proc/502/statm: 2704916 9442 3160 1 0 2667149 0
[pid=502/tid=635] ppid=498 vsize=10819664 memory=8389772277269004345 CPUtime=0.17 cores=0,2,4,6
/proc/502/task/635/stat : 635 (java) S 498 502 436 0 -1 1077944384 3760 13311 0 1 8 1 5 3 20 0 15 0 415612086 11079335936 9442 33554432000 4194304 4196468 140725038873008 140282189030320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=637] ppid=498 vsize=10819664 memory=4294967639 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/637/stat : 637 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11079335936 9442 33554432000 4194304 4196468 140725038873008 140282221439376 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=638] ppid=498 vsize=10819664 memory=140467780505943 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/638/stat : 638 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281790171408 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=640] ppid=498 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/640/stat : 640 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281789119120 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=641] ppid=498 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/641/stat : 641 (java) S 498 502 436 0 -1 1077944384 2 13311 0 1 0 0 5 3 20 0 15 0 415612087 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281788066320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=645] ppid=498 vsize=10819664 memory=140467780478592 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/645/stat : 645 (java) S 498 502 436 0 -1 1077944384 2 13311 0 1 0 0 5 3 20 0 15 0 415612088 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281220393584 140282217208450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=647] ppid=498 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/647/stat : 647 (java) S 498 502 436 0 -1 1077944384 13 13311 0 1 0 0 5 3 20 0 15 0 415612089 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281148073248 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=649] ppid=498 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/649/stat : 649 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612089 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281013855856 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=656] ppid=498 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/656/stat : 656 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11079335936 9442 33554432000 4194304 4196468 140725038873008 140280773565008 140282217215899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=657] ppid=498 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/502/task/657/stat : 657 (java) R 498 502 436 0 -1 4202560 356 13311 0 1 1 0 5 3 20 0 15 0 415612092 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281219321416 140282200596465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=658] ppid=498 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/658/stat : 658 (java) R 498 502 436 0 -1 1077944384 289 13311 0 1 0 0 5 3 20 0 15 0 415612092 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281218287600 140282217208450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=659] ppid=498 vsize=10819664 memory=140467780478592 CPUtime=0.1 cores=0,2,4,6
/proc/502/task/659/stat : 659 (java) R 498 502 436 0 -1 4202560 632 13311 0 1 2 0 5 3 20 0 15 0 415612092 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281217230648 140282210294139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=661] ppid=498 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/661/stat : 661 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11079335936 9442 33554432000 4194304 4196468 140725038873008 140280740006368 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=662] ppid=498 vsize=10819664 memory=140467780478592 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/662/stat : 662 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612092 11079335936 9442 33554432000 4194304 4196468 140725038873008 140281114516400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37768 KiB
[startup+0.310504 s]*
/proc/loadavg: 1.80 1.89 1.90 7/228 663
/proc/meminfo: memFree=31479584/32770624 swapFree=66995056/67108860
[pid=502] ppid=498 vsize=10821172 memory=49480 CPUtime=0.37 cores=0,2,4,6
/proc/502/stat : 502 (java) S 498 502 436 0 -1 1077944320 10682 13311 0 1 26 3 5 3 20 0 15 0 415612075 11080880128 12370 33554432000 4194304 4196468 140725038873008 140725038855552 140282217197303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
/proc/502/statm: 2705293 12370 3303 1 0 2667405 0
[pid=502/tid=635] ppid=498 vsize=10820148 memory=4026531975 CPUtime=0.27 cores=0,2,4,6
/proc/502/task/635/stat : 635 (java) R 498 502 436 0 -1 4202560 7493 13311 0 1 16 3 5 3 20 0 15 0 415612086 11079831552 12377 33554432000 4194304 4196468 140725038873008 140282188997216 140282217219229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=637] ppid=498 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/637/stat : 637 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11079831552 12377 33554432000 4194304 4196468 140725038873008 140282221439376 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=638] ppid=498 vsize=10820148 memory=2808949 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/638/stat : 638 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281790171408 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=640] ppid=498 vsize=10820148 memory=3977018457176749621 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/640/stat : 640 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281789119120 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=641] ppid=498 vsize=10820148 memory=3472328296227680303 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/641/stat : 641 (java) S 498 502 436 0 -1 1077944384 2 13311 0 1 0 0 5 3 20 0 15 0 415612087 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281788066320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=645] ppid=498 vsize=10820148 memory=3472468764008158857 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/645/stat : 645 (java) S 498 502 436 0 -1 1077944384 2 13311 0 1 0 0 5 3 20 0 15 0 415612088 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281220393584 140282217208450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=647] ppid=498 vsize=10820148 memory=3472328295574037613 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/647/stat : 647 (java) S 498 502 436 0 -1 1077944384 13 13311 0 1 0 0 5 3 20 0 15 0 415612089 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281148073248 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=649] ppid=498 vsize=10820148 memory=-6876576534042204011 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/649/stat : 649 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612089 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281013855856 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=656] ppid=498 vsize=10820148 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/656/stat : 656 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11079831552 12377 33554432000 4194304 4196468 140725038873008 140280773565008 140282217215899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=657] ppid=498 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/502/task/657/stat : 657 (java) S 498 502 436 0 -1 1077944384 388 13311 0 1 2 0 5 3 20 0 15 0 415612092 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281219340400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=658] ppid=498 vsize=10820148 memory=7160575464710631028 CPUtime=0.09 cores=0,2,4,6
/proc/502/task/658/stat : 658 (java) S 498 502 436 0 -1 1077944384 305 13311 0 1 1 0 5 3 20 0 15 0 415612092 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281218287600 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=659] ppid=498 vsize=10820148 memory=140467780478592 CPUtime=0.13 cores=0,2,4,6
/proc/502/task/659/stat : 659 (java) S 498 502 436 0 -1 1077944384 688 13311 0 1 5 0 5 3 20 0 15 0 415612092 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281217235312 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=661] ppid=498 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/661/stat : 661 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11079831552 12377 33554432000 4194304 4196468 140725038873008 140280740006368 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=662] ppid=498 vsize=10820148 memory=140467780478592 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/662/stat : 662 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612092 11079831552 12377 33554432000 4194304 4196468 140725038873008 140281114516400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10821172 KiB
Current children cumulated memory: 49480 KiB
[startup+0.700989 s]
/proc/loadavg: 1.74 1.88 1.90 4/228 663
/proc/meminfo: memFree=31453960/32770624 swapFree=66995056/67108860
[pid=502] ppid=498 vsize=10822312 memory=81716 CPUtime=1.06 cores=0,2,4,6
/proc/502/stat : 502 (java) S 498 502 436 0 -1 1077944320 15134 13311 0 1 93 5 5 3 20 0 15 0 415612075 11082047488 20429 33554432000 4194304 4196468 140725038873008 140725038855552 140282217197303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
/proc/502/statm: 2705578 20429 3498 1 0 2667661 0
[pid=502/tid=635] ppid=498 vsize=10822312 memory=8556 CPUtime=0.64 cores=0,2,4,6
/proc/502/task/635/stat : 635 (java) R 498 502 436 0 -1 4202560 10267 13311 0 1 52 4 5 3 20 0 15 0 415612086 11082047488 20429 33554432000 4194304 4196468 140725038873008 140282188997168 140281821857678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=637] ppid=498 vsize=10822312 memory=1052 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/637/stat : 637 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11082047488 20429 33554432000 4194304 4196468 140725038873008 140282221439376 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=638] ppid=498 vsize=10822312 memory=1708 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/638/stat : 638 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281790171408 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=640] ppid=498 vsize=10822312 memory=3440 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/640/stat : 640 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612087 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281789119120 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=641] ppid=498 vsize=10822312 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/641/stat : 641 (java) S 498 502 436 0 -1 1077944384 2 13311 0 1 0 0 5 3 20 0 15 0 415612087 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281788066320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=645] ppid=498 vsize=10822312 memory=5904 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/645/stat : 645 (java) S 498 502 436 0 -1 1077944384 5 13311 0 1 0 0 5 3 20 0 15 0 415612088 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281220393584 140282217208450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=647] ppid=498 vsize=10822312 memory=664 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/647/stat : 647 (java) S 498 502 436 0 -1 1077944384 13 13311 0 1 0 0 5 3 20 0 15 0 415612089 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281148073248 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=649] ppid=498 vsize=10822312 memory=1156 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/649/stat : 649 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612089 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281013855856 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=656] ppid=498 vsize=10822312 memory=1000 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/656/stat : 656 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11082047488 20429 33554432000 4194304 4196468 140725038873008 140280773565008 140282217215899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=657] ppid=498 vsize=10822312 memory=7014751519734584657 CPUtime=0.21 cores=0,2,4,6
/proc/502/task/657/stat : 657 (java) S 498 502 436 0 -1 1077944384 869 13311 0 1 13 0 5 3 20 0 15 0 415612092 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281219340400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=658] ppid=498 vsize=10822312 memory=8028340698944722017 CPUtime=0.18 cores=0,2,4,6
/proc/502/task/658/stat : 658 (java) S 498 502 436 0 -1 1077944384 770 13311 0 1 10 0 5 3 20 0 15 0 415612092 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281218287600 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=659] ppid=498 vsize=10822312 memory=7881696724453321575 CPUtime=0.24 cores=0,2,4,6
/proc/502/task/659/stat : 659 (java) S 498 502 436 0 -1 1077944384 993 13311 0 1 16 0 5 3 20 0 15 0 415612092 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281217235312 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=661] ppid=498 vsize=10822312 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/661/stat : 661 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11082047488 20429 33554432000 4194304 4196468 140725038873008 140280740006368 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=662] ppid=498 vsize=10822312 memory=3472328296227679313 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/662/stat : 662 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612092 11082047488 20429 33554432000 4194304 4196468 140725038873008 140281114516400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 81716 KiB
[startup+1.50074 s]
/proc/loadavg: 1.74 1.88 1.90 5/228 663
/proc/meminfo: memFree=31364620/32770624 swapFree=66995056/67108860
[pid=502] ppid=498 vsize=10834676 memory=194588 CPUtime=2.91 cores=0,2,4,6
/proc/502/stat : 502 (java) S 498 502 436 0 -1 1077944320 30061 13311 0 1 272 11 5 3 20 0 15 0 415612075 11094708224 48647 33554432000 4194304 4196468 140725038873008 140725038855552 140282217197303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
/proc/502/statm: 2708669 48647 3586 1 0 2670733 0
[pid=502/tid=635] ppid=498 vsize=10834676 memory=288230621803970871 CPUtime=1.4 cores=0,2,4,6
/proc/502/task/635/stat : 635 (java) R 498 502 436 0 -1 4202560 16250 13311 0 1 126 6 5 3 20 0 15 0 415612086 11094708224 48647 33554432000 4194304 4196468 140725038873008 140282189025520 140282201277790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=637] ppid=498 vsize=10834676 memory=6947385649911455296 CPUtime=0.09 cores=0,2,4,6
/proc/502/task/637/stat : 637 (java) S 498 502 436 0 -1 1077944384 41 13311 0 1 1 0 5 3 20 0 15 0 415612087 11094708224 48647 33554432000 4194304 4196468 140725038873008 140282221439376 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=638] ppid=498 vsize=10834676 memory=1708 CPUtime=0.09 cores=0,2,4,6
/proc/502/task/638/stat : 638 (java) S 498 502 436 0 -1 1077944384 68 13311 0 1 1 0 5 3 20 0 15 0 415612087 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281790171408 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=640] ppid=498 vsize=10834676 memory=3440 CPUtime=0.09 cores=0,2,4,6
/proc/502/task/640/stat : 640 (java) S 498 502 436 0 -1 1077944384 73 13311 0 1 1 0 5 3 20 0 15 0 415612087 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281789119120 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=641] ppid=498 vsize=10834676 memory=2832 CPUtime=0.09 cores=0,2,4,6
/proc/502/task/641/stat : 641 (java) S 498 502 436 0 -1 1077944384 329 13311 0 1 1 0 5 3 20 0 15 0 415612087 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281788066320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=645] ppid=498 vsize=10834676 memory=5904 CPUtime=0.09 cores=0,2,4,6
/proc/502/task/645/stat : 645 (java) S 498 502 436 0 -1 1077944384 475 13311 0 1 1 0 5 3 20 0 15 0 415612088 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281220393584 140282217208450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=647] ppid=498 vsize=10834676 memory=664 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/647/stat : 647 (java) S 498 502 436 0 -1 1077944384 14 13311 0 1 0 0 5 3 20 0 15 0 415612089 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281148073312 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=649] ppid=498 vsize=10834676 memory=1156 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/649/stat : 649 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612089 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281013855856 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=656] ppid=498 vsize=10834676 memory=1000 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/656/stat : 656 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11094708224 48647 33554432000 4194304 4196468 140725038873008 140280773565008 140282217215899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=657] ppid=498 vsize=10834676 memory=280935288082304 CPUtime=0.47 cores=0,2,4,6
/proc/502/task/657/stat : 657 (java) S 498 502 436 0 -1 1077944384 1837 13311 0 1 39 0 5 3 20 0 15 0 415612092 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281219340400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=658] ppid=498 vsize=10834676 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/502/task/658/stat : 658 (java) S 498 502 436 0 -1 1077944384 6515 13311 0 1 56 0 5 3 20 0 15 0 415612092 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281218287600 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=659] ppid=498 vsize=10834676 memory=140467644052380 CPUtime=0.51 cores=0,2,4,6
/proc/502/task/659/stat : 659 (java) R 498 502 436 0 -1 4202560 2247 13311 0 1 43 0 5 3 20 0 15 0 415612092 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281217235312 140282196517632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=661] ppid=498 vsize=10834676 memory=2124 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/661/stat : 661 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11094708224 48647 33554432000 4194304 4196468 140725038873008 140280740006368 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=662] ppid=498 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/662/stat : 662 (java) S 498 502 436 0 -1 1077944384 1 13311 0 1 0 0 5 3 20 0 15 0 415612092 11094708224 48647 33554432000 4194304 4196468 140725038873008 140281114516400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10834676 KiB
Current children cumulated memory: 194588 KiB
[startup+3.11436 s]
/proc/loadavg: 1.74 1.88 1.90 5/228 663
/proc/meminfo: memFree=31099176/32770624 swapFree=66995056/67108860
[pid=502] ppid=498 vsize=10842888 memory=242096 CPUtime=7.33 cores=0,2,4,6
/proc/502/stat : 502 (java) S 498 502 436 0 -1 1077944320 38264 13311 0 1 708 17 5 3 20 0 15 0 415612075 11103117312 60524 33554432000 4194304 4196468 140725038873008 140725038855552 140282217197303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
/proc/502/statm: 2710722 60524 3610 1 0 2672781 0
[pid=502/tid=635] ppid=498 vsize=10842888 memory=8 CPUtime=3 cores=0,2,4,6
/proc/502/task/635/stat : 635 (java) R 498 502 436 0 -1 4202560 19540 13311 0 1 284 8 5 3 20 0 15 0 415612086 11103117312 60524 33554432000 4194304 4196468 140725038873008 140282189030352 140281829356407 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
################
# More data... #
################
/proc/502/task/635/stat : 635 (java) R 498 502 436 0 -1 4202560 107053 13311 0 1 218225 50 5 3 20 0 15 0 415612086 11113615360 137508 33554432000 4194304 4196468 140725038873008 140282189032576 140281837384078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=637] ppid=498 vsize=10853140 memory=550032 CPUtime=11.96 cores=0,2,4,6
/proc/502/task/637/stat : 637 (java) S 498 502 436 0 -1 1077944384 18650 13311 0 1 1133 55 5 3 20 0 15 0 415612087 11113615360 137508 33554432000 4194304 4196468 140725038873008 140282221439376 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=638] ppid=498 vsize=10853140 memory=550032 CPUtime=11.95 cores=0,2,4,6
/proc/502/task/638/stat : 638 (java) S 498 502 436 0 -1 1077944384 17898 13311 0 1 1133 54 5 3 20 0 15 0 415612087 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281790171408 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=640] ppid=498 vsize=10853140 memory=550032 CPUtime=11.96 cores=0,2,4,6
/proc/502/task/640/stat : 640 (java) S 498 502 436 0 -1 1077944384 20815 13311 0 1 1134 54 5 3 20 0 15 0 415612087 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281789119120 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=641] ppid=498 vsize=10853140 memory=222786 CPUtime=11.96 cores=0,2,4,6
/proc/502/task/641/stat : 641 (java) S 498 502 436 0 -1 1077944384 17137 13311 0 1 1135 53 5 3 20 0 15 0 415612087 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281788066320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=645] ppid=498 vsize=10853140 memory=3632 CPUtime=6.39 cores=0,2,4,6
/proc/502/task/645/stat : 645 (java) S 498 502 436 0 -1 1077944384 12695 13311 0 1 583 48 5 3 20 0 15 0 415612088 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281220393584 140282217208450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=647] ppid=498 vsize=10853140 memory=550032 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/647/stat : 647 (java) S 498 502 436 0 -1 1077944384 53 13311 0 1 0 0 5 3 20 0 15 0 415612089 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281148073312 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=649] ppid=498 vsize=10853140 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/649/stat : 649 (java) S 498 502 436 0 -1 1077944384 35 13311 0 1 0 0 5 3 20 0 15 0 415612089 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281013855872 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=656] ppid=498 vsize=10853140 memory=550032 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/656/stat : 656 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140280773565008 140282217215899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=657] ppid=498 vsize=10853140 memory=550032 CPUtime=11.52 cores=0,2,4,6
/proc/502/task/657/stat : 657 (java) S 498 502 436 0 -1 1077944384 62347 13311 0 1 1135 9 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281219340400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=658] ppid=498 vsize=10853140 memory=550032 CPUtime=12.89 cores=0,2,4,6
/proc/502/task/658/stat : 658 (java) S 498 502 436 0 -1 1077944384 77574 13311 0 1 1272 9 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281218287600 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=659] ppid=498 vsize=10853140 memory=20624 CPUtime=5.56 cores=0,2,4,6
/proc/502/task/659/stat : 659 (java) S 498 502 436 0 -1 1077944384 70801 13311 0 1 538 10 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281217235312 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=661] ppid=498 vsize=10853140 memory=1804 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/661/stat : 661 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140280740006368 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=662] ppid=498 vsize=10853140 memory=550032 CPUtime=1.33 cores=0,2,4,6
/proc/502/task/662/stat : 662 (java) S 498 502 436 0 -1 1077944384 988 13311 0 1 60 65 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281114516400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
Current children cumulated CPU time: 2267.75 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 550032 KiB
[startup+2262.3 s]
/proc/loadavg: 1.10 1.34 1.44 4/228 927
/proc/meminfo: memFree=30153164/32770624 swapFree=66995112/67108860
[pid=502] ppid=498 vsize=10853140 memory=550032 CPUtime=2328.88 cores=0,2,4,6
/proc/502/stat : 502 (java) S 498 502 436 0 -1 1077944320 409630 13311 0 1 232498 382 5 3 20 0 15 0 415612075 11113615360 137508 33554432000 4194304 4196468 140725038873008 140725038855552 140282217197303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
/proc/502/statm: 2713285 137508 3639 1 0 2675341 0
[pid=502/tid=635] ppid=498 vsize=10853140 memory=550032 CPUtime=2242.22 cores=0,2,4,6
/proc/502/task/635/stat : 635 (java) R 498 502 436 0 -1 4202560 107540 13311 0 1 224163 51 5 3 20 0 15 0 415612086 11113615360 137508 33554432000 4194304 4196468 140725038873008 140282189031936 140281832047324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=637] ppid=498 vsize=10853140 memory=550032 CPUtime=12.33 cores=0,2,4,6
/proc/502/task/637/stat : 637 (java) S 498 502 436 0 -1 1077944384 18740 13311 0 1 1170 55 5 3 20 0 15 0 415612087 11113615360 137508 33554432000 4194304 4196468 140725038873008 140282221439376 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=638] ppid=498 vsize=10853140 memory=550032 CPUtime=12.33 cores=0,2,4,6
/proc/502/task/638/stat : 638 (java) S 498 502 436 0 -1 1077944384 18163 13311 0 1 1169 56 5 3 20 0 15 0 415612087 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281790171408 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=640] ppid=498 vsize=10853140 memory=550032 CPUtime=12.34 cores=0,2,4,6
/proc/502/task/640/stat : 640 (java) S 498 502 436 0 -1 1077944384 21173 13311 0 1 1171 55 5 3 20 0 15 0 415612087 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281789119120 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=641] ppid=498 vsize=10853140 memory=550032 CPUtime=12.33 cores=0,2,4,6
/proc/502/task/641/stat : 641 (java) S 498 502 436 0 -1 1077944384 17215 13311 0 1 1171 54 5 3 20 0 15 0 415612087 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281788066320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=645] ppid=498 vsize=10853140 memory=550032 CPUtime=6.59 cores=0,2,4,6
/proc/502/task/645/stat : 645 (java) S 498 502 436 0 -1 1077944384 12778 13311 0 1 602 49 5 3 20 0 15 0 415612088 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281220393584 140282217208450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=647] ppid=498 vsize=10853140 memory=550032 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/647/stat : 647 (java) S 498 502 436 0 -1 1077944384 53 13311 0 1 0 0 5 3 20 0 15 0 415612089 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281148073312 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=649] ppid=498 vsize=10853140 memory=550032 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/649/stat : 649 (java) S 498 502 436 0 -1 1077944384 35 13311 0 1 0 0 5 3 20 0 15 0 415612089 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281013855872 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=656] ppid=498 vsize=10853140 memory=550032 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/656/stat : 656 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140280773565008 140282217215899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=657] ppid=498 vsize=10853140 memory=20632 CPUtime=11.52 cores=0,2,4,6
/proc/502/task/657/stat : 657 (java) S 498 502 436 0 -1 1077944384 62347 13311 0 1 1135 9 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281219340400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=658] ppid=498 vsize=10853140 memory=1804 CPUtime=12.89 cores=0,2,4,6
/proc/502/task/658/stat : 658 (java) S 498 502 436 0 -1 1077944384 77574 13311 0 1 1272 9 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281218287600 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=659] ppid=498 vsize=10853140 memory=550032 CPUtime=5.56 cores=0,2,4,6
/proc/502/task/659/stat : 659 (java) S 498 502 436 0 -1 1077944384 70801 13311 0 1 538 10 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281217235312 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=661] ppid=498 vsize=10853140 memory=3632 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/661/stat : 661 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140280740006368 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=662] ppid=498 vsize=10853140 memory=988 CPUtime=1.35 cores=0,2,4,6
/proc/502/task/662/stat : 662 (java) S 498 502 436 0 -1 1077944384 1001 13311 0 1 60 67 5 3 20 0 15 0 415612092 11113615360 137508 33554432000 4194304 4196468 140725038873008 140281114516400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
Current children cumulated CPU time: 2328.88 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 550032 KiB
[startup+2322.3 s]
/proc/loadavg: 1.29 1.36 1.44 5/228 931
/proc/meminfo: memFree=30128204/32770624 swapFree=66995112/67108860
[pid=502] ppid=498 vsize=10853140 memory=572664 CPUtime=2390 cores=0,2,4,6
/proc/502/stat : 502 (java) S 498 502 436 0 -1 1077944320 420331 13311 0 1 238598 394 5 3 20 0 15 0 415612075 11113615360 143166 33554432000 4194304 4196468 140725038873008 140725038855552 140282217197303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
/proc/502/statm: 2713285 143166 3639 1 0 2675341 0
[pid=502/tid=635] ppid=498 vsize=10853140 memory=607260 CPUtime=2301.65 cores=0,2,4,6
/proc/502/task/635/stat : 635 (java) R 498 502 436 0 -1 4202560 115347 13311 0 1 230105 52 5 3 20 0 15 0 415612086 11113615360 143166 33554432000 4194304 4196468 140725038873008 140282189031248 140281844131228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=637] ppid=498 vsize=10853140 memory=592676 CPUtime=12.71 cores=0,2,4,6
/proc/502/task/637/stat : 637 (java) S 498 502 436 0 -1 1077944384 19647 13311 0 1 1205 58 5 3 20 0 15 0 415612087 11113615360 143166 33554432000 4194304 4196468 140725038873008 140282221439376 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=638] ppid=498 vsize=10853140 memory=578308 CPUtime=12.7 cores=0,2,4,6
/proc/502/task/638/stat : 638 (java) S 498 502 436 0 -1 1077944384 18808 13311 0 1 1205 57 5 3 20 0 15 0 415612087 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281790171408 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=640] ppid=498 vsize=10853140 memory=579332 CPUtime=12.7 cores=0,2,4,6
/proc/502/task/640/stat : 640 (java) S 498 502 436 0 -1 1077944384 21672 13311 0 1 1205 57 5 3 20 0 15 0 415612087 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281789119120 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=641] ppid=498 vsize=10853140 memory=578308 CPUtime=12.71 cores=0,2,4,6
/proc/502/task/641/stat : 641 (java) S 498 502 436 0 -1 1077944384 17819 13311 0 1 1207 56 5 3 20 0 15 0 415612087 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281788066320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=645] ppid=498 vsize=10853140 memory=576256 CPUtime=6.76 cores=0,2,4,6
/proc/502/task/645/stat : 645 (java) S 498 502 436 0 -1 1077944384 12994 13311 0 1 617 51 5 3 20 0 15 0 415612088 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281220393584 140282217208450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=647] ppid=498 vsize=10853140 memory=574204 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/647/stat : 647 (java) S 498 502 436 0 -1 1077944384 53 13311 0 1 0 0 5 3 20 0 15 0 415612089 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281148073312 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=649] ppid=498 vsize=10853140 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/649/stat : 649 (java) S 498 502 436 0 -1 1077944384 35 13311 0 1 0 0 5 3 20 0 15 0 415612089 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281013855872 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=656] ppid=498 vsize=10853140 memory=575740 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/656/stat : 656 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11113615360 143166 33554432000 4194304 4196468 140725038873008 140280773565008 140282217215899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=657] ppid=498 vsize=10853140 memory=1000 CPUtime=11.52 cores=0,2,4,6
/proc/502/task/657/stat : 657 (java) S 498 502 436 0 -1 1077944384 62349 13311 0 1 1135 9 5 3 20 0 15 0 415612092 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281219340400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=658] ppid=498 vsize=10853140 memory=14008 CPUtime=12.89 cores=0,2,4,6
/proc/502/task/658/stat : 658 (java) S 498 502 436 0 -1 1077944384 77576 13311 0 1 1272 9 5 3 20 0 15 0 415612092 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281218287600 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=659] ppid=498 vsize=10853140 memory=575740 CPUtime=5.56 cores=0,2,4,6
/proc/502/task/659/stat : 659 (java) S 498 502 436 0 -1 1077944384 70803 13311 0 1 538 10 5 3 20 0 15 0 415612092 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281217235312 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=661] ppid=498 vsize=10853140 memory=578308 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/661/stat : 661 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11113615360 143166 33554432000 4194304 4196468 140725038873008 140280740006368 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=662] ppid=498 vsize=10853140 memory=575740 CPUtime=1.39 cores=0,2,4,6
/proc/502/task/662/stat : 662 (java) S 498 502 436 0 -1 1077944384 1018 13311 0 1 62 69 5 3 20 0 15 0 415612092 11113615360 143166 33554432000 4194304 4196468 140725038873008 140281114516400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
Current children cumulated CPU time: 2390 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 572664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2332.2 s]
/proc/loadavg: 1.24 1.35 1.44 4/228 931
/proc/meminfo: memFree=30143684/32770624 swapFree=66995112/67108860
[pid=502] ppid=498 vsize=10853140 memory=559756 CPUtime=2400.06 cores=0,2,4,6
/proc/502/stat : 502 (java) S 498 502 436 0 -1 1077944320 421011 13311 0 1 239603 395 5 3 20 0 15 0 415612075 11113615360 139939 33554432000 4194304 4196468 140725038873008 140725038855552 140282217197303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
/proc/502/statm: 2713285 139939 3639 1 0 2675341 0
[pid=502/tid=635] ppid=498 vsize=10853140 memory=874744 CPUtime=2311.46 cores=0,2,4,6
/proc/502/task/635/stat : 635 (java) R 498 502 436 0 -1 4202560 115429 13311 0 1 231086 52 5 3 20 0 15 0 415612086 11113615360 139939 33554432000 4194304 4196468 140725038873008 140282189031168 140281842599940 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=637] ppid=498 vsize=10853140 memory=3260 CPUtime=12.76 cores=0,2,4,6
/proc/502/task/637/stat : 637 (java) S 498 502 436 0 -1 1077944384 19717 13311 0 1 1210 58 5 3 20 0 15 0 415612087 11113615360 139939 33554432000 4194304 4196468 140725038873008 140282221439376 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=638] ppid=498 vsize=10853140 memory=560784 CPUtime=12.75 cores=0,2,4,6
/proc/502/task/638/stat : 638 (java) S 498 502 436 0 -1 1077944384 18811 13311 0 1 1210 57 5 3 20 0 15 0 415612087 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281790171408 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=640] ppid=498 vsize=10853140 memory=1384 CPUtime=12.75 cores=0,2,4,6
/proc/502/task/640/stat : 640 (java) S 498 502 436 0 -1 1077944384 21746 13311 0 1 1210 57 5 3 20 0 15 0 415612087 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281789119120 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=641] ppid=498 vsize=10853140 memory=776 CPUtime=12.76 cores=0,2,4,6
/proc/502/task/641/stat : 641 (java) S 498 502 436 0 -1 1077944384 17824 13311 0 1 1212 56 5 3 20 0 15 0 415612087 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281788066320 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=645] ppid=498 vsize=10853140 memory=1564 CPUtime=6.79 cores=0,2,4,6
/proc/502/task/645/stat : 645 (java) S 498 502 436 0 -1 1077944384 12999 13311 0 1 620 51 5 3 20 0 15 0 415612088 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281220393584 140282217208450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=647] ppid=498 vsize=10853140 memory=8556 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/647/stat : 647 (java) S 498 502 436 0 -1 1077944384 53 13311 0 1 0 0 5 3 20 0 15 0 415612089 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281148073312 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=649] ppid=498 vsize=10853140 memory=1052 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/649/stat : 649 (java) S 498 502 436 0 -1 1077944384 35 13311 0 1 0 0 5 3 20 0 15 0 415612089 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281013855872 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=656] ppid=498 vsize=10853140 memory=1708 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/656/stat : 656 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11113615360 139939 33554432000 4194304 4196468 140725038873008 140280773565008 140282217215899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=657] ppid=498 vsize=10853140 memory=562296 CPUtime=11.53 cores=0,2,4,6
/proc/502/task/657/stat : 657 (java) S 498 502 436 0 -1 1077944384 62788 13311 0 1 1136 9 5 3 20 0 15 0 415612092 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281219340400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=658] ppid=498 vsize=10853140 memory=3816 CPUtime=12.89 cores=0,2,4,6
/proc/502/task/658/stat : 658 (java) S 498 502 436 0 -1 1077944384 77576 13311 0 1 1272 9 5 3 20 0 15 0 415612092 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281218287600 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=659] ppid=498 vsize=10853140 memory=2308 CPUtime=5.56 cores=0,2,4,6
/proc/502/task/659/stat : 659 (java) S 498 502 436 0 -1 1077944384 70803 13311 0 1 538 10 5 3 20 0 15 0 415612092 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281217235312 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=661] ppid=498 vsize=10853140 memory=2308 CPUtime=0.08 cores=0,2,4,6
/proc/502/task/661/stat : 661 (java) S 498 502 436 0 -1 1077944384 3 13311 0 1 0 0 5 3 20 0 15 0 415612092 11113615360 139939 33554432000 4194304 4196468 140725038873008 140280740006368 140282217207509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
[pid=502/tid=662] ppid=498 vsize=10853140 memory=1408 CPUtime=1.39 cores=0,2,4,6
/proc/502/task/662/stat : 662 (java) S 498 502 436 0 -1 1077944384 1020 13311 0 1 62 69 5 3 20 0 15 0 415612092 11113615360 139939 33554432000 4194304 4196468 140725038873008 140281114516400 140282217208450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11087872 140725038881520 140725038884037 140725038884037 140725038886863 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10853140 KiB
Current children cumulated memory: 559756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2332.24 s]
# the end of solver process 502 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.11 s, system=4.00255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2332.24
CPU time (s): 2400.12
CPU user time (s): 2396.11
CPU system time (s): 4.00255
CPU usage (%): 102.91
Max. virtual memory (cumulated for all children) (KiB): 10853932
Max. memory (cumulated for all children) (KiB): 1801340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.11
system time used= 4.00255
maximum resident set size= 1806472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435023
page faults= 1
swaps= 0
block input operations= 88
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184169
involuntary context switches= 6371
# summary of solver processes directly reported to runsolver:
# pid: 502
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.11
# total CPU system time (s): 4.00255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2648 second user time and 20.8282 second system time
The end