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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298741-1532776444/watcher-4298741-1532776444 -o /tmp/evaluation-result-4298741-1532776444/solver-4298741-1532776444 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532776444-32664 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298741-1532776444.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
solver pid=32695, runsolver pid=32688
Current StackSize limit: 8192 KiB


[startup+0.100164 s]*
/proc/loadavg: 0.74 0.64 0.71 7/216 32724
/proc/meminfo: memFree=23232084/32770624 swapFree=67108860/67108860
[pid=32695] ppid=32688 vsize=10661056 memory=28364 CPUtime=0.13 cores=0,2,4,6
/proc/32695/stat : 32695 (java) S 32688 32695 32633 0 -1 1077944320 4990 0 0 0 12 1 0 0 20 0 15 0 95207581 10916921344 7091 33554432000 4194304 4196468 140730588660832 140730588643376 140643754548983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
/proc/32695/statm: 2665264 7091 2838 1 0 2627263 0
[pid=32695/tid=32698] ppid=32688 vsize=10661056 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/32695/task/32698/stat : 32698 (java) R 32688 32695 32633 0 -1 4202560 2861 0 0 0 8 1 0 0 20 0 15 0 95207582 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643758777088 140643754560918 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32703] ppid=32688 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32703/stat : 32703 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643680622864 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32704] ppid=32688 vsize=10661056 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32704/stat : 32704 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643679570320 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32705] ppid=32688 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32705/stat : 32705 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643678517776 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32706] ppid=32688 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32706/stat : 32706 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643677465232 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32708] ppid=32688 vsize=10661056 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32708/stat : 32708 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207584 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643245431280 140643754560130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32710] ppid=32688 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32710/stat : 32710 (java) S 32688 32695 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207584 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643244377504 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32712] ppid=32688 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32712/stat : 32712 (java) S 32688 32695 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207584 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643243324912 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32713] ppid=32688 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32713/stat : 32713 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643242273488 140643754567579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32715] ppid=32688 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32715/stat : 32715 (java) R 32688 32695 32633 0 -1 4202560 440 0 0 0 0 0 0 0 20 0 15 0 95207587 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643241220080 140643737948156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32717] ppid=32688 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32717/stat : 32717 (java) R 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643240167536 140643754560130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32719] ppid=32688 vsize=10661056 memory=139773350569600 CPUtime=0.02 cores=0,2,4,6
/proc/32695/task/32719/stat : 32719 (java) R 32688 32695 32633 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 15 0 95207587 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643239112528 140643733210224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32721] ppid=32688 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32721/stat : 32721 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643238062688 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32723] ppid=32688 vsize=10661056 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32723/stat : 32723 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207587 10916921344 7091 33554432000 4194304 4196468 140730588660832 140643237010224 140643754560130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 28364 KiB

[startup+0.21073 s]*
/proc/loadavg: 0.74 0.64 0.71 8/216 32724
/proc/meminfo: memFree=23208800/32770624 swapFree=67108860/67108860
[pid=32695] ppid=32688 vsize=10661056 memory=40580 CPUtime=0.35 cores=0,2,4,6
/proc/32695/stat : 32695 (java) S 32688 32695 32633 0 -1 1077944320 7712 0 0 0 32 3 0 0 20 0 15 0 95207581 10916921344 10145 33554432000 4194304 4196468 140730588660832 140730588643376 140643754548983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
/proc/32695/statm: 2665264 10145 2979 1 0 2627263 0
[pid=32695/tid=32698] ppid=32688 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/32695/task/32698/stat : 32698 (java) S 32688 32695 32633 0 -1 1077944384 4628 0 0 0 18 1 0 0 20 0 15 0 95207582 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643758786512 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32703] ppid=32688 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32703/stat : 32703 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643680622864 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32704] ppid=32688 vsize=10661056 memory=3833891835326817952 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32704/stat : 32704 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643679570320 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32705] ppid=32688 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32705/stat : 32705 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643678517776 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32706] ppid=32688 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32706/stat : 32706 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643677465232 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32708] ppid=32688 vsize=10661056 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32708/stat : 32708 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207584 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643245431280 140643754560130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32710] ppid=32688 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32710/stat : 32710 (java) S 32688 32695 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207584 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643244377504 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32712] ppid=32688 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32712/stat : 32712 (java) S 32688 32695 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207584 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643243324912 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32713] ppid=32688 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32713/stat : 32713 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643242273488 140643754567579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32715] ppid=32688 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32695/task/32715/stat : 32715 (java) R 32688 32695 32633 0 -1 1077944384 764 0 0 0 2 0 0 0 20 0 15 0 95207587 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643241220080 140643754560130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32717] ppid=32688 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32695/task/32717/stat : 32717 (java) R 32688 32695 32633 0 -1 4202560 159 0 0 0 2 0 0 0 20 0 15 0 95207587 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643240167536 140643735184663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32719] ppid=32688 vsize=10661056 memory=139773350569600 CPUtime=0.08 cores=0,2,4,6
/proc/32695/task/32719/stat : 32719 (java) R 32688 32695 32633 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 15 0 95207587 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643239110752 140643733513794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32721] ppid=32688 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32721/stat : 32721 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643238062688 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32723] ppid=32688 vsize=10661056 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32723/stat : 32723 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207587 10916921344 10145 33554432000 4194304 4196468 140730588660832 140643237010224 140643754560130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40580 KiB

[startup+0.315601 s]*
/proc/loadavg: 0.74 0.64 0.71 7/216 32724
/proc/meminfo: memFree=23189108/32770624 swapFree=67108860/67108860
[pid=32695] ppid=32688 vsize=10661132 memory=47248 CPUtime=0.61 cores=0,2,4,6
/proc/32695/stat : 32695 (java) S 32688 32695 32633 0 -1 1077944320 8370 0 0 0 58 3 0 0 20 0 15 0 95207581 10916999168 11812 33554432000 4194304 4196468 140730588660832 140730588643376 140643754548983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
/proc/32695/statm: 2665283 11812 3072 1 0 2627263 0
[pid=32695/tid=32698] ppid=32688 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/32695/task/32698/stat : 32698 (java) R 32688 32695 32633 0 -1 4202560 4988 0 0 0 29 1 0 0 20 0 15 0 95207582 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643758780408 140643351505008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32703] ppid=32688 vsize=10661132 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32703/stat : 32703 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643680622864 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32704] ppid=32688 vsize=10661132 memory=3907350207178532512 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32704/stat : 32704 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643679570320 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32705] ppid=32688 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32705/stat : 32705 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643678517776 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32706] ppid=32688 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32706/stat : 32706 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643677465232 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32708] ppid=32688 vsize=10661132 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32708/stat : 32708 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643245431280 140643754560130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32710] ppid=32688 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32710/stat : 32710 (java) S 32688 32695 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643244377504 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32712] ppid=32688 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32712/stat : 32712 (java) S 32688 32695 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643243324912 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32713] ppid=32688 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32713/stat : 32713 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643242273488 140643754567579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32715] ppid=32688 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/32695/task/32715/stat : 32715 (java) R 32688 32695 32633 0 -1 4202560 823 0 0 0 6 0 0 0 20 0 15 0 95207587 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643241206104 140643735958991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32717] ppid=32688 vsize=10661132 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/32695/task/32717/stat : 32717 (java) R 32688 32695 32633 0 -1 4202560 277 0 0 0 6 0 0 0 20 0 15 0 95207587 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643240167536 140643740604288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32719] ppid=32688 vsize=10661132 memory=139773350569600 CPUtime=0.16 cores=0,2,4,6
/proc/32695/task/32719/stat : 32719 (java) R 32688 32695 32633 0 -1 1077944384 914 0 0 0 16 0 0 0 20 0 15 0 95207587 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643239114992 140643754560130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32721] ppid=32688 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32721/stat : 32721 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643238062688 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32723] ppid=32688 vsize=10661132 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32723/stat : 32723 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 11812 33554432000 4194304 4196468 140730588660832 140643237010224 140643754560130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47248 KiB

[startup+0.552173 s]
# the end of solver process 32695 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.3013 s, system=0.049144 s

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

[startup+0.410349 s]*
/proc/loadavg: 0.74 0.64 0.71 9/216 32724
/proc/meminfo: memFree=23171928/32770624 swapFree=67108860/67108860
[pid=32695] ppid=32688 vsize=10661132 memory=55500 CPUtime=0.91 cores=0,2,4,6
/proc/32695/stat : 32695 (java) S 32688 32695 32633 0 -1 1077944320 8913 0 0 0 88 3 0 0 20 0 15 0 95207581 10916999168 13875 33554432000 4194304 4196468 140730588660832 140730588643376 140643754548983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
/proc/32695/statm: 2665283 13875 3096 1 0 2627263 0
[pid=32695/tid=32698] ppid=32688 vsize=10661132 memory=7022364594140610616 CPUtime=0.4 cores=0,2,4,6
/proc/32695/task/32698/stat : 32698 (java) R 32688 32695 32633 0 -1 4202560 5072 0 0 0 38 2 0 0 20 0 15 0 95207582 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643758786576 140643354571689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32703] ppid=32688 vsize=10661132 memory=345 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32703/stat : 32703 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643680622864 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32704] ppid=32688 vsize=10661132 memory=3833891835326817952 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32704/stat : 32704 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643679570320 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32705] ppid=32688 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32705/stat : 32705 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643678517776 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32706] ppid=32688 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32706/stat : 32706 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643677465232 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32708] ppid=32688 vsize=10661132 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32708/stat : 32708 (java) S 32688 32695 32633 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643245431280 140643754560130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32710] ppid=32688 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32710/stat : 32710 (java) S 32688 32695 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643244377504 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32712] ppid=32688 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32712/stat : 32712 (java) S 32688 32695 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643243324912 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32713] ppid=32688 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32713/stat : 32713 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643242273488 140643754567579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32715] ppid=32688 vsize=10661132 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/32695/task/32715/stat : 32715 (java) S 32688 32695 32633 0 -1 1077944384 979 0 0 0 13 0 0 0 20 0 15 0 95207587 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643241220080 140643754560130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32717] ppid=32688 vsize=10661132 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/32695/task/32717/stat : 32717 (java) S 32688 32695 32633 0 -1 1077944384 349 0 0 0 11 0 0 0 20 0 15 0 95207587 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643240167536 140643754560130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32719] ppid=32688 vsize=10661132 memory=139773350569600 CPUtime=0.24 cores=0,2,4,6
/proc/32695/task/32719/stat : 32719 (java) R 32688 32695 32633 0 -1 4202560 1141 0 0 0 24 0 0 0 20 0 15 0 95207587 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643239114992 140643740688113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32721] ppid=32688 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32721/stat : 32721 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643238062688 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32723] ppid=32688 vsize=10661132 memory=139773350569600 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32723/stat : 32723 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 13875 33554432000 4194304 4196468 140730588660832 140643237010224 140643754560130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 55500 KiB

[startup+0.510273 s]*
/proc/loadavg: 0.74 0.64 0.71 8/216 32724
/proc/meminfo: memFree=23141480/32770624 swapFree=67108860/67108860
[pid=32695] ppid=32688 vsize=10661132 memory=66364 CPUtime=1.26 cores=0,2,4,6
/proc/32695/stat : 32695 (java) S 32688 32695 32633 0 -1 1077944320 9579 0 0 0 122 4 0 0 20 0 15 0 95207581 10916999168 16591 33554432000 4194304 4196468 140730588660832 140730588643376 140643754548983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
/proc/32695/statm: 2665283 16591 3111 1 0 2627263 0
[pid=32695/tid=32698] ppid=32688 vsize=10661132 memory=6791534058613427641 CPUtime=0.49 cores=0,2,4,6
/proc/32695/task/32698/stat : 32698 (java) R 32688 32695 32633 0 -1 4202560 5119 0 0 0 47 2 0 0 20 0 15 0 95207582 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643758787792 140643355151426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32703] ppid=32688 vsize=10661132 memory=840 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32703/stat : 32703 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643680622864 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32704] ppid=32688 vsize=10661132 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32704/stat : 32704 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643679570320 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32705] ppid=32688 vsize=10661132 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32705/stat : 32705 (java) S 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643678517776 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32706] ppid=32688 vsize=10661132 memory=916 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32706/stat : 32706 (java) S 32688 32695 32633 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95207582 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643677465232 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32708] ppid=32688 vsize=10661132 memory=3796 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32708/stat : 32708 (java) S 32688 32695 32633 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643245431280 140643754560130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32710] ppid=32688 vsize=10661132 memory=2296 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32710/stat : 32710 (java) S 32688 32695 32633 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643244377504 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32712] ppid=32688 vsize=10661132 memory=2296 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32712/stat : 32712 (java) S 32688 32695 32633 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95207584 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643243324912 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32713] ppid=32688 vsize=10661132 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32713/stat : 32713 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643242273488 140643754567579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32715] ppid=32688 vsize=10661132 memory=1408 CPUtime=0.23 cores=0,2,4,6
/proc/32695/task/32715/stat : 32715 (java) R 32688 32695 32633 0 -1 4202560 1164 0 0 0 23 0 0 0 20 0 15 0 95207587 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643241206032 140643739454332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32717] ppid=32688 vsize=10661132 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/32695/task/32717/stat : 32717 (java) R 32688 32695 32633 0 -1 4202560 594 0 0 0 21 0 0 0 20 0 15 0 95207587 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643240154352 140643739656000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32719] ppid=32688 vsize=10661132 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/32695/task/32719/stat : 32719 (java) R 32688 32695 32633 0 -1 1077944384 1334 0 0 0 29 0 0 0 20 0 15 0 95207587 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643239114992 140643754560130 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32721] ppid=32688 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32721/stat : 32721 (java) S 32688 32695 32633 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643238062688 140643754559189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
[pid=32695/tid=32723] ppid=32688 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32695/task/32723/stat : 32723 (java) R 32688 32695 32633 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95207587 10916999168 16591 33554432000 4194304 4196468 140730588660832 140643237010224 140643754560130 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11137024 140730588664949 140730588665097 140730588665097 140730588667855 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 66364 KiB

Child status: 0
Real time (s): 0.552219
CPU time (s): 1.35044
CPU user time (s): 1.3013
CPU system time (s): 0.049144
CPU usage (%): 244.548
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 66364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3013
system time used= 0.049144
maximum resident set size= 75036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1332
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 32695
#   total CPU time (s): 1.35044
#   total CPU user time (s): 1.3013
#   total CPU system time (s): 0.049144

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024685 second user time and 0.048343 second system time

The end