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 (13548 MiB free)
  memory of node 1: 16384 MiB (7763 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263608-1502622792/watcher-4263608-1502622792 -o /tmp/evaluation-result-4263608-1502622792/solver-4263608-1502622792 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502612262-5004 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263608-1502622792.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=7563, runsolver pid=7560

[startup+0.100093 s]*
/proc/loadavg: 1.87 1.99 2.17 3/216 7578
/proc/meminfo: memFree=21807224/32770624 swapFree=67108860/67108860
[pid=7563] ppid=7560 vsize=10555400 memory=28336 CPUtime=0.12 cores=0,2,4,6
/proc/7563/stat : 7563 (java) S 7560 7563 4973 0 -1 1077944320 6685 0 0 0 11 1 0 0 20 0 15 0 95360080 10808729600 7084 33554432000 4194304 4196468 140722226674912 140722226657456 140719869878007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
/proc/7563/statm: 2638850 7084 2812 1 0 2627263 0
[pid=7563/tid=7565] ppid=7560 vsize=10555400 memory=-8537240985852015808 CPUtime=0.08 cores=0,2,4,6
/proc/7563/task/7565/stat : 7565 (java) R 7560 7563 4973 0 -1 4202560 4492 0 0 0 8 0 0 0 20 0 15 0 95360080 10808729600 7150 33554432000 4194304 4196468 140722226674912 140719874099136 140719869899933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7566] ppid=7560 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7566/stat : 7566 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808729600 7150 33554432000 4194304 4196468 140722226674912 140719476312848 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7567] ppid=7560 vsize=10555400 memory=139910166754944 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7567/stat : 7567 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808729600 7150 33554432000 4194304 4196468 140722226674912 140719475260304 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7568] ppid=7560 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7568/stat : 7568 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808729600 7150 33554432000 4194304 4196468 140722226674912 140719474207760 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7569] ppid=7560 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7569/stat : 7569 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95360081 10808729600 7150 33554432000 4194304 4196468 140722226674912 140719473155216 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7570] ppid=7560 vsize=10555400 memory=139910166754944 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7570/stat : 7570 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95360082 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718972565488 140719869889154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7571] ppid=7560 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7571/stat : 7571 (java) S 7560 7563 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95360083 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718971511712 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7572] ppid=7560 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7572/stat : 7572 (java) S 7560 7563 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95360083 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718970459120 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7573] ppid=7560 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7573/stat : 7573 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95360085 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718969407696 140719869896603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7574] ppid=7560 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7574/stat : 7574 (java) S 7560 7563 4973 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 95360085 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718968355312 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7575] ppid=7560 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7575/stat : 7575 (java) S 7560 7563 4973 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 95360085 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718630759024 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7576] ppid=7560 vsize=10555400 memory=139910166754944 CPUtime=0.02 cores=0,2,4,6
/proc/7563/task/7576/stat : 7576 (java) R 7560 7563 4973 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 15 0 95360085 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718629704016 140719869899354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7577] ppid=7560 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7577/stat : 7577 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95360085 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718628654176 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7578] ppid=7560 vsize=10555400 memory=139910166754944 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7578/stat : 7578 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360086 10808729600 7150 33554432000 4194304 4196468 140722226674912 140718627600688 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 28336 KiB

[startup+0.215453 s]*
/proc/loadavg: 1.87 1.99 2.17 6/216 7578
/proc/meminfo: memFree=21797284/32770624 swapFree=67108860/67108860
[pid=7563] ppid=7560 vsize=10555400 memory=38548 CPUtime=0.33 cores=0,2,4,6
/proc/7563/stat : 7563 (java) S 7560 7563 4973 0 -1 1077944320 8264 0 0 0 31 2 0 0 20 0 15 0 95360080 10808729600 9637 33554432000 4194304 4196468 140722226674912 140722226657456 140719869878007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
/proc/7563/statm: 2638850 9637 2969 1 0 2627263 0
[pid=7563/tid=7565] ppid=7560 vsize=10555400 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/7563/task/7565/stat : 7565 (java) R 7560 7563 4973 0 -1 4202560 5088 0 0 0 20 1 0 0 20 0 15 0 95360080 10808729600 10149 33554432000 4194304 4196468 140722226674912 140719874107840 140719507822709 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7566] ppid=7560 vsize=10555400 memory=365 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7566/stat : 7566 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808729600 10149 33554432000 4194304 4196468 140722226674912 140719476312848 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7567] ppid=7560 vsize=10555400 memory=139910166763543 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7567/stat : 7567 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808729600 10149 33554432000 4194304 4196468 140722226674912 140719475260304 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7568] ppid=7560 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7568/stat : 7568 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808729600 10149 33554432000 4194304 4196468 140722226674912 140719474207760 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7569] ppid=7560 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7569/stat : 7569 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95360081 10808729600 10149 33554432000 4194304 4196468 140722226674912 140719473155216 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7570] ppid=7560 vsize=10555400 memory=139910166754944 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7570/stat : 7570 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95360082 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718972565488 140719869889154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7571] ppid=7560 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7571/stat : 7571 (java) S 7560 7563 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95360083 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718971511712 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7572] ppid=7560 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7572/stat : 7572 (java) S 7560 7563 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95360083 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718970459120 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7573] ppid=7560 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7573/stat : 7573 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95360085 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718969407696 140719869896603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7574] ppid=7560 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7563/task/7574/stat : 7574 (java) R 7560 7563 4973 0 -1 4202560 244 0 0 0 2 0 0 0 20 0 15 0 95360085 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718968336328 140719849049298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7575] ppid=7560 vsize=10555400 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7563/task/7575/stat : 7575 (java) R 7560 7563 4973 0 -1 4202560 611 0 0 0 3 0 0 0 20 0 15 0 95360085 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718630740040 140719854766116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7576] ppid=7560 vsize=10555400 memory=139910166754944 CPUtime=0.06 cores=0,2,4,6
/proc/7563/task/7576/stat : 7576 (java) R 7560 7563 4973 0 -1 4202560 958 0 0 0 6 0 0 0 20 0 15 0 95360085 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718629703416 140719854040224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7577] ppid=7560 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7577/stat : 7577 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95360085 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718628654176 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7578] ppid=7560 vsize=10555400 memory=139910166754944 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7578/stat : 7578 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360086 10808729600 10149 33554432000 4194304 4196468 140722226674912 140718627600688 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38548 KiB

[startup+0.31044 s]*
/proc/loadavg: 1.87 1.99 2.17 3/216 7578
/proc/meminfo: memFree=21785624/32770624 swapFree=67108860/67108860
[pid=7563] ppid=7560 vsize=10555476 memory=51008 CPUtime=0.63 cores=0,2,4,6
/proc/7563/stat : 7563 (java) S 7560 7563 4973 0 -1 1077944320 10360 0 0 0 60 3 0 0 20 0 15 0 95360080 10808807424 12752 33554432000 4194304 4196468 140722226674912 140722226657456 140719869878007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
/proc/7563/statm: 2638869 12752 3054 1 0 2627263 0
[pid=7563/tid=7565] ppid=7560 vsize=10555476 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/7563/task/7565/stat : 7565 (java) R 7560 7563 4973 0 -1 4202560 5552 0 0 0 29 1 0 0 20 0 15 0 95360080 10808807424 12752 33554432000 4194304 4196468 140722226674912 140719874116048 140719506892865 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7566] ppid=7560 vsize=10555476 memory=304556153373982743 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7566/stat : 7566 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808807424 12752 33554432000 4194304 4196468 140722226674912 140719476312848 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7567] ppid=7560 vsize=10555476 memory=13710311233042072 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7567/stat : 7567 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808807424 12752 33554432000 4194304 4196468 140722226674912 140719475260304 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7568] ppid=7560 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7568/stat : 7568 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808807424 12752 33554432000 4194304 4196468 140722226674912 140719474207760 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7569] ppid=7560 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7569/stat : 7569 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95360081 10808807424 12752 33554432000 4194304 4196468 140722226674912 140719473155216 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7570] ppid=7560 vsize=10555476 memory=139910166754944 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7570/stat : 7570 (java) S 7560 7563 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95360082 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718972565488 140719869889154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7571] ppid=7560 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7571/stat : 7571 (java) S 7560 7563 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95360083 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718971511712 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7572] ppid=7560 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7572/stat : 7572 (java) S 7560 7563 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95360083 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718970459120 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7573] ppid=7560 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7573/stat : 7573 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95360085 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718969407696 140719869896603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7574] ppid=7560 vsize=10555476 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/7563/task/7574/stat : 7574 (java) R 7560 7563 4973 0 -1 1077944384 604 0 0 0 6 0 0 0 20 0 15 0 95360085 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718968355408 140719869888213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7575] ppid=7560 vsize=10555476 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/7563/task/7575/stat : 7575 (java) R 7560 7563 4973 0 -1 4202560 1438 0 0 0 12 0 0 0 20 0 15 0 95360085 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718630748288 140719854987990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7576] ppid=7560 vsize=10555476 memory=139910166754944 CPUtime=0.12 cores=0,2,4,6
/proc/7563/task/7576/stat : 7576 (java) R 7560 7563 4973 0 -1 4202560 1394 0 0 0 12 0 0 0 20 0 15 0 95360085 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718629702208 140719848835662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7577] ppid=7560 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7577/stat : 7577 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95360085 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718628654176 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7578] ppid=7560 vsize=10555476 memory=139910166754944 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7578/stat : 7578 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360086 10808807424 12752 33554432000 4194304 4196468 140722226674912 140718627600688 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 51008 KiB

[startup+0.705452 s]
/proc/loadavg: 1.87 1.99 2.17 3/216 7578
/proc/meminfo: memFree=21763100/32770624 swapFree=67108860/67108860
[pid=7563] ppid=7560 vsize=10555476 memory=119160 CPUtime=1.84 cores=0,2,4,6
/proc/7563/stat : 7563 (java) S 7560 7563 4973 0 -1 1077944320 13858 0 0 0 179 5 0 0 20 0 15 0 95360080 10808807424 29790 33554432000 4194304 4196468 140722226674912 140722226657456 140719869878007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
/proc/7563/statm: 2638869 29790 3096 1 0 2627263 0
[pid=7563/tid=7565] ppid=7560 vsize=10555476 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/7563/task/7565/stat : 7565 (java) R 7560 7563 4973 0 -1 4202560 6055 0 0 0 65 2 0 0 20 0 15 0 95360080 10808807424 29790 33554432000 4194304 4196468 140722226674912 140719874111664 140719507133312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7566] ppid=7560 vsize=10555476 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7566/stat : 7566 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808807424 29790 33554432000 4194304 4196468 140722226674912 140719476312848 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7567] ppid=7560 vsize=10555476 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7567/stat : 7567 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808807424 29790 33554432000 4194304 4196468 140722226674912 140719475260304 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7568] ppid=7560 vsize=10555476 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7568/stat : 7568 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360081 10808807424 29790 33554432000 4194304 4196468 140722226674912 140719474207760 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7569] ppid=7560 vsize=10555476 memory=5716 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7569/stat : 7569 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95360081 10808807424 29790 33554432000 4194304 4196468 140722226674912 140719473155216 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7570] ppid=7560 vsize=10555476 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7570/stat : 7570 (java) S 7560 7563 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 95360082 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718972565488 140719869889154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7571] ppid=7560 vsize=10555476 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7571/stat : 7571 (java) S 7560 7563 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95360083 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718971511712 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7572] ppid=7560 vsize=10555476 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7572/stat : 7572 (java) S 7560 7563 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95360083 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718970459120 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7573] ppid=7560 vsize=10555476 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7573/stat : 7573 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95360085 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718969407696 140719869896603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7574] ppid=7560 vsize=10555476 memory=4639098309541127021 CPUtime=0.35 cores=0,2,4,6
/proc/7563/task/7574/stat : 7574 (java) R 7560 7563 4973 0 -1 4202560 2256 0 0 0 35 0 0 0 20 0 15 0 95360085 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718968335832 140719853374841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7575] ppid=7560 vsize=10555476 memory=7597685182856913236 CPUtime=0.43 cores=0,2,4,6
/proc/7563/task/7575/stat : 7575 (java) R 7560 7563 4973 0 -1 4202560 2292 0 0 0 43 0 0 0 20 0 15 0 95360085 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718630744904 140719854993257 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7576] ppid=7560 vsize=10555476 memory=7236547281622689387 CPUtime=0.34 cores=0,2,4,6
/proc/7563/task/7576/stat : 7576 (java) S 7560 7563 4973 0 -1 1077944384 1883 0 0 0 34 0 0 0 20 0 15 0 95360085 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718629706480 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7577] ppid=7560 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7577/stat : 7577 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95360085 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718628654176 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7578] ppid=7560 vsize=10555476 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7578/stat : 7578 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95360086 10808807424 29790 33554432000 4194304 4196468 140722226674912 140718627600688 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 119160 KiB

[startup+1.49043 s]
# the end of solver process 7563 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.34446 s, system=0.071566 s

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

[startup+0.803413 s]
/proc/loadavg: 1.87 1.99 2.17 3/216 7578
/proc/meminfo: memFree=21763100/32770624 swapFree=67108860/67108860
[pid=7563] ppid=7560 vsize=10622040 memory=140248 CPUtime=2.15 cores=0,2,4,6
/proc/7563/stat : 7563 (java) S 7560 7563 4973 0 -1 1077944320 14507 0 0 0 210 5 0 0 20 0 16 0 95360080 10876968960 35062 33554432000 4194304 4196468 140722226674912 140722226657456 140719869878007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
/proc/7563/statm: 2655510 35062 3096 1 0 2643904 0
[pid=7563/tid=7565] ppid=7560 vsize=10622040 memory=8243114992657236055 CPUtime=0.78 cores=0,2,4,6
/proc/7563/task/7565/stat : 7565 (java) R 7560 7563 4973 0 -1 4202560 6089 0 0 0 75 3 0 0 20 0 16 0 95360080 10876968960 35062 33554432000 4194304 4196468 140722226674912 140719874106448 140719507828098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7566] ppid=7560 vsize=10622040 memory=288293259724457137 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7566/stat : 7566 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 10876968960 35062 33554432000 4194304 4196468 140722226674912 140719476312848 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7567] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7567/stat : 7567 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 10876968960 35062 33554432000 4194304 4196468 140722226674912 140719475260304 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7568] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7568/stat : 7568 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 10876968960 35062 33554432000 4194304 4196468 140722226674912 140719474207760 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7569] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7569/stat : 7569 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95360081 10876968960 35062 33554432000 4194304 4196468 140722226674912 140719473155216 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7570] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7570/stat : 7570 (java) S 7560 7563 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 95360082 10876968960 35062 33554432000 4194304 4196468 140722226674912 140718972565488 140719869889154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7571] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7571/stat : 7571 (java) S 7560 7563 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95360083 10876968960 35062 33554432000 4194304 4196468 140722226674912 140718971511712 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7572] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7572/stat : 7572 (java) S 7560 7563 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95360083 10876968960 35062 33554432000 4194304 4196468 140722226674912 140718970459120 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7573] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7573/stat : 7573 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95360085 10876968960 35062 33554432000 4194304 4196468 140722226674912 140718969407696 140719869896603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7574] ppid=7560 vsize=10622040 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/7563/task/7574/stat : 7574 (java) R 7560 7563 4973 0 -1 4202560 2530 0 0 0 45 1 0 0 20 0 16 0 95360085 10876968960 35062 33554432000 4194304 4196468 140722226674912 140718968335832 140719862167456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7575] ppid=7560 vsize=10622040 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/7563/task/7575/stat : 7575 (java) R 7560 7563 4973 0 -1 4202560 2556 0 0 0 52 0 0 0 20 0 16 0 95360085 10876968960 35128 33554432000 4194304 4196468 140722226674912 140718630739856 140719849542449 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7576] ppid=7560 vsize=10622040 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/7563/task/7576/stat : 7576 (java) S 7560 7563 4973 0 -1 1077944384 1986 0 0 0 36 0 0 0 20 0 16 0 95360085 10876968960 35128 33554432000 4194304 4196468 140722226674912 140718629706480 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7577] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7577/stat : 7577 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95360085 10876968960 35128 33554432000 4194304 4196468 140722226674912 140718628654176 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7578] ppid=7560 vsize=10622040 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7578/stat : 7578 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360086 10876968960 35128 33554432000 4194304 4196468 140722226674912 140718627600688 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
Current children cumulated CPU time: 2.15 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 140248 KiB

[startup+1.20077 s]
/proc/loadavg: 1.87 1.99 2.17 5/217 7579
/proc/meminfo: memFree=21688444/32770624 swapFree=67108860/67108860
[pid=7563] ppid=7560 vsize=10622040 memory=146992 CPUtime=3.23 cores=0,2,4,6
/proc/7563/stat : 7563 (java) S 7560 7563 4973 0 -1 1077944320 23078 0 0 0 317 6 0 0 20 0 16 0 95360080 10876968960 36748 33554432000 4194304 4196468 140722226674912 140722226657456 140719869878007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
/proc/7563/statm: 2655510 36748 3100 1 0 2643904 0
[pid=7563/tid=7565] ppid=7560 vsize=10622040 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/7563/task/7565/stat : 7565 (java) R 7560 7563 4973 0 -1 4202560 6152 0 0 0 114 3 0 0 20 0 16 0 95360080 10876968960 36748 33554432000 4194304 4196468 140722226674912 140719874114304 140719511588779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7566] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7566/stat : 7566 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 10876968960 36748 33554432000 4194304 4196468 140722226674912 140719476312848 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7567] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7567/stat : 7567 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 10876968960 36748 33554432000 4194304 4196468 140722226674912 140719475260304 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7568] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7568/stat : 7568 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 10876968960 36748 33554432000 4194304 4196468 140722226674912 140719474207760 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7569] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7569/stat : 7569 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95360081 10876968960 36748 33554432000 4194304 4196468 140722226674912 140719473155216 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7570] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7570/stat : 7570 (java) S 7560 7563 4973 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 95360082 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718972565488 140719869889154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7571] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7571/stat : 7571 (java) S 7560 7563 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95360083 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718971511712 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7572] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7572/stat : 7572 (java) S 7560 7563 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95360083 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718970459120 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7573] ppid=7560 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7573/stat : 7573 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95360085 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718969407696 140719869896603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7574] ppid=7560 vsize=10622040 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/7563/task/7574/stat : 7574 (java) S 7560 7563 4973 0 -1 1077944384 9224 0 0 0 77 1 0 0 20 0 16 0 95360085 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718968355312 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7575] ppid=7560 vsize=10622040 memory=301741373374332954 CPUtime=0.84 cores=0,2,4,6
/proc/7563/task/7575/stat : 7575 (java) S 7560 7563 4973 0 -1 1077944384 4143 0 0 0 84 0 0 0 20 0 16 0 95360085 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718630759024 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7576] ppid=7560 vsize=10622040 memory=301741394933055803 CPUtime=0.39 cores=0,2,4,6
/proc/7563/task/7576/stat : 7576 (java) S 7560 7563 4973 0 -1 1077944384 2164 0 0 0 39 0 0 0 20 0 16 0 95360085 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718629706480 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7577] ppid=7560 vsize=10622040 memory=14979957709343143 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7577/stat : 7577 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95360085 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718628654176 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7578] ppid=7560 vsize=10622040 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7578/stat : 7578 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95360086 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718627600688 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7579] ppid=7560 vsize=10622040 memory=-2843874019102283166 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7579/stat : 7579 (java) S 7560 7563 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95360158 10876968960 36748 33554432000 4194304 4196468 140722226674912 140718626546480 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
Current children cumulated CPU time: 3.23 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 146992 KiB

[startup+1.40075 s]
/proc/loadavg: 1.87 1.99 2.17 5/217 7579
/proc/meminfo: memFree=21688444/32770624 swapFree=67108860/67108860
[pid=7563] ppid=7560 vsize=10755168 memory=149156 CPUtime=3.39 cores=0,2,4,6
/proc/7563/stat : 7563 (java) S 7560 7563 4973 0 -1 1077944320 23376 0 0 0 333 6 0 0 20 0 16 0 95360080 11013292032 37289 33554432000 4194304 4196468 140722226674912 140722226657456 140719869878007 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
/proc/7563/statm: 2688792 37289 3103 1 0 2677186 0
[pid=7563/tid=7565] ppid=7560 vsize=10755168 memory=6944656592455097440 CPUtime=1.24 cores=0,2,4,6
/proc/7563/task/7565/stat : 7565 (java) S 7560 7563 4973 0 -1 1077944384 6177 0 0 0 121 3 0 0 20 0 16 0 95360080 11013292032 37289 33554432000 4194304 4196468 140722226674912 140719874118688 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7566] ppid=7560 vsize=10755168 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7566/stat : 7566 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 11013292032 37289 33554432000 4194304 4196468 140722226674912 140719476312848 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7567] ppid=7560 vsize=10755168 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7567/stat : 7567 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 11013292032 37289 33554432000 4194304 4196468 140722226674912 140719475260304 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7568] ppid=7560 vsize=10755168 memory=4956998493510226538 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7568/stat : 7568 (java) S 7560 7563 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95360081 11013292032 37289 33554432000 4194304 4196468 140722226674912 140719474207760 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7569] ppid=7560 vsize=10755168 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7569/stat : 7569 (java) S 7560 7563 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95360081 11013292032 37289 33554432000 4194304 4196468 140722226674912 140719473155216 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7570] ppid=7560 vsize=10755168 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7570/stat : 7570 (java) S 7560 7563 4973 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 95360082 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718972565488 140719869889154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7571] ppid=7560 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7571/stat : 7571 (java) S 7560 7563 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95360083 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718971511712 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7572] ppid=7560 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7572/stat : 7572 (java) S 7560 7563 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95360083 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718970459120 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7573] ppid=7560 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7573/stat : 7573 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95360085 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718969407696 140719869896603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7574] ppid=7560 vsize=10755168 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/7563/task/7574/stat : 7574 (java) S 7560 7563 4973 0 -1 1077944384 9382 0 0 0 82 1 0 0 20 0 16 0 95360085 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718968355312 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7575] ppid=7560 vsize=10755168 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/7563/task/7575/stat : 7575 (java) S 7560 7563 4973 0 -1 1077944384 4162 0 0 0 88 1 0 0 20 0 16 0 95360085 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718630759024 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7576] ppid=7560 vsize=10755168 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/7563/task/7576/stat : 7576 (java) S 7560 7563 4973 0 -1 1077944384 2173 0 0 0 40 0 0 0 20 0 16 0 95360085 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718629706480 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7577] ppid=7560 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7577/stat : 7577 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95360085 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718628654176 140719869888213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
[pid=7563/tid=7578] ppid=7560 vsize=10755168 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7563/task/7578/stat : 7578 (java) S 7560 7563 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95360086 11013292032 37289 33554432000 4194304 4196468 140722226674912 140718627600688 140719869889154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18857984 140722226680966 140722226681119 140722226681119 140722226683855 0
Current children cumulated CPU time: 3.39 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 149156 KiB

Child status: 0
Real time (s): 1.49048
CPU time (s): 3.41602
CPU user time (s): 3.34446
CPU system time (s): 0.071566
CPU usage (%): 229.189
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 149156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.34446
system time used= 0.071566
maximum resident set size= 151640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1612
involuntary context switches= 11


# summary of solver processes directly reported to runsolver:
#   pid: 7563
#   total CPU time (s): 3.41602
#   total CPU user time (s): 3.34446
#   total CPU system time (s): 0.071566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030861 second user time and 0.05853 second system time

The end