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 (14031 MiB free)
memory of node 1: 16384 MiB (13282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299621-1532806878/watcher-4299621-1532806878 -o /tmp/evaluation-result-4299621-1532806878/solver-4299621-1532806878 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532775757-8893 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4299621-1532806878.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12932, runsolver pid=12929
[startup+0.104181 s]*
/proc/loadavg: 1.17 1.29 1.31 3/215 12947
/proc/meminfo: memFree=27952656/32770624 swapFree=67108860/67108860
[pid=12932] ppid=12929 vsize=10661056 memory=27872 CPUtime=0.14 cores=1,3,5,7
/proc/12932/stat : 12932 (java) S 12929 12932 8861 0 -1 1077944320 5345 0 0 0 13 1 0 0 20 0 15 0 98250964 10916921344 6968 33554432000 4194304 4196468 140723130439856 140723130422400 139763419766519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
/proc/12932/statm: 2665264 6968 2896 1 0 2627263 0
[pid=12932/tid=12934] ppid=12929 vsize=10661056 memory=-8269626465541459579 CPUtime=0.09 cores=1,3,5,7
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 8861 0 -1 4202560 3151 0 0 0 9 0 0 0 20 0 15 0 98250964 10916921344 6968 33554432000 4194304 4196468 140723130439856 139763423988464 139763401981877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12935] ppid=12929 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916921344 6968 33554432000 4194304 4196468 140723130439856 139763345840784 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12936] ppid=12929 vsize=10661056 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916921344 6968 33554432000 4194304 4196468 140723130439856 139763344787984 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12937] ppid=12929 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916921344 6968 33554432000 4194304 4196468 140723130439856 139763343735184 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12938] ppid=12929 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98250965 10916921344 6968 33554432000 4194304 4196468 140723130439856 139763342682384 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12939] ppid=12929 vsize=10661056 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98250966 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762454190960 139763419777666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12940] ppid=12929 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98250967 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762453136928 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12941] ppid=12929 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98250967 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762452084080 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12942] ppid=12929 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98250969 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762451032400 139763419785115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12943] ppid=12929 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 8861 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 98250969 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762449979760 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12944] ppid=12929 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12944/stat : 12944 (java) R 12929 12932 8861 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 98250969 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762448926960 139763419777666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12945] ppid=12929 vsize=10661056 memory=140040023910016 CPUtime=0.02 cores=1,3,5,7
/proc/12932/task/12945/stat : 12945 (java) R 12929 12932 8861 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 98250969 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762447874160 139763419780383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12946] ppid=12929 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98250969 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762446821600 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12947] ppid=12929 vsize=10661056 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250970 10916921344 6968 33554432000 4194304 4196468 140723130439856 139762445769904 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27872 KiB
[startup+0.210516 s]*
/proc/loadavg: 1.17 1.29 1.31 5/215 12947
/proc/meminfo: memFree=27941120/32770624 swapFree=67108860/67108860
[pid=12932] ppid=12929 vsize=10661056 memory=40192 CPUtime=0.33 cores=1,3,5,7
/proc/12932/stat : 12932 (java) S 12929 12932 8861 0 -1 1077944320 8151 0 0 0 31 2 0 0 20 0 15 0 98250964 10916921344 10048 33554432000 4194304 4196468 140723130439856 140723130422400 139763419766519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
/proc/12932/statm: 2665264 10048 2970 1 0 2627263 0
[pid=12932/tid=12934] ppid=12929 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 8861 0 -1 4202560 5158 0 0 0 19 1 0 0 20 0 15 0 98250964 10916921344 10048 33554432000 4194304 4196468 140723130439856 139763423982256 139763403847006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12935] ppid=12929 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916921344 10048 33554432000 4194304 4196468 140723130439856 139763345840784 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12936] ppid=12929 vsize=10661056 memory=3978841827957876384 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916921344 10048 33554432000 4194304 4196468 140723130439856 139763344787984 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12937] ppid=12929 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916921344 10048 33554432000 4194304 4196468 140723130439856 139763343735184 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12938] ppid=12929 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98250965 10916921344 10048 33554432000 4194304 4196468 140723130439856 139763342682384 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12939] ppid=12929 vsize=10661056 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98250966 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762454190960 139763419777666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12940] ppid=12929 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98250967 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762453136928 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12941] ppid=12929 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98250967 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762452084080 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12942] ppid=12929 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98250969 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762451032400 139763419785115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12943] ppid=12929 vsize=10661056 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 8861 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 98250969 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762449979760 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12944] ppid=12929 vsize=10661056 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 8861 0 -1 1077944384 482 0 0 0 3 0 0 0 20 0 15 0 98250969 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762448926960 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12945] ppid=12929 vsize=10661056 memory=140040023910016 CPUtime=0.08 cores=1,3,5,7
/proc/12932/task/12945/stat : 12945 (java) S 12929 12932 8861 0 -1 1077944384 777 0 0 0 8 0 0 0 20 0 15 0 98250969 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762447874160 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12946] ppid=12929 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98250969 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762446821600 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12947] ppid=12929 vsize=10661056 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250970 10916921344 10048 33554432000 4194304 4196468 140723130439856 139762445769904 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40192 KiB
[startup+0.316088 s]*
/proc/loadavg: 1.17 1.29 1.31 4/215 12947
/proc/meminfo: memFree=27934172/32770624 swapFree=67108860/67108860
[pid=12932] ppid=12929 vsize=10661132 memory=46636 CPUtime=0.59 cores=1,3,5,7
/proc/12932/stat : 12932 (java) S 12929 12932 8861 0 -1 1077944320 8813 0 0 0 56 3 0 0 20 0 15 0 98250964 10916999168 11659 33554432000 4194304 4196468 140723130439856 140723130422400 139763419766519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
/proc/12932/statm: 2665283 11659 3056 1 0 2627263 0
[pid=12932/tid=12934] ppid=12929 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 8861 0 -1 4202560 5497 0 0 0 29 1 0 0 20 0 15 0 98250964 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763424005328 139763419778454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12935] ppid=12929 vsize=10661132 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763345840784 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12936] ppid=12929 vsize=10661132 memory=4049500838910305952 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763344787984 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12937] ppid=12929 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763343735184 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12938] ppid=12929 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98250965 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763342682384 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12939] ppid=12929 vsize=10661132 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98250966 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762454190960 139763419777666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12940] ppid=12929 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98250967 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762453136928 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12941] ppid=12929 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98250967 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762452084080 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12942] ppid=12929 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762451032400 139763419785115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12943] ppid=12929 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 8861 0 -1 1077944384 510 0 0 0 4 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762449979760 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12944] ppid=12929 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 8861 0 -1 1077944384 520 0 0 0 5 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762448926960 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12945] ppid=12929 vsize=10661132 memory=140040023910016 CPUtime=0.16 cores=1,3,5,7
/proc/12932/task/12945/stat : 12945 (java) R 12929 12932 8861 0 -1 4202560 921 0 0 0 16 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762447870528 139763412872201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12946] ppid=12929 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762446821600 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12947] ppid=12929 vsize=10661132 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250970 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762445769904 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46636 KiB
[startup+0.384378 s]
# the end of solver process 12932 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.670075 s, system=0.039723 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.316088 s]*
/proc/loadavg: 1.17 1.29 1.31 4/215 12947
/proc/meminfo: memFree=27934172/32770624 swapFree=67108860/67108860
[pid=12932] ppid=12929 vsize=10661132 memory=46636 CPUtime=0.59 cores=1,3,5,7
/proc/12932/stat : 12932 (java) S 12929 12932 8861 0 -1 1077944320 8813 0 0 0 56 3 0 0 20 0 15 0 98250964 10916999168 11659 33554432000 4194304 4196468 140723130439856 140723130422400 139763419766519 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
/proc/12932/statm: 2665283 11659 3056 1 0 2627263 0
[pid=12932/tid=12934] ppid=12929 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/12932/task/12934/stat : 12934 (java) R 12929 12932 8861 0 -1 4202560 5497 0 0 0 29 1 0 0 20 0 15 0 98250964 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763424005328 139763419778454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12935] ppid=12929 vsize=10661132 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12935/stat : 12935 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763345840784 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12936] ppid=12929 vsize=10661132 memory=4049500838910305952 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12936/stat : 12936 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763344787984 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12937] ppid=12929 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12937/stat : 12937 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250965 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763343735184 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12938] ppid=12929 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12938/stat : 12938 (java) S 12929 12932 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98250965 10916999168 11659 33554432000 4194304 4196468 140723130439856 139763342682384 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12939] ppid=12929 vsize=10661132 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12939/stat : 12939 (java) S 12929 12932 8861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98250966 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762454190960 139763419777666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12940] ppid=12929 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12940/stat : 12940 (java) S 12929 12932 8861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98250967 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762453136928 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12941] ppid=12929 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12941/stat : 12941 (java) S 12929 12932 8861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98250967 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762452084080 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12942] ppid=12929 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12942/stat : 12942 (java) S 12929 12932 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762451032400 139763419785115 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12943] ppid=12929 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12932/task/12943/stat : 12943 (java) S 12929 12932 8861 0 -1 1077944384 510 0 0 0 4 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762449979760 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12944] ppid=12929 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/12932/task/12944/stat : 12944 (java) S 12929 12932 8861 0 -1 1077944384 520 0 0 0 5 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762448926960 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12945] ppid=12929 vsize=10661132 memory=140040023910016 CPUtime=0.16 cores=1,3,5,7
/proc/12932/task/12945/stat : 12945 (java) R 12929 12932 8861 0 -1 4202560 921 0 0 0 16 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762447870528 139763412872201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12946] ppid=12929 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12946/stat : 12946 (java) S 12929 12932 8861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98250969 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762446821600 139763419776725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
[pid=12932/tid=12947] ppid=12929 vsize=10661132 memory=140040023910016 CPUtime=0 cores=1,3,5,7
/proc/12932/task/12947/stat : 12947 (java) S 12929 12932 8861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98250970 10916999168 11659 33554432000 4194304 4196468 140723130439856 139762445769904 139763419777666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13873152 140723130446965 140723130447113 140723130447113 140723130449871 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46636 KiB
Child status: 0
Real time (s): 0.384411
CPU time (s): 0.709798
CPU user time (s): 0.670075
CPU system time (s): 0.039723
CPU usage (%): 184.646
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 46636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.670075
system time used= 0.039723
maximum resident set size= 50848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9134
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= 1211
involuntary context switches= 2
# summary of solver processes directly reported to runsolver:
# pid: 12932
# total CPU time (s): 0.709798
# total CPU user time (s): 0.670075
# total CPU system time (s): 0.039723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020526 second user time and 0.03194 second system time
The end