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-4248705-1500693026/watcher-4248705-1500693026 -o /tmp/evaluation-result-4248705-1500693026/solver-4248705-1500693026 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 242533087 HOME/instance-4248705-1500693026.xml
pid=12953
running on 8 cores: 0,2,4,6,8,10,12,14
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: 11.08 13.90 14.20 2/271 12956
/proc/meminfo: memFree=28956256/32770624 swapFree=5656/331084
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
[startup+0.100123 s]
/proc/loadavg: 11.08 13.90 14.20 2/271 12956
/proc/meminfo: memFree=28956256/32770624 swapFree=5656/331084
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200292 s]
/proc/loadavg: 11.08 13.90 14.20 2/271 12956
/proc/meminfo: memFree=28956256/32770624 swapFree=5656/331084
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300228 s]
/proc/loadavg: 11.08 13.90 14.20 2/271 12956
/proc/meminfo: memFree=28956256/32770624 swapFree=5656/331084
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700183 s]
/proc/loadavg: 11.08 13.90 14.20 2/271 12956
/proc/meminfo: memFree=28956256/32770624 swapFree=5656/331084
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50094 s]
/proc/loadavg: 11.08 13.90 14.20 6/292 12977
/proc/meminfo: memFree=28801596/32770624 swapFree=5656/331132
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
[pid=12957] ppid=12956 vsize=13801768 CPUtime=6.23 cores=0,2,4,6,8,10,12,14
/proc/12957/stat : 12957 (java) S 12956 12956 7102 0 -1 1077944320 24057 0 0 0 600 23 0 0 20 0 28 0 4570081 14133010432 54335 33554432000 4194304 4196468 140731696920048 140731696902592 139741824364279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
/proc/12957/statm: 3450442 54335 3244 1 0 3437675 0
[pid=12957/tid=12958] ppid=12956 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12958/stat : 12958 (java) S 12956 12956 7102 0 -1 1077944384 9079 0 0 0 109 4 0 0 20 0 28 0 4570081 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741828605056 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12960] ppid=12956 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12960/stat : 12960 (java) S 12956 12956 7102 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 4570082 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741796207120 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12961] ppid=12956 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12961/stat : 12961 (java) S 12956 12956 7102 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 28 0 4570082 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741422004880 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12962] ppid=12956 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12962/stat : 12962 (java) S 12956 12956 7102 0 -1 1077944384 225 0 0 0 1 1 0 0 20 0 28 0 4570082 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741420951824 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12963] ppid=12956 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12963/stat : 12963 (java) S 12956 12956 7102 0 -1 1077944384 126 0 0 0 1 1 0 0 20 0 28 0 4570082 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741419899280 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12964] ppid=12956 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12964/stat : 12964 (java) S 12956 12956 7102 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 4570082 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741418847248 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12965] ppid=12956 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12965/stat : 12965 (java) S 12956 12956 7102 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 4570082 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741417794704 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12966] ppid=12956 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12966/stat : 12966 (java) S 12956 12956 7102 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 28 0 4570082 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741416741648 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12967] ppid=12956 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12967/stat : 12967 (java) S 12956 12956 7102 0 -1 1077944384 28 0 0 0 0 1 0 0 20 0 28 0 4570082 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741415689104 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12968] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12968/stat : 12968 (java) S 12956 12956 7102 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 28 0 4570084 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741018314992 139741824375426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12969] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12969/stat : 12969 (java) S 12956 12956 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4570085 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741017261216 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12970] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12970/stat : 12970 (java) S 12956 12956 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4570085 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741016208112 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12971] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12971/stat : 12971 (java) S 12956 12956 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4570088 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741015156688 139741824382875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12972] ppid=12956 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12972/stat : 12972 (java) R 12956 12956 7102 0 -1 4202560 3298 0 0 0 88 0 0 0 20 0 28 0 4570088 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741014098048 139741805908907 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12973] ppid=12956 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12973/stat : 12973 (java) R 12956 12956 7102 0 -1 4202560 3156 0 0 0 84 0 0 0 20 0 28 0 4570088 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741013039008 139741807861063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12974] ppid=12956 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12974/stat : 12974 (java) R 12956 12956 7102 0 -1 4202560 2889 0 0 0 88 0 0 0 20 0 28 0 4570088 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741011990560 139741805909793 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12975] ppid=12956 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12975/stat : 12975 (java) R 12956 12956 7102 0 -1 4202560 3114 0 0 0 60 1 0 0 20 0 28 0 4570088 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741010944208 139741803324179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12976] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12976/stat : 12976 (java) S 12956 12956 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4570089 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741009893856 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12977] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12977/stat : 12977 (java) S 12956 12956 7102 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4570089 14133010432 54335 33554432000 4194304 4196468 140731696920048 139741008841392 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13811280
[startup+3.10158 s]
/proc/loadavg: 11.08 13.90 14.20 13/300 12985
/proc/meminfo: memFree=28742836/32770624 swapFree=5656/331120
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
[pid=12957] ppid=12956 vsize=13801768 CPUtime=18.89 cores=0,2,4,6,8,10,12,14
/proc/12957/stat : 12957 (java) S 12956 12956 7102 0 -1 1077944320 29031 0 0 0 1850 39 0 0 20 0 28 0 4570081 14133010432 68617 33554432000 4194304 4196468 140731696920048 140731696902592 139741824364279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
/proc/12957/statm: 3450442 68617 3269 1 0 3437675 0
[pid=12957/tid=12958] ppid=12956 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12958/stat : 12958 (java) S 12956 12956 7102 0 -1 1077944384 9079 0 0 0 109 4 0 0 20 0 28 0 4570081 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741828605056 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12960] ppid=12956 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12960/stat : 12960 (java) S 12956 12956 7102 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 28 0 4570082 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741796207120 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12961] ppid=12956 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12961/stat : 12961 (java) S 12956 12956 7102 0 -1 1077944384 52 0 0 0 4 2 0 0 20 0 28 0 4570082 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741422004880 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12962] ppid=12956 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12962/stat : 12962 (java) S 12956 12956 7102 0 -1 1077944384 248 0 0 0 3 3 0 0 20 0 28 0 4570082 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741420951824 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12963] ppid=12956 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12963/stat : 12963 (java) S 12956 12956 7102 0 -1 1077944384 138 0 0 0 4 3 0 0 20 0 28 0 4570082 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741419899280 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12964] ppid=12956 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12964/stat : 12964 (java) S 12956 12956 7102 0 -1 1077944384 52 0 0 0 3 2 0 0 20 0 28 0 4570082 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741418847248 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12965] ppid=12956 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12965/stat : 12965 (java) S 12956 12956 7102 0 -1 1077944384 63 0 0 0 4 4 0 0 20 0 28 0 4570082 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741417794704 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12966] ppid=12956 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12966/stat : 12966 (java) S 12956 12956 7102 0 -1 1077944384 77 0 0 0 4 3 0 0 20 0 28 0 4570082 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741416741648 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12967] ppid=12956 vsize=13801768 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12967/stat : 12967 (java) S 12956 12956 7102 0 -1 1077944384 51 0 0 0 3 3 0 0 20 0 28 0 4570082 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741415689104 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12968] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12968/stat : 12968 (java) S 12956 12956 7102 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 28 0 4570084 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741018314992 139741824375426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12969] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12969/stat : 12969 (java) S 12956 12956 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4570085 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741017261280 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12970] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12970/stat : 12970 (java) S 12956 12956 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4570085 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741016208128 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12971] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12971/stat : 12971 (java) S 12956 12956 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4570088 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741015156688 139741824382875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12972] ppid=12956 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12972/stat : 12972 (java) R 12956 12956 7102 0 -1 4202560 4428 0 0 0 208 0 0 0 20 0 28 0 4570088 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741014090840 139741803620854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12973] ppid=12956 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12973/stat : 12973 (java) R 12956 12956 7102 0 -1 4202560 4863 0 0 0 195 1 0 0 20 0 28 0 4570088 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741013038176 139741802382734 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12974] ppid=12956 vsize=13801768 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12974/stat : 12974 (java) R 12956 12956 7102 0 -1 4202560 4258 0 0 0 217 0 0 0 20 0 28 0 4570088 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741011985240 139741802213632 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12975] ppid=12956 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12975/stat : 12975 (java) S 12956 12956 7102 0 -1 1077944384 3581 0 0 0 72 1 0 0 20 0 28 0 4570088 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741010946672 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12976] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12976/stat : 12976 (java) S 12956 12956 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4570089 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741009893856 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12977] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12977/stat : 12977 (java) S 12956 12956 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4570089 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741008841392 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12978] ppid=12956 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12978/stat : 12978 (java) R 12956 12956 7102 0 -1 4202560 179 0 0 0 129 0 0 0 20 0 28 0 4570196 14133010432 68617 33554432000 4194304 4196468 140731696920048 139741000825672 139741466204829 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12979] ppid=12956 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12979/stat : 12979 (java) R 12956 12956 7102 0 -1 4202560 58 0 0 0 129 0 0 0 20 0 28 0 4570197 14133010432 68617 33554432000 4194304 4196468 140731696920048 139740999776816 139741466274660 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12980] ppid=12956 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12980/stat : 12980 (java) R 12956 12956 7102 0 -1 4202560 75 0 0 0 129 0 0 0 20 0 28 0 4570197 14133010432 68617 33554432000 4194304 4196468 140731696920048 139740998724512 139741466204032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12981] ppid=12956 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12981/stat : 12981 (java) R 12956 12956 7102 0 -1 4202560 91 0 0 0 133 0 0 0 20 0 28 0 4570197 14133010432 68617 33554432000 4194304 4196468 140731696920048 139740997668512 139741460114757 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12982] ppid=12956 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12982/stat : 12982 (java) R 12956 12956 7102 0 -1 4202560 41 0 0 0 136 0 0 0 20 0 28 0 4570201 14133010432 68617 33554432000 4194304 4196468 140731696920048 139740996618368 139741466733319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12983] ppid=12956 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12983/stat : 12983 (java) R 12956 12956 7102 0 -1 4202560 32 0 0 0 105 0 0 0 20 0 28 0 4570201 14133010432 68617 33554432000 4194304 4196468 140731696920048 139740995565976 139741466205451 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12984] ppid=12956 vsize=13801768 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12984/stat : 12984 (java) R 12956 12956 7102 0 -1 4202560 43 0 0 0 122 0 0 0 20 0 28 0 4570201 14133010432 68617 33554432000 4194304 4196468 140731696920048 139740994510792 139741466204227 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12985] ppid=12956 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12985/stat : 12985 (java) R 12956 12956 7102 0 -1 4202560 50 0 0 0 128 0 0 0 20 0 28 0 4570201 14133010432 68617 33554432000 4194304 4196468 140731696920048 139740993459944 139741466274624 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
Current children cumulated CPU time (s) 18.89
Current children cumulated vsize (KiB) 13811280
[startup+6.30159 s]
/proc/loadavg: 11.16 13.87 14.19 11/300 12985
/proc/meminfo: memFree=28530996/32770624 swapFree=5656/331128
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
[pid=12957] ppid=12956 vsize=13801768 CPUtime=43.74 cores=0,2,4,6,8,10,12,14
/proc/12957/stat : 12957 (java) S 12956 12956 7102 0 -1 1077944320 44150 0 0 0 4304 70 0 0 20 0 28 0 4570081 14133010432 117554 33554432000 4194304 4196468 140731696920048 140731696902592 139741824364279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
/proc/12957/statm: 3450442 117554 3280 1 0 3437675 0
[pid=12957/tid=12958] ppid=12956 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12958/stat : 12958 (java) S 12956 12956 7102 0 -1 1077944384 9079 0 0 0 109 4 0 0 20 0 28 0 4570081 14133010432 117554 33554432000 4194304 4196468 140731696920048 139741828605056 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12960] ppid=12956 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12960/stat : 12960 (java) S 12956 12956 7102 0 -1 1077944384 107 0 0 0 5 7 0 0 20 0 28 0 4570082 14133010432 117554 33554432000 4194304 4196468 140731696920048 139741796207120 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12961] ppid=12956 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12961/stat : 12961 (java) S 12956 12956 7102 0 -1 1077944384 113 0 0 0 7 5 0 0 20 0 28 0 4570082 14133010432 117554 33554432000 4194304 4196468 140731696920048 139741422004880 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12962] ppid=12956 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12962/stat : 12962 (java) S 12956 12956 7102 0 -1 1077944384 304 0 0 0 7 7 0 0 20 0 28 0 4570082 14133010432 117554 33554432000 4194304 4196468 140731696920048 139741420951824 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12963] ppid=12956 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12963/stat : 12963 (java) S 12956 12956 7102 0 -1 1077944384 370 0 0 0 8 6 0 0 20 0 28 0 4570082 14133010432 117554 33554432000 4194304 4196468 140731696920048 139741419899280 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
################
# More data... #
################
[pid=12957/tid=12984] ppid=12956 vsize=13801768 CPUtime=276.94 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12984/stat : 12984 (java) R 12956 12956 7102 0 -1 4202560 3979 0 0 0 27685 9 0 0 20 0 28 0 4570201 14133010432 726812 33554432000 4194304 4196468 140731696920048 139740994510648 139741468629687 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12985] ppid=12956 vsize=13801768 CPUtime=276.44 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12985/stat : 12985 (java) R 12956 12956 7102 0 -1 4202560 1709 0 0 0 27637 7 0 0 20 0 28 0 4570201 14133010432 726812 33554432000 4194304 4196468 140731696920048 139740993458104 139741466734150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
Current children cumulated CPU time (s) 2237.63
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.902 s]
/proc/loadavg: 15.05 13.98 14.04 20/299 13141
/proc/meminfo: memFree=28670780/32770624 swapFree=5656/331496
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
[pid=12957] ppid=12956 vsize=13801768 CPUtime=2400.67 cores=0,2,4,6,8,10,12,14
/proc/12957/stat : 12957 (java) S 12956 12956 7102 0 -1 1077944320 101505 0 0 0 239833 234 0 0 20 0 28 0 4570081 14133010432 724296 33554432000 4194304 4196468 140731696920048 140731696902592 139741824364279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
/proc/12957/statm: 3450442 724296 3284 1 0 3437675 0
[pid=12957/tid=12958] ppid=12956 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12958/stat : 12958 (java) S 12956 12956 7102 0 -1 1077944384 9079 0 0 0 109 4 0 0 20 0 28 0 4570081 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741828605056 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12960] ppid=12956 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12960/stat : 12960 (java) S 12956 12956 7102 0 -1 1077944384 637 0 0 0 89 16 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741796207120 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12961] ppid=12956 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12961/stat : 12961 (java) S 12956 12956 7102 0 -1 1077944384 858 0 0 0 87 14 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741422004880 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12962] ppid=12956 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12962/stat : 12962 (java) S 12956 12956 7102 0 -1 1077944384 1107 0 0 0 81 17 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741420951824 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12963] ppid=12956 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12963/stat : 12963 (java) S 12956 12956 7102 0 -1 1077944384 1162 0 0 0 88 13 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741419899280 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12964] ppid=12956 vsize=13801768 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12964/stat : 12964 (java) S 12956 12956 7102 0 -1 1077944384 2419 0 0 0 89 13 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741418847248 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12965] ppid=12956 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12965/stat : 12965 (java) S 12956 12956 7102 0 -1 1077944384 1098 0 0 0 88 16 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741417794704 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12966] ppid=12956 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12966/stat : 12966 (java) S 12956 12956 7102 0 -1 1077944384 2346 0 0 0 83 13 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741416741648 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12967] ppid=12956 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12967/stat : 12967 (java) S 12956 12956 7102 0 -1 1077944384 563 0 0 0 85 12 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741415689104 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12968] ppid=12956 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12968/stat : 12968 (java) S 12956 12956 7102 0 -1 1077944384 4501 0 0 0 24 29 0 0 20 0 28 0 4570084 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741018314992 139741824375426 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12969] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12969/stat : 12969 (java) S 12956 12956 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4570085 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741017261280 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12970] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12970/stat : 12970 (java) S 12956 12956 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4570085 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741016208128 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12971] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12971/stat : 12971 (java) S 12956 12956 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741015156688 139741824382875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12972] ppid=12956 vsize=13801768 CPUtime=4.82 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12972/stat : 12972 (java) S 12956 12956 7102 0 -1 1077944384 12990 0 0 0 481 1 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741014104816 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12973] ppid=12956 vsize=13801768 CPUtime=4.9 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12973/stat : 12973 (java) S 12956 12956 7102 0 -1 1077944384 13830 0 0 0 488 2 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741013052272 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12974] ppid=12956 vsize=13801768 CPUtime=5.1 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12974/stat : 12974 (java) S 12956 12956 7102 0 -1 1077944384 15323 0 0 0 508 2 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741011999216 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12975] ppid=12956 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12975/stat : 12975 (java) S 12956 12956 7102 0 -1 1077944384 10384 0 0 0 105 2 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741010946672 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12976] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12976/stat : 12976 (java) S 12956 12956 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4570089 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741009893856 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12977] ppid=12956 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12977/stat : 12977 (java) S 12956 12956 7102 0 -1 1077944384 1028 0 0 0 8 6 0 0 20 0 28 0 4570089 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741008841392 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12978] ppid=12956 vsize=13801768 CPUtime=295.07 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12978/stat : 12978 (java) R 12956 12956 7102 0 -1 4202560 2691 0 0 0 29499 8 0 0 20 0 28 0 4570196 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741000825368 139741467665967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12979] ppid=12956 vsize=13801768 CPUtime=296.71 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12979/stat : 12979 (java) R 12956 12956 7102 0 -1 4202560 3637 0 0 0 29661 10 0 0 20 0 28 0 4570197 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740999773832 139741469281842 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12980] ppid=12956 vsize=13801768 CPUtime=296.35 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12980/stat : 12980 (java) R 12956 12956 7102 0 -1 4202560 3685 0 0 0 29626 9 0 0 20 0 28 0 4570197 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740998721864 139741470721321 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12981] ppid=12956 vsize=13801768 CPUtime=297.92 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12981/stat : 12981 (java) R 12956 12956 7102 0 -1 4202560 2541 0 0 0 29787 5 0 0 20 0 28 0 4570197 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740997671440 139741469674849 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12982] ppid=12956 vsize=13801768 CPUtime=297.14 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12982/stat : 12982 (java) R 12956 12956 7102 0 -1 4202560 2234 0 0 0 29707 7 0 0 20 0 28 0 4570201 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740996616200 139741467287340 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12983] ppid=12956 vsize=13801768 CPUtime=297.54 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12983/stat : 12983 (java) R 12956 12956 7102 0 -1 4202560 2050 0 0 0 29748 6 0 0 20 0 28 0 4570201 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740995563656 139741467665864 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12984] ppid=12956 vsize=13801768 CPUtime=297.27 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12984/stat : 12984 (java) R 12956 12956 7102 0 -1 4202560 4196 0 0 0 29717 10 0 0 20 0 28 0 4570201 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740994510664 139741468629843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12985] ppid=12956 vsize=13801768 CPUtime=296.72 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12985/stat : 12985 (java) R 12956 12956 7102 0 -1 4202560 1808 0 0 0 29665 7 0 0 20 0 28 0 4570201 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740993457856 139741466734320 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
Current children cumulated CPU time (s) 2400.67
Current children cumulated vsize (KiB) 13811280
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 12957 sig 9
??? kill 12956 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.902 s]
/proc/loadavg: 15.05 13.98 14.04 20/299 13141
/proc/meminfo: memFree=28670780/32770624 swapFree=5656/331496
[pid=12956] ppid=12953 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12956/stat : 12956 (xcsp3-exec) S 12953 12956 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4570081 9740288 346 33554432000 4194304 5098028 140733493701184 140733493699288 140663079940732 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40210432 140733493707919 140733493708128 140733493708128 140733493710827 0
/proc/12956/statm: 2378 346 289 221 0 87 0
[pid=12957] ppid=12956 vsize=13801768 CPUtime=2400.67 cores=0,2,4,6,8,10,12,14
/proc/12957/stat : 12957 (java) S 12956 12956 7102 0 -1 1077944320 101505 0 0 0 239833 234 0 0 20 0 28 0 4570081 14133010432 724296 33554432000 4194304 4196468 140731696920048 140731696902592 139741824364279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
/proc/12957/statm: 3450442 724296 3284 1 0 3437675 0
[pid=12957/tid=12958] ppid=12956 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12958/stat : 12958 (java) S 12956 12956 7102 0 -1 1077944384 9079 0 0 0 109 4 0 0 20 0 28 0 4570081 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741828605056 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12960] ppid=12956 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12960/stat : 12960 (java) S 12956 12956 7102 0 -1 1077944384 637 0 0 0 89 16 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741796207120 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12961] ppid=12956 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12961/stat : 12961 (java) S 12956 12956 7102 0 -1 1077944384 858 0 0 0 87 14 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741422004880 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12962] ppid=12956 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12962/stat : 12962 (java) S 12956 12956 7102 0 -1 1077944384 1107 0 0 0 81 17 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741420951824 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12963] ppid=12956 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12963/stat : 12963 (java) S 12956 12956 7102 0 -1 1077944384 1162 0 0 0 88 13 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741419899280 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12964] ppid=12956 vsize=13801768 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12964/stat : 12964 (java) S 12956 12956 7102 0 -1 1077944384 2419 0 0 0 89 13 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741418847248 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12965] ppid=12956 vsize=13801768 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12965/stat : 12965 (java) S 12956 12956 7102 0 -1 1077944384 1098 0 0 0 88 16 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741417794704 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12966] ppid=12956 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12966/stat : 12966 (java) S 12956 12956 7102 0 -1 1077944384 2346 0 0 0 83 13 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741416741648 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12967] ppid=12956 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12967/stat : 12967 (java) S 12956 12956 7102 0 -1 1077944384 563 0 0 0 85 12 0 0 20 0 28 0 4570082 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741415689104 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12968] ppid=12956 vsize=13801768 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12968/stat : 12968 (java) S 12956 12956 7102 0 -1 1077944384 4501 0 0 0 24 29 0 0 20 0 28 0 4570084 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741018314992 139741824375426 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12969] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12969/stat : 12969 (java) S 12956 12956 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4570085 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741017261280 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12970] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12970/stat : 12970 (java) S 12956 12956 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4570085 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741016208128 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12971] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12971/stat : 12971 (java) S 12956 12956 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741015156688 139741824382875 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12972] ppid=12956 vsize=13801768 CPUtime=4.82 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12972/stat : 12972 (java) S 12956 12956 7102 0 -1 1077944384 12990 0 0 0 481 1 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741014104816 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12973] ppid=12956 vsize=13801768 CPUtime=4.9 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12973/stat : 12973 (java) S 12956 12956 7102 0 -1 1077944384 13830 0 0 0 488 2 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741013052272 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12974] ppid=12956 vsize=13801768 CPUtime=5.1 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12974/stat : 12974 (java) S 12956 12956 7102 0 -1 1077944384 15323 0 0 0 508 2 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741011999216 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12975] ppid=12956 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12975/stat : 12975 (java) S 12956 12956 7102 0 -1 1077944384 10384 0 0 0 105 2 0 0 20 0 28 0 4570088 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741010946672 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12976] ppid=12956 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12976/stat : 12976 (java) S 12956 12956 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4570089 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741009893856 139741824374485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12977] ppid=12956 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12977/stat : 12977 (java) S 12956 12956 7102 0 -1 1077944384 1028 0 0 0 8 6 0 0 20 0 28 0 4570089 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741008841392 139741824375426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12978] ppid=12956 vsize=13801768 CPUtime=295.07 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12978/stat : 12978 (java) R 12956 12956 7102 0 -1 4202560 2691 0 0 0 29499 8 0 0 20 0 28 0 4570196 14133010432 724296 33554432000 4194304 4196468 140731696920048 139741000825368 139741467665967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12979] ppid=12956 vsize=13801768 CPUtime=296.71 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12979/stat : 12979 (java) R 12956 12956 7102 0 -1 4202560 3637 0 0 0 29661 10 0 0 20 0 28 0 4570197 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740999773832 139741469281842 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12980] ppid=12956 vsize=13801768 CPUtime=296.35 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12980/stat : 12980 (java) R 12956 12956 7102 0 -1 4202560 3685 0 0 0 29626 9 0 0 20 0 28 0 4570197 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740998721864 139741470721321 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12981] ppid=12956 vsize=13801768 CPUtime=297.92 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12981/stat : 12981 (java) R 12956 12956 7102 0 -1 4202560 2541 0 0 0 29787 5 0 0 20 0 28 0 4570197 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740997671440 139741469674849 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12982] ppid=12956 vsize=13801768 CPUtime=297.14 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12982/stat : 12982 (java) R 12956 12956 7102 0 -1 4202560 2234 0 0 0 29707 7 0 0 20 0 28 0 4570201 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740996616200 139741467287340 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12983] ppid=12956 vsize=13801768 CPUtime=297.54 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12983/stat : 12983 (java) R 12956 12956 7102 0 -1 4202560 2050 0 0 0 29748 6 0 0 20 0 28 0 4570201 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740995563656 139741467665864 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12984] ppid=12956 vsize=13801768 CPUtime=297.27 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12984/stat : 12984 (java) R 12956 12956 7102 0 -1 4202560 4196 0 0 0 29717 10 0 0 20 0 28 0 4570201 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740994510664 139741468629843 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
[pid=12957/tid=12985] ppid=12956 vsize=13801768 CPUtime=296.72 cores=0,2,4,6,8,10,12,14
/proc/12957/task/12985/stat : 12985 (java) R 12956 12956 7102 0 -1 4202560 1808 0 0 0 29665 7 0 0 20 0 28 0 4570201 14133010432 724296 33554432000 4194304 4196468 140731696920048 139740993457856 139741466734320 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17412096 140731696923836 140731696924012 140731696924012 140731696926671 0
Current children cumulated CPU time (s) 2400.67
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12956 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=916
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1833
# CPU time returned by wait4() is 0.002749
# while last known CPU time is 2400.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.912
CPU time (s): 2400.67
CPU user time (s): 2398.33
CPU system time (s): 2.34
CPU usage (%): 792.53
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000916
system time used= 0.001833
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.66471 second user time and 4.34258 second system time
The end