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-4248606-1502063026/watcher-4248606-1502063026 -o /tmp/evaluation-result-4248606-1502063026/solver-4248606-1502063026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 277318674 HOME/instance-4248606-1502063026.xml
pid=13297
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 6.61 6.30 6.86 5/204 13300
/proc/meminfo: memFree=28062256/32770624 swapFree=0/331612
[pid=13300] ppid=13297 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (runsolver) D 13297 13300 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 54117890 24240128 108 18446744073709551615 4194304 4338465 140726009654528 140726009652168 140043240702679 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 22577152 140726009663575 140726009664073 140726009664073 140726009667530 0
/proc/13300/statm: 5918 108 54 36 0 2156 0
[startup+0.105485 s]
/proc/loadavg: 6.61 6.30 6.86 5/204 13300
/proc/meminfo: memFree=28062256/32770624 swapFree=0/331612
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.207648 s]
/proc/loadavg: 6.61 6.30 6.86 5/204 13300
/proc/meminfo: memFree=28062256/32770624 swapFree=0/331612
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300303 s]
/proc/loadavg: 6.61 6.30 6.86 5/204 13300
/proc/meminfo: memFree=28062256/32770624 swapFree=0/331612
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700649 s]
/proc/loadavg: 6.61 6.30 6.86 5/204 13300
/proc/meminfo: memFree=28062256/32770624 swapFree=0/331612
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 6.61 6.30 6.86 9/220 13316
/proc/meminfo: memFree=27896796/32770624 swapFree=0/331644
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
[pid=13302] ppid=13300 vsize=12919328 CPUtime=3.86 cores=0,2,4,6
/proc/13302/stat : 13302 (java) S 13300 13300 25100 0 -1 1077944320 16905 0 0 0 376 10 0 0 20 0 15 0 54117898 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 140722490605824 139818044706551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
/proc/13302/statm: 3229832 51166 3204 1 0 3218124 0
[pid=13302/tid=13303] ppid=13300 vsize=12919328 CPUtime=1.32 cores=0,2,4,6
/proc/13302/task/13303/stat : 13303 (java) R 13300 13300 25100 0 -1 4202560 8321 0 0 0 127 5 0 0 20 0 15 0 54117899 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139818048943416 139817644069532 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13304] ppid=13300 vsize=12919328 CPUtime=0.01 cores=0,2,4,6
/proc/13302/task/13304/stat : 13304 (java) S 13300 13300 25100 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 54117899 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139817967532432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13305] ppid=13300 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13305/stat : 13305 (java) S 13300 13300 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 54117899 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139817966479632 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13306] ppid=13300 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13306/stat : 13306 (java) S 13300 13300 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 54117899 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139817965427344 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13307] ppid=13300 vsize=12919328 CPUtime=0.01 cores=0,2,4,6
/proc/13302/task/13307/stat : 13307 (java) S 13300 13300 25100 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 15 0 54117899 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139817964374544 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13308] ppid=13300 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13308/stat : 13308 (java) S 13300 13300 25100 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 54117901 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816999623280 139818044717698 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13309] ppid=13300 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13309/stat : 13309 (java) S 13300 13300 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 54117901 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816998569248 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13310] ppid=13300 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13310/stat : 13310 (java) S 13300 13300 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 54117901 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816997516912 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13311] ppid=13300 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13311/stat : 13311 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54117904 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816996465232 139818044725147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13312] ppid=13300 vsize=12919328 CPUtime=0.99 cores=0,2,4,6
/proc/13302/task/13312/stat : 13312 (java) R 13300 13300 25100 0 -1 4202560 2748 0 0 0 98 1 0 0 20 0 15 0 54117904 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816995400432 139818028093536 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13313] ppid=13300 vsize=12919328 CPUtime=0.98 cores=0,2,4,6
/proc/13302/task/13313/stat : 13313 (java) R 13300 13300 25100 0 -1 4202560 2341 0 0 0 98 0 0 0 20 0 15 0 54117904 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816994357680 139818026227767 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13314] ppid=13300 vsize=12919328 CPUtime=0.49 cores=0,2,4,6
/proc/13302/task/13314/stat : 13314 (java) S 13300 13300 25100 0 -1 1077944384 2053 0 0 0 48 1 0 0 20 0 15 0 54117904 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816993306992 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13315] ppid=13300 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13315/stat : 13315 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 54117904 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816992254432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13316] ppid=13300 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13316/stat : 13316 (java) S 13300 13300 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 54117910 13229391872 51166 18446744073709551615 4194304 4196468 140722490623280 139816991202224 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 12928840
[startup+3.10765 s]
/proc/loadavg: 6.61 6.30 6.86 9/220 13316
/proc/meminfo: memFree=27665020/32770624 swapFree=0/331644
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
[pid=13302] ppid=13300 vsize=13185584 CPUtime=9.11 cores=0,2,4,6
/proc/13302/stat : 13302 (java) S 13300 13300 25100 0 -1 1077944320 22107 0 0 0 884 27 0 0 20 0 19 0 54117898 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 140722490605824 139818044706551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
/proc/13302/statm: 3296396 117658 3231 1 0 3284688 0
[pid=13302/tid=13303] ppid=13300 vsize=13185584 CPUtime=2.42 cores=0,2,4,6
/proc/13302/task/13303/stat : 13303 (java) S 13300 13300 25100 0 -1 1077944384 8688 0 0 0 235 7 0 0 20 0 19 0 54117899 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139818048947328 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13304] ppid=13300 vsize=13185584 CPUtime=0.16 cores=0,2,4,6
/proc/13302/task/13304/stat : 13304 (java) S 13300 13300 25100 0 -1 1077944384 210 0 0 0 12 4 0 0 20 0 19 0 54117899 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139817967532432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13305] ppid=13300 vsize=13185584 CPUtime=0.16 cores=0,2,4,6
/proc/13302/task/13305/stat : 13305 (java) S 13300 13300 25100 0 -1 1077944384 215 0 0 0 12 4 0 0 20 0 19 0 54117899 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139817966479632 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13306] ppid=13300 vsize=13185584 CPUtime=0.11 cores=0,2,4,6
/proc/13302/task/13306/stat : 13306 (java) S 13300 13300 25100 0 -1 1077944384 81 0 0 0 8 3 0 0 20 0 19 0 54117899 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139817965427344 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13307] ppid=13300 vsize=13185584 CPUtime=0.13 cores=0,2,4,6
/proc/13302/task/13307/stat : 13307 (java) S 13300 13300 25100 0 -1 1077944384 150 0 0 0 10 3 0 0 20 0 19 0 54117899 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139817964374544 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13308] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13308/stat : 13308 (java) S 13300 13300 25100 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816999623280 139818044717698 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13309] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13309/stat : 13309 (java) S 13300 13300 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816998569312 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13310] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13310/stat : 13310 (java) S 13300 13300 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816997516928 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13311] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13311/stat : 13311 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816996465232 139818044725147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13312] ppid=13300 vsize=13185584 CPUtime=2.27 cores=0,2,4,6
/proc/13302/task/13312/stat : 13312 (java) R 13300 13300 25100 0 -1 4202560 4001 0 0 0 226 1 0 0 20 0 19 0 54117904 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816995399008 139818025187768 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13313] ppid=13300 vsize=13185584 CPUtime=2.24 cores=0,2,4,6
/proc/13302/task/13313/stat : 13313 (java) R 13300 13300 25100 0 -1 4202560 3841 0 0 0 223 1 0 0 20 0 19 0 54117904 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816994349408 139818023921840 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13314] ppid=13300 vsize=13185584 CPUtime=0.7 cores=0,2,4,6
/proc/13302/task/13314/stat : 13314 (java) S 13300 13300 25100 0 -1 1077944384 3162 0 0 0 69 1 0 0 20 0 19 0 54117904 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816993306992 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13315] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13315/stat : 13315 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816992254432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13316] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13316/stat : 13316 (java) S 13300 13300 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 54117910 13502038016 117658 18446744073709551615 4194304 4196468 140722490623280 139816991202224 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 13195096
[startup+6.30084 s]
/proc/loadavg: 6.88 6.36 6.88 10/224 13320
/proc/meminfo: memFree=27469608/32770624 swapFree=0/331644
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
[pid=13302] ppid=13300 vsize=13185584 CPUtime=21.54 cores=0,2,4,6
/proc/13302/stat : 13302 (java) S 13300 13300 25100 0 -1 1077944320 31628 0 0 0 2122 32 0 0 20 0 19 0 54117898 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 140722490605824 139818044706551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
/proc/13302/statm: 3296396 159994 3249 1 0 3284688 0
[pid=13302/tid=13303] ppid=13300 vsize=13185584 CPUtime=2.42 cores=0,2,4,6
/proc/13302/task/13303/stat : 13303 (java) S 13300 13300 25100 0 -1 1077944384 8688 0 0 0 235 7 0 0 20 0 19 0 54117899 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139818048947328 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13304] ppid=13300 vsize=13185584 CPUtime=0.16 cores=0,2,4,6
/proc/13302/task/13304/stat : 13304 (java) S 13300 13300 25100 0 -1 1077944384 210 0 0 0 12 4 0 0 20 0 19 0 54117899 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139817967532432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13305] ppid=13300 vsize=13185584 CPUtime=0.16 cores=0,2,4,6
/proc/13302/task/13305/stat : 13305 (java) S 13300 13300 25100 0 -1 1077944384 215 0 0 0 12 4 0 0 20 0 19 0 54117899 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139817966479632 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13306] ppid=13300 vsize=13185584 CPUtime=0.11 cores=0,2,4,6
/proc/13302/task/13306/stat : 13306 (java) S 13300 13300 25100 0 -1 1077944384 81 0 0 0 8 3 0 0 20 0 19 0 54117899 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139817965427344 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13307] ppid=13300 vsize=13185584 CPUtime=0.13 cores=0,2,4,6
/proc/13302/task/13307/stat : 13307 (java) S 13300 13300 25100 0 -1 1077944384 150 0 0 0 10 3 0 0 20 0 19 0 54117899 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139817964374544 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13308] ppid=13300 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/13302/task/13308/stat : 13308 (java) S 13300 13300 25100 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 19 0 54117901 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816999623280 139818044717698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13309] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13309/stat : 13309 (java) S 13300 13300 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816998569312 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13310] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13310/stat : 13310 (java) S 13300 13300 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816997516928 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13311] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13311/stat : 13311 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816996465232 139818044725147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13312] ppid=13300 vsize=13185584 CPUtime=3.53 cores=0,2,4,6
/proc/13302/task/13312/stat : 13312 (java) S 13300 13300 25100 0 -1 1077944384 8060 0 0 0 351 2 0 0 20 0 19 0 54117904 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816995412080 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13313] ppid=13300 vsize=13185584 CPUtime=3.44 cores=0,2,4,6
/proc/13302/task/13313/stat : 13313 (java) S 13300 13300 25100 0 -1 1077944384 7621 0 0 0 343 1 0 0 20 0 19 0 54117904 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816994359280 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13314] ppid=13300 vsize=13185584 CPUtime=0.8 cores=0,2,4,6
/proc/13302/task/13314/stat : 13314 (java) S 13300 13300 25100 0 -1 1077944384 3556 0 0 0 79 1 0 0 20 0 19 0 54117904 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816993306992 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13315] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13315/stat : 13315 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816992254432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13316] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13316/stat : 13316 (java) S 13300 13300 25100 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 54117910 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816991202224 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13317] ppid=13300 vsize=13185584 CPUtime=2.51 cores=0,2,4,6
/proc/13302/task/13317/stat : 13317 (java) R 13300 13300 25100 0 -1 4202560 284 0 0 0 251 0 0 0 20 0 19 0 54118167 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816983186112 139817653091250 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13318] ppid=13300 vsize=13185584 CPUtime=2.79 cores=0,2,4,6
/proc/13302/task/13318/stat : 13318 (java) S 13300 13300 25100 0 -1 1077944384 534 0 0 0 279 0 0 0 20 0 19 0 54118167 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816982140496 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13319] ppid=13300 vsize=13185584 CPUtime=2.71 cores=0,2,4,6
/proc/13302/task/13319/stat : 13319 (java) R 13300 13300 25100 0 -1 4202560 353 0 0 0 271 0 0 0 20 0 19 0 54118167 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816981082144 139817653091284 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13320] ppid=13300 vsize=13185584 CPUtime=2.62 cores=0,2,4,6
/proc/13302/task/13320/stat : 13320 (java) S 13300 13300 25100 0 -1 1077944384 232 0 0 0 261 1 0 0 20 0 19 0 54118167 13502038016 159994 18446744073709551615 4194304 4196468 140722490623280 139816980034384 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
Current children cumulated CPU time (s) 21.54
Current children cumulated vsize (KiB) 13195096
[startup+12.7017 s]
/proc/loadavg: 6.81 6.36 6.88 9/224 13333
/proc/meminfo: memFree=27319688/32770624 swapFree=0/331648
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
[pid=13302] ppid=13300 vsize=13185584 CPUtime=44.42 cores=0,2,4,6
################
# More data... #
################
/proc/13300/statm: 2378 345 289 221 0 87 0
[pid=13302] ppid=13300 vsize=13185584 CPUtime=2327.13 cores=0,2,4,6
/proc/13302/stat : 13302 (java) S 13300 13300 25100 0 -1 1077944320 268930 0 0 0 232430 283 0 0 20 0 19 0 54117898 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 140722490605824 139818044706551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
/proc/13302/statm: 3296396 686051 3270 1 0 3284688 0
[pid=13302/tid=13303] ppid=13300 vsize=13185584 CPUtime=2.44 cores=0,2,4,6
/proc/13302/task/13303/stat : 13303 (java) S 13300 13300 25100 0 -1 1077944384 11777 0 0 0 237 7 0 0 20 0 19 0 54117899 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139818048947328 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13304] ppid=13300 vsize=13185584 CPUtime=1.35 cores=0,2,4,6
/proc/13302/task/13304/stat : 13304 (java) S 13300 13300 25100 0 -1 1077944384 9882 0 0 0 112 23 0 0 20 0 19 0 54117899 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139817967532432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13305] ppid=13300 vsize=13185584 CPUtime=1.35 cores=0,2,4,6
/proc/13302/task/13305/stat : 13305 (java) S 13300 13300 25100 0 -1 1077944384 9496 0 0 0 111 24 0 0 20 0 19 0 54117899 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139817966479632 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13306] ppid=13300 vsize=13185584 CPUtime=1.3 cores=0,2,4,6
/proc/13302/task/13306/stat : 13306 (java) S 13300 13300 25100 0 -1 1077944384 8852 0 0 0 108 22 0 0 20 0 19 0 54117899 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139817965427344 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13307] ppid=13300 vsize=13185584 CPUtime=1.34 cores=0,2,4,6
/proc/13302/task/13307/stat : 13307 (java) S 13300 13300 25100 0 -1 1077944384 10990 0 0 0 110 24 0 0 20 0 19 0 54117899 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139817964374544 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13308] ppid=13300 vsize=13185584 CPUtime=1.52 cores=0,2,4,6
/proc/13302/task/13308/stat : 13308 (java) S 13300 13300 25100 0 -1 1077944384 12454 0 0 0 51 101 0 0 20 0 19 0 54117901 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816999623280 139818044717698 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13309] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13309/stat : 13309 (java) S 13300 13300 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816998569312 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13310] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13310/stat : 13310 (java) S 13300 13300 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816997516928 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13311] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13311/stat : 13311 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816996465232 139818044725147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13312] ppid=13300 vsize=13185584 CPUtime=4.65 cores=0,2,4,6
/proc/13302/task/13312/stat : 13312 (java) S 13300 13300 25100 0 -1 1077944384 34240 0 0 0 461 4 0 0 20 0 19 0 54117904 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816995412080 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13313] ppid=13300 vsize=13185584 CPUtime=4.51 cores=0,2,4,6
/proc/13302/task/13313/stat : 13313 (java) S 13300 13300 25100 0 -1 1077944384 31097 0 0 0 449 2 0 0 20 0 19 0 54117904 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816994359280 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13314] ppid=13300 vsize=13185584 CPUtime=0.96 cores=0,2,4,6
/proc/13302/task/13314/stat : 13314 (java) S 13300 13300 25100 0 -1 1077944384 23688 0 0 0 94 2 0 0 20 0 19 0 54117904 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816993306992 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13315] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13315/stat : 13315 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816992254432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13316] ppid=13300 vsize=13185584 CPUtime=0.44 cores=0,2,4,6
/proc/13302/task/13316/stat : 13316 (java) S 13300 13300 25100 0 -1 1077944384 4642 0 0 0 24 20 0 0 20 0 19 0 54117910 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816991202224 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13589] ppid=13300 vsize=13185584 CPUtime=134.16 cores=0,2,4,6
/proc/13302/task/13589/stat : 13589 (java) R 13300 13300 25100 0 -1 4202560 6013 0 0 0 13416 0 0 0 20 0 19 0 54174622 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816982132928 139817647007725 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13590] ppid=13300 vsize=13185584 CPUtime=133.74 cores=0,2,4,6
/proc/13302/task/13590/stat : 13590 (java) R 13300 13300 25100 0 -1 4202560 9074 0 0 0 13373 1 0 0 20 0 19 0 54174622 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816981082184 139817654319049 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13591] ppid=13300 vsize=13185584 CPUtime=134.38 cores=0,2,4,6
/proc/13302/task/13591/stat : 13591 (java) R 13300 13300 25100 0 -1 4202560 7127 0 0 0 13438 0 0 0 20 0 19 0 54174622 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816980029032 139817647007762 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13592] ppid=13300 vsize=13185584 CPUtime=133.71 cores=0,2,4,6
/proc/13302/task/13592/stat : 13592 (java) R 13300 13300 25100 0 -1 4202560 3388 0 0 0 13371 0 0 0 20 0 19 0 54174622 13502038016 686051 18446744073709551615 4194304 4196468 140722490623280 139816983190672 139817652151723 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
Current children cumulated CPU time (s) 2327.13
Current children cumulated vsize (KiB) 13195096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+720.702 s]
/proc/loadavg: 7.56 7.50 7.14 9/227 13616
/proc/meminfo: memFree=25830772/32770624 swapFree=0/332052
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
[pid=13302] ppid=13300 vsize=13185584 CPUtime=2400.26 cores=0,2,4,6
/proc/13302/stat : 13302 (java) S 13300 13300 25100 0 -1 1077944320 272254 0 0 0 239732 294 0 0 20 0 19 0 54117898 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 140722490605824 139818044706551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
/proc/13302/statm: 3296396 674442 3270 1 0 3284688 0
[pid=13302/tid=13303] ppid=13300 vsize=13185584 CPUtime=2.44 cores=0,2,4,6
/proc/13302/task/13303/stat : 13303 (java) S 13300 13300 25100 0 -1 1077944384 11777 0 0 0 237 7 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139818048947328 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13304] ppid=13300 vsize=13185584 CPUtime=1.39 cores=0,2,4,6
/proc/13302/task/13304/stat : 13304 (java) S 13300 13300 25100 0 -1 1077944384 9992 0 0 0 116 23 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139817967532432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13305] ppid=13300 vsize=13185584 CPUtime=1.39 cores=0,2,4,6
/proc/13302/task/13305/stat : 13305 (java) S 13300 13300 25100 0 -1 1077944384 9675 0 0 0 115 24 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139817966479632 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13306] ppid=13300 vsize=13185584 CPUtime=1.34 cores=0,2,4,6
/proc/13302/task/13306/stat : 13306 (java) S 13300 13300 25100 0 -1 1077944384 8900 0 0 0 112 22 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139817965427344 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13307] ppid=13300 vsize=13185584 CPUtime=1.37 cores=0,2,4,6
/proc/13302/task/13307/stat : 13307 (java) S 13300 13300 25100 0 -1 1077944384 11099 0 0 0 113 24 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139817964374544 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13308] ppid=13300 vsize=13185584 CPUtime=1.65 cores=0,2,4,6
/proc/13302/task/13308/stat : 13308 (java) S 13300 13300 25100 0 -1 1077944384 12463 0 0 0 55 110 0 0 20 0 19 0 54117901 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816999623280 139818044717698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13309] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13309/stat : 13309 (java) S 13300 13300 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816998569312 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13310] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13310/stat : 13310 (java) S 13300 13300 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816997516928 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13311] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13311/stat : 13311 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816996465232 139818044725147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13312] ppid=13300 vsize=13185584 CPUtime=4.65 cores=0,2,4,6
/proc/13302/task/13312/stat : 13312 (java) S 13300 13300 25100 0 -1 1077944384 34240 0 0 0 461 4 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816995412080 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13313] ppid=13300 vsize=13185584 CPUtime=4.51 cores=0,2,4,6
/proc/13302/task/13313/stat : 13313 (java) S 13300 13300 25100 0 -1 1077944384 31097 0 0 0 449 2 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816994359280 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13314] ppid=13300 vsize=13185584 CPUtime=0.96 cores=0,2,4,6
/proc/13302/task/13314/stat : 13314 (java) S 13300 13300 25100 0 -1 1077944384 23688 0 0 0 94 2 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816993306992 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13315] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13315/stat : 13315 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816992254432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13316] ppid=13300 vsize=13185584 CPUtime=0.45 cores=0,2,4,6
/proc/13302/task/13316/stat : 13316 (java) S 13300 13300 25100 0 -1 1077944384 4642 0 0 0 25 20 0 0 20 0 19 0 54117910 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816991202224 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13589] ppid=13300 vsize=13185584 CPUtime=152.46 cores=0,2,4,6
/proc/13302/task/13589/stat : 13589 (java) R 13300 13300 25100 0 -1 4202560 6910 0 0 0 15246 0 0 0 20 0 19 0 54174622 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816982132928 139817647007743 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13590] ppid=13300 vsize=13185584 CPUtime=151.95 cores=0,2,4,6
/proc/13302/task/13590/stat : 13590 (java) R 13300 13300 25100 0 -1 4202560 9898 0 0 0 15194 1 0 0 20 0 19 0 54174622 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816981084624 139817653767462 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13591] ppid=13300 vsize=13185584 CPUtime=152.62 cores=0,2,4,6
/proc/13302/task/13591/stat : 13591 (java) R 13300 13300 25100 0 -1 4202560 8215 0 0 0 15262 0 0 0 20 0 19 0 54174622 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816980028896 139817647007769 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13592] ppid=13300 vsize=13185584 CPUtime=151.77 cores=0,2,4,6
/proc/13302/task/13592/stat : 13592 (java) R 13300 13300 25100 0 -1 4202560 3448 0 0 0 15177 0 0 0 20 0 19 0 54174622 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816983187864 139817652151796 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
Current children cumulated CPU time (s) 2400.26
Current children cumulated vsize (KiB) 13195096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13302 sig 9
??? kill 13300 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+720.702 s]
/proc/loadavg: 7.56 7.50 7.14 9/227 13616
/proc/meminfo: memFree=25830772/32770624 swapFree=0/332052
[pid=13300] ppid=13297 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/13300/stat : 13300 (xcsp3-exec) S 13297 13300 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 54117890 9740288 345 18446744073709551615 4194304 5098028 140730149564928 140730149563032 140505484821116 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 20881408 140730149568921 140730149569130 140730149569130 140730149572587 0
/proc/13300/statm: 2378 345 289 221 0 87 0
[pid=13302] ppid=13300 vsize=13185584 CPUtime=2400.26 cores=0,2,4,6
/proc/13302/stat : 13302 (java) S 13300 13300 25100 0 -1 1077944320 272254 0 0 0 239732 294 0 0 20 0 19 0 54117898 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 140722490605824 139818044706551 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
/proc/13302/statm: 3296396 674442 3270 1 0 3284688 0
[pid=13302/tid=13303] ppid=13300 vsize=13185584 CPUtime=2.44 cores=0,2,4,6
/proc/13302/task/13303/stat : 13303 (java) S 13300 13300 25100 0 -1 1077944384 11777 0 0 0 237 7 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139818048947328 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13304] ppid=13300 vsize=13185584 CPUtime=1.39 cores=0,2,4,6
/proc/13302/task/13304/stat : 13304 (java) S 13300 13300 25100 0 -1 1077944384 9992 0 0 0 116 23 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139817967532432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13305] ppid=13300 vsize=13185584 CPUtime=1.39 cores=0,2,4,6
/proc/13302/task/13305/stat : 13305 (java) S 13300 13300 25100 0 -1 1077944384 9675 0 0 0 115 24 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139817966479632 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13306] ppid=13300 vsize=13185584 CPUtime=1.34 cores=0,2,4,6
/proc/13302/task/13306/stat : 13306 (java) S 13300 13300 25100 0 -1 1077944384 8900 0 0 0 112 22 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139817965427344 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13307] ppid=13300 vsize=13185584 CPUtime=1.37 cores=0,2,4,6
/proc/13302/task/13307/stat : 13307 (java) S 13300 13300 25100 0 -1 1077944384 11099 0 0 0 113 24 0 0 20 0 19 0 54117899 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139817964374544 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13308] ppid=13300 vsize=13185584 CPUtime=1.65 cores=0,2,4,6
/proc/13302/task/13308/stat : 13308 (java) S 13300 13300 25100 0 -1 1077944384 12463 0 0 0 55 110 0 0 20 0 19 0 54117901 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816999623280 139818044717698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13309] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13309/stat : 13309 (java) S 13300 13300 25100 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816998569312 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13310] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13310/stat : 13310 (java) S 13300 13300 25100 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 54117901 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816997516928 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13311] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13311/stat : 13311 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816996465232 139818044725147 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13312] ppid=13300 vsize=13185584 CPUtime=4.65 cores=0,2,4,6
/proc/13302/task/13312/stat : 13312 (java) S 13300 13300 25100 0 -1 1077944384 34240 0 0 0 461 4 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816995412080 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13313] ppid=13300 vsize=13185584 CPUtime=4.51 cores=0,2,4,6
/proc/13302/task/13313/stat : 13313 (java) S 13300 13300 25100 0 -1 1077944384 31097 0 0 0 449 2 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816994359280 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13314] ppid=13300 vsize=13185584 CPUtime=0.96 cores=0,2,4,6
/proc/13302/task/13314/stat : 13314 (java) S 13300 13300 25100 0 -1 1077944384 23688 0 0 0 94 2 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816993306992 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13315] ppid=13300 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/13302/task/13315/stat : 13315 (java) S 13300 13300 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 54117904 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816992254432 139818044716757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13316] ppid=13300 vsize=13185584 CPUtime=0.45 cores=0,2,4,6
/proc/13302/task/13316/stat : 13316 (java) S 13300 13300 25100 0 -1 1077944384 4642 0 0 0 25 20 0 0 20 0 19 0 54117910 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816991202224 139818044717698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13589] ppid=13300 vsize=13185584 CPUtime=152.46 cores=0,2,4,6
/proc/13302/task/13589/stat : 13589 (java) R 13300 13300 25100 0 -1 4202560 6910 0 0 0 15246 0 0 0 20 0 19 0 54174622 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816982132928 139817647007743 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13590] ppid=13300 vsize=13185584 CPUtime=151.95 cores=0,2,4,6
/proc/13302/task/13590/stat : 13590 (java) R 13300 13300 25100 0 -1 4202560 9898 0 0 0 15194 1 0 0 20 0 19 0 54174622 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816981084624 139817653767462 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13591] ppid=13300 vsize=13185584 CPUtime=152.62 cores=0,2,4,6
/proc/13302/task/13591/stat : 13591 (java) R 13300 13300 25100 0 -1 4202560 8215 0 0 0 15262 0 0 0 20 0 19 0 54174622 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816980028896 139817647007769 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
[pid=13302/tid=13592] ppid=13300 vsize=13185584 CPUtime=151.77 cores=0,2,4,6
/proc/13302/task/13592/stat : 13592 (java) R 13300 13300 25100 0 -1 4202560 3448 0 0 0 15177 0 0 0 20 0 19 0 54174622 13502038016 674442 18446744073709551615 4194304 4196468 140722490623280 139816983187864 139817652151796 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32174080 140722490626518 140722490626694 140722490626694 140722490630095 0
Current children cumulated CPU time (s) 2400.26
Current children cumulated vsize (KiB) 13195096
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13300 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1899
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=121
# CPU time returned by wait4() is 0.00202
# while last known CPU time is 2400.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 720.733
CPU time (s): 2400.26
CPU user time (s): 2397.32
CPU system time (s): 2.94
CPU usage (%): 333.031
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001899
system time used= 0.000121
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.80495 second user time and 5.36344 second system time
The end