runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255176-1501619789/watcher-4255176-1501619789 -o /tmp/evaluation-result-4255176-1501619789/solver-4255176-1501619789 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 809701829 HOME/instance-4255176-1501619789.xml
pid=13046
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.55 1.70 1.79 4/196 13049
/proc/meminfo: memFree=29670540/32770624 swapFree=0/190176
[pid=13049] ppid=13046 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13049/stat : 13049 (runsolver) D 13046 13049 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10601947 24240128 106 18446744073709551615 4194304 4338465 140725696314448 140725696312088 139924149686999 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 28700672 140725696319581 140725696320070 140725696320070 140725696323530 0
/proc/13049/statm: 5918 106 53 36 0 2156 0
[startup+0.100498 s]
/proc/loadavg: 1.55 1.70 1.79 4/196 13049
/proc/meminfo: memFree=29670540/32770624 swapFree=0/190176
[pid=13049] ppid=13046 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13049/stat : 13049 (xcsp3-exec) S 13046 13049 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10601947 9740288 345 18446744073709551615 4194304 5098028 140721173774816 140721173772920 140089141760636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 20512768 140721173778844 140721173779047 140721173779047 140721173782507 0
/proc/13049/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200277 s]
/proc/loadavg: 1.55 1.70 1.79 4/196 13049
/proc/meminfo: memFree=29670540/32770624 swapFree=0/190176
[pid=13049] ppid=13046 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13049/stat : 13049 (xcsp3-exec) S 13046 13049 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10601947 9740288 345 18446744073709551615 4194304 5098028 140721173774816 140721173772920 140089141760636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 20512768 140721173778844 140721173779047 140721173779047 140721173782507 0
/proc/13049/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300231 s]
/proc/loadavg: 1.55 1.70 1.79 4/196 13049
/proc/meminfo: memFree=29670540/32770624 swapFree=0/190176
[pid=13049] ppid=13046 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13049/stat : 13049 (xcsp3-exec) S 13046 13049 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10601947 9740288 345 18446744073709551615 4194304 5098028 140721173774816 140721173772920 140089141760636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 20512768 140721173778844 140721173779047 140721173779047 140721173782507 0
/proc/13049/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70501 s]
/proc/loadavg: 1.55 1.70 1.79 4/196 13049
/proc/meminfo: memFree=29670540/32770624 swapFree=0/190176
[pid=13049] ppid=13046 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13049/stat : 13049 (xcsp3-exec) S 13046 13049 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10601947 9740288 345 18446744073709551615 4194304 5098028 140721173774816 140721173772920 140089141760636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 20512768 140721173778844 140721173779047 140721173779047 140721173782507 0
/proc/13049/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50167 s]
/proc/loadavg: 1.55 1.70 1.79 5/212 13065
/proc/meminfo: memFree=29603820/32770624 swapFree=0/190200
[pid=13049] ppid=13046 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13049/stat : 13049 (xcsp3-exec) S 13046 13049 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10601947 9740288 345 18446744073709551615 4194304 5098028 140721173774816 140721173772920 140089141760636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 20512768 140721173778844 140721173779047 140721173779047 140721173782507 0
/proc/13049/statm: 2378 345 289 221 0 87 0
[pid=13051] ppid=13049 vsize=13980732 CPUtime=3.75 cores=0,2,4,6
/proc/13051/stat : 13051 (java) S 13049 13049 5091 0 -1 1077944320 22937 0 0 0 368 7 0 0 20 0 15 0 10601956 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140734750689520 140431687409399 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
/proc/13051/statm: 3495183 24658 3191 1 0 3483484 0
[pid=13051/tid=13052] ppid=13049 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (java) R 13049 13049 5091 0 -1 4202560 9841 0 0 0 130 3 0 0 20 0 15 0 10601956 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431691645328 140431290420932 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13053] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (java) S 13049 13049 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10601957 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431287380752 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13054] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (java) S 13049 13049 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10601957 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431286328208 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13055] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13055/stat : 13055 (java) S 13049 13049 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10601957 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431285275664 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13056] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13056/stat : 13056 (java) S 13049 13049 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10601957 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431284223120 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13057] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13057/stat : 13057 (java) S 13049 13049 5091 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 10601958 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431165958128 140431687420546 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13058] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13058/stat : 13058 (java) S 13049 13049 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10601959 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431164904352 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13059] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13059/stat : 13059 (java) S 13049 13049 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10601959 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431163851760 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13060] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13060/stat : 13060 (java) S 13049 13049 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10601961 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431162800336 140431687427995 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13061] ppid=13049 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/13051/task/13061/stat : 13061 (java) R 13049 13049 5091 0 -1 4202560 4057 0 0 0 95 1 0 0 20 0 15 0 10601961 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431161736512 140431670585185 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13062] ppid=13049 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/13051/task/13062/stat : 13062 (java) R 13049 13049 5091 0 -1 4202560 5199 0 0 0 96 0 0 0 20 0 15 0 10601961 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431160684880 140431670906183 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13063] ppid=13049 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/13051/task/13063/stat : 13063 (java) S 13049 13049 5091 0 -1 1077944384 2527 0 0 0 46 1 0 0 20 0 15 0 10601961 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431159642864 140431687420546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13064] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13064/stat : 13064 (java) S 13049 13049 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10601961 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431158590560 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13065] ppid=13049 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13065/stat : 13065 (java) S 13049 13049 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10601966 14316269568 24658 18446744073709551615 4194304 4196468 140734750706976 140431157537072 140431687420546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13990244
[startup+3.10076 s]
/proc/loadavg: 1.67 1.72 1.80 5/212 13065
/proc/meminfo: memFree=29563676/32770624 swapFree=0/190200
[pid=13049] ppid=13046 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13049/stat : 13049 (xcsp3-exec) S 13046 13049 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10601947 9740288 345 18446744073709551615 4194304 5098028 140721173774816 140721173772920 140089141760636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 20512768 140721173778844 140721173779047 140721173779047 140721173782507 0
/proc/13049/statm: 2378 345 289 221 0 87 0
[pid=13051] ppid=13049 vsize=13982864 CPUtime=8.43 cores=0,2,4,6
/proc/13051/stat : 13051 (java) S 13049 13049 5091 0 -1 1077944320 33110 0 0 0 833 10 0 0 20 0 15 0 10601956 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140734750689520 140431687409399 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
/proc/13051/statm: 3495716 44494 3198 1 0 3484017 0
[pid=13051/tid=13052] ppid=13049 vsize=13982864 CPUtime=2.93 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (java) R 13049 13049 5091 0 -1 4202560 10035 0 0 0 289 4 0 0 20 0 15 0 10601956 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431691646232 140431291802821 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13053] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (java) S 13049 13049 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10601957 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431287380752 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13054] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (java) S 13049 13049 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10601957 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431286328208 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13055] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13055/stat : 13055 (java) S 13049 13049 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10601957 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431285275664 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13056] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13056/stat : 13056 (java) S 13049 13049 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10601957 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431284223120 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13057] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13057/stat : 13057 (java) S 13049 13049 5091 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10601958 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431165958128 140431687420546 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13058] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13058/stat : 13058 (java) S 13049 13049 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10601959 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431164904352 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13059] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13059/stat : 13059 (java) S 13049 13049 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10601959 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431163851760 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13060] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13060/stat : 13060 (java) S 13049 13049 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431162800336 140431687427995 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13061] ppid=13049 vsize=13982864 CPUtime=2.49 cores=0,2,4,6
/proc/13051/task/13061/stat : 13061 (java) R 13049 13049 5091 0 -1 4202560 9347 0 0 0 248 1 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431161733000 140431672532912 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13062] ppid=13049 vsize=13982864 CPUtime=2.4 cores=0,2,4,6
/proc/13051/task/13062/stat : 13062 (java) S 13049 13049 5091 0 -1 1077944384 9638 0 0 0 239 1 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431160695408 140431687420546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13063] ppid=13049 vsize=13982864 CPUtime=0.56 cores=0,2,4,6
/proc/13051/task/13063/stat : 13063 (java) S 13049 13049 5091 0 -1 1077944384 2742 0 0 0 55 1 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431159642864 140431687420546 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13064] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13064/stat : 13064 (java) S 13049 13049 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431158590560 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13065] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13065/stat : 13065 (java) S 13049 13049 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10601966 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431157537072 140431687420546 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 13992376
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13051 sig 9
??? kill 13049 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.10076 s]
/proc/loadavg: 1.67 1.72 1.80 5/212 13065
/proc/meminfo: memFree=29563676/32770624 swapFree=0/190200
[pid=13049] ppid=13046 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13049/stat : 13049 (xcsp3-exec) S 13046 13049 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10601947 9740288 345 18446744073709551615 4194304 5098028 140721173774816 140721173772920 140089141760636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 20512768 140721173778844 140721173779047 140721173779047 140721173782507 0
/proc/13049/statm: 2378 345 289 221 0 87 0
[pid=13051] ppid=13049 vsize=13982864 CPUtime=8.43 cores=0,2,4,6
/proc/13051/stat : 13051 (java) S 13049 13049 5091 0 -1 1077944320 33110 0 0 0 833 10 0 0 20 0 15 0 10601956 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140734750689520 140431687409399 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
/proc/13051/statm: 3495716 44494 3198 1 0 3484017 0
[pid=13051/tid=13052] ppid=13049 vsize=13982864 CPUtime=2.93 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (java) R 13049 13049 5091 0 -1 4202560 10035 0 0 0 289 4 0 0 20 0 15 0 10601956 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431691646232 140431291802821 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13053] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (java) S 13049 13049 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10601957 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431287380752 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13054] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (java) S 13049 13049 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10601957 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431286328208 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13055] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13055/stat : 13055 (java) S 13049 13049 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10601957 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431285275664 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13056] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13056/stat : 13056 (java) S 13049 13049 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10601957 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431284223120 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13057] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13057/stat : 13057 (java) S 13049 13049 5091 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10601958 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431165958128 140431687420546 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13058] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13058/stat : 13058 (java) S 13049 13049 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10601959 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431164904352 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13059] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13059/stat : 13059 (java) S 13049 13049 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10601959 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431163851760 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13060] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13060/stat : 13060 (java) S 13049 13049 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431162800336 140431687427995 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13061] ppid=13049 vsize=13982864 CPUtime=2.49 cores=0,2,4,6
/proc/13051/task/13061/stat : 13061 (java) R 13049 13049 5091 0 -1 4202560 9347 0 0 0 248 1 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431161733000 140431672532912 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13062] ppid=13049 vsize=13982864 CPUtime=2.4 cores=0,2,4,6
/proc/13051/task/13062/stat : 13062 (java) S 13049 13049 5091 0 -1 1077944384 9638 0 0 0 239 1 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431160695408 140431687420546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13063] ppid=13049 vsize=13982864 CPUtime=0.56 cores=0,2,4,6
/proc/13051/task/13063/stat : 13063 (java) S 13049 13049 5091 0 -1 1077944384 2742 0 0 0 55 1 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431159642864 140431687420546 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13064] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13064/stat : 13064 (java) S 13049 13049 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10601961 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431158590560 140431687419605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
[pid=13051/tid=13065] ppid=13049 vsize=13982864 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13065/stat : 13065 (java) S 13049 13049 5091 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10601966 14318452736 44494 18446744073709551615 4194304 4196468 140734750706976 140431157537072 140431687420546 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23511040 140734750712276 140734750712451 140734750712451 140734750715855 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 13992376
Child status: 0
Real time (s): 3.13282
CPU time (s): 8.4773
CPU user time (s): 8.36508
CPU system time (s): 0.112223
CPU usage (%): 270.596
Max. virtual memory (cumulated for all children) (KiB): 13992376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.36508
system time used= 0.112223
maximum resident set size= 180052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2156
involuntary context switches= 27
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017522 second user time and 0.019843 second system time
The end