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-4255219-1501985920/watcher-4255219-1501985920 -o /tmp/evaluation-result-4255219-1501985920/solver-4255219-1501985920 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1865628999 HOME/instance-4255219-1501985920.xml
pid=7168
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.75 2.05 2.00 2/199 7171
/proc/meminfo: memFree=31421240/32770624 swapFree=0/288912
[pid=7171] ppid=7168 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (runsolver) D 7168 7171 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46407297 24240128 108 18446744073709551615 4194304 4338465 140721540202016 140721540199656 140128752734935 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 9015296 140721540206690 140721540207180 140721540207180 140721540210634 0
/proc/7171/statm: 5918 108 54 36 0 2156 0
[startup+0.100139 s]
/proc/loadavg: 1.75 2.05 2.00 2/199 7171
/proc/meminfo: memFree=31421240/32770624 swapFree=0/288912
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200321 s]
/proc/loadavg: 1.75 2.05 2.00 2/199 7171
/proc/meminfo: memFree=31421240/32770624 swapFree=0/288912
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.303913 s]
/proc/loadavg: 1.75 2.05 2.00 2/199 7171
/proc/meminfo: memFree=31421240/32770624 swapFree=0/288912
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700272 s]
/proc/loadavg: 1.75 2.05 2.00 2/199 7171
/proc/meminfo: memFree=31421240/32770624 swapFree=0/288912
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50153 s]
/proc/loadavg: 1.75 2.05 2.00 4/215 7187
/proc/meminfo: memFree=31297476/32770624 swapFree=0/288944
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
[pid=7173] ppid=7171 vsize=13980732 CPUtime=3.13 cores=1,3,5,7
/proc/7173/stat : 7173 (java) S 7171 7171 30500 0 -1 1077944320 18930 0 0 0 304 9 0 0 20 0 15 0 46407307 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 140734902985488 139781217996535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
/proc/7173/statm: 3495183 48842 3210 1 0 3483476 0
[pid=7173/tid=7174] ppid=7171 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/7173/task/7174/stat : 7174 (java) R 7171 7171 30500 0 -1 4202560 8695 0 0 0 129 5 0 0 20 0 15 0 46407307 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139781222233048 139780865239554 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7175] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7175/stat : 7175 (java) S 7171 7171 30500 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 46407308 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780817971728 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7176] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7176/stat : 7176 (java) S 7171 7171 30500 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 46407308 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780816919184 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7177] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7177/stat : 7177 (java) S 7171 7171 30500 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 46407308 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780815866128 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7178] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7178/stat : 7178 (java) S 7171 7171 30500 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 46407308 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780814813584 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7179] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7179/stat : 7179 (java) S 7171 7171 30500 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780696255216 139781218007682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7180] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7180/stat : 7180 (java) S 7171 7171 30500 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780695201440 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7181] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7181/stat : 7181 (java) S 7171 7171 30500 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46407310 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780694148336 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7182] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7182/stat : 7182 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780693096912 139781218015131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7183] ppid=7171 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/7173/task/7183/stat : 7183 (java) S 7171 7171 30500 0 -1 1077944384 2564 0 0 0 56 0 0 0 20 0 15 0 46407312 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780692044016 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7184] ppid=7171 vsize=13980732 CPUtime=0.6 cores=1,3,5,7
/proc/7173/task/7184/stat : 7184 (java) S 7171 7171 30500 0 -1 1077944384 1718 0 0 0 60 0 0 0 20 0 15 0 46407312 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780690991472 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7185] ppid=7171 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/7173/task/7185/stat : 7185 (java) S 7171 7171 30500 0 -1 1077944384 3350 0 0 0 53 0 0 0 20 0 15 0 46407312 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780689938416 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7186] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7186/stat : 7186 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780688886112 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7187] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7187/stat : 7187 (java) S 7171 7171 30500 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46407316 14316269568 48842 18446744073709551615 4194304 4196468 140734903002944 139780687834160 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 13990244
[startup+3.10154 s]
/proc/loadavg: 1.75 2.05 2.00 3/215 7187
/proc/meminfo: memFree=31234136/32770624 swapFree=0/288944
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
[pid=7173] ppid=7171 vsize=13980732 CPUtime=5.99 cores=1,3,5,7
/proc/7173/stat : 7173 (java) S 7171 7171 30500 0 -1 1077944320 26082 0 0 0 588 11 0 0 20 0 15 0 46407307 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 140734902985488 139781217996535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
/proc/7173/statm: 3495183 53062 3223 1 0 3483476 0
[pid=7173/tid=7174] ppid=7171 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/7173/task/7174/stat : 7174 (java) R 7171 7171 30500 0 -1 4202560 9189 0 0 0 289 5 0 0 20 0 15 0 46407307 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139781222233216 139780865767768 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7175] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7175/stat : 7175 (java) S 7171 7171 30500 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 15 0 46407308 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780817971728 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7176] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7176/stat : 7176 (java) S 7171 7171 30500 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 46407308 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780816919184 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7177] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7177/stat : 7177 (java) S 7171 7171 30500 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 46407308 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780815866128 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7178] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7178/stat : 7178 (java) S 7171 7171 30500 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 46407308 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780814813584 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7179] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7179/stat : 7179 (java) S 7171 7171 30500 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780696255216 139781218007682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7180] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7180/stat : 7180 (java) S 7171 7171 30500 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780695201440 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7181] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7181/stat : 7181 (java) S 7171 7171 30500 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46407310 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780694148336 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7182] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7182/stat : 7182 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780693096912 139781218015131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7183] ppid=7171 vsize=13980732 CPUtime=1.13 cores=1,3,5,7
/proc/7173/task/7183/stat : 7183 (java) R 7171 7171 30500 0 -1 4202560 6418 0 0 0 112 1 0 0 20 0 15 0 46407312 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780692030584 139781199541144 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7184] ppid=7171 vsize=13980732 CPUtime=1.17 cores=1,3,5,7
/proc/7173/task/7184/stat : 7184 (java) R 7171 7171 30500 0 -1 4202560 3648 0 0 0 116 1 0 0 20 0 15 0 46407312 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780690979952 139781199540258 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7185] ppid=7171 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/7173/task/7185/stat : 7185 (java) S 7171 7171 30500 0 -1 1077944384 4205 0 0 0 66 1 0 0 20 0 15 0 46407312 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780689938416 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7186] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7186/stat : 7186 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780688886112 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7187] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7187/stat : 7187 (java) S 7171 7171 30500 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 46407316 14316269568 53062 18446744073709551615 4194304 4196468 140734903002944 139780687834160 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 1.69 2.03 1.99 3/215 7187
/proc/meminfo: memFree=31199324/32770624 swapFree=0/288956
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
[pid=7173] ppid=7171 vsize=13980732 CPUtime=12.12 cores=1,3,5,7
/proc/7173/stat : 7173 (java) S 7171 7171 30500 0 -1 1077944320 29584 0 0 0 1194 18 0 0 20 0 15 0 46407307 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 140734902985488 139781217996535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
/proc/7173/statm: 3495183 93567 3242 1 0 3483476 0
[pid=7173/tid=7174] ppid=7171 vsize=13980732 CPUtime=6.07 cores=1,3,5,7
/proc/7173/task/7174/stat : 7174 (java) R 7171 7171 30500 0 -1 4202560 9511 0 0 0 600 7 0 0 20 0 15 0 46407307 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139781222236528 139780867686134 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7175] ppid=7171 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7173/task/7175/stat : 7175 (java) S 7171 7171 30500 0 -1 1077944384 627 0 0 0 4 2 0 0 20 0 15 0 46407308 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780817971728 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7176] ppid=7171 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7173/task/7176/stat : 7176 (java) S 7171 7171 30500 0 -1 1077944384 136 0 0 0 3 1 0 0 20 0 15 0 46407308 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780816919184 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7177] ppid=7171 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7173/task/7177/stat : 7177 (java) S 7171 7171 30500 0 -1 1077944384 95 0 0 0 3 1 0 0 20 0 15 0 46407308 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780815866128 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7178] ppid=7171 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7173/task/7178/stat : 7178 (java) S 7171 7171 30500 0 -1 1077944384 326 0 0 0 3 1 0 0 20 0 15 0 46407308 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780814813584 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7179] ppid=7171 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7173/task/7179/stat : 7179 (java) S 7171 7171 30500 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 46407309 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780696255216 139781218007682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7180] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7180/stat : 7180 (java) S 7171 7171 30500 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780695201504 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7181] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7181/stat : 7181 (java) S 7171 7171 30500 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46407310 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780694148352 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7182] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7182/stat : 7182 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780693096912 139781218015131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7183] ppid=7171 vsize=13980732 CPUtime=2.53 cores=1,3,5,7
/proc/7173/task/7183/stat : 7183 (java) S 7171 7171 30500 0 -1 1077944384 6641 0 0 0 252 1 0 0 20 0 15 0 46407312 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780692044016 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7184] ppid=7171 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/7173/task/7184/stat : 7184 (java) S 7171 7171 30500 0 -1 1077944384 6144 0 0 0 249 1 0 0 20 0 15 0 46407312 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780690991472 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7185] ppid=7171 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/7173/task/7185/stat : 7185 (java) S 7171 7171 30500 0 -1 1077944384 4339 0 0 0 74 1 0 0 20 0 15 0 46407312 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780689938416 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7186] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7186/stat : 7186 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780688886112 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7187] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7187/stat : 7187 (java) S 7171 7171 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46407316 14316269568 93567 18446744073709551615 4194304 4196468 140734903002944 139780687834160 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.71 2.03 1.99 4/216 7188
/proc/meminfo: memFree=31018748/32770624 swapFree=0/288960
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
[pid=7173] ppid=7171 vsize=13980732 CPUtime=19.56 cores=1,3,5,7
/proc/7173/stat : 7173 (java) S 7171 7171 30500 0 -1 1077944320 37376 0 0 0 1933 23 0 0 20 0 15 0 46407307 14316269568 103377 18446744073709551615 4194304 4196468 140734903002944 140734902985488 139781217996535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
/proc/7173/statm: 3495183 103377 3242 1 0 3483476 0
[pid=7173/tid=7174] ppid=7171 vsize=13980732 CPUtime=12.45 cores=1,3,5,7
/proc/7173/task/7174/stat : 7174 (java) R 7171 7171 30500 0 -1 4202560 10200 0 0 0 1238 7 0 0 20 0 15 0 46407307 14316269568 103377 18446744073709551615 4194304 4196468 140734903002944 139781222233120 139780867820300 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7175] ppid=7171 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/7173/task/7175/stat : 7175 (java) S 7171 7171 30500 0 -1 1077944384 696 0 0 0 5 2 0 0 20 0 15 0 46407308 14316269568 103377 18446744073709551615 4194304 4196468 140734903002944 139780817971728 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7176] ppid=7171 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7173/task/7176/stat : 7176 (java) S 7171 7171 30500 0 -1 1077944384 957 0 0 0 4 2 0 0 20 0 15 0 46407308 14316269568 103377 18446744073709551615 4194304 4196468 140734903002944 139780816919184 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
################
# More data... #
################
[pid=7173/tid=7180] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7180/stat : 7180 (java) S 7171 7171 30500 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780695201504 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7181] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7181/stat : 7181 (java) S 7171 7171 30500 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46407310 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780694148352 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7182] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7182/stat : 7182 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780693096912 139781218015131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7183] ppid=7171 vsize=13980732 CPUtime=4.26 cores=1,3,5,7
/proc/7173/task/7183/stat : 7183 (java) S 7171 7171 30500 0 -1 1077944384 15867 0 0 0 424 2 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780692044016 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7184] ppid=7171 vsize=13980732 CPUtime=4.1 cores=1,3,5,7
/proc/7173/task/7184/stat : 7184 (java) S 7171 7171 30500 0 -1 1077944384 17902 0 0 0 408 2 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780690991472 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7185] ppid=7171 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/7173/task/7185/stat : 7185 (java) S 7171 7171 30500 0 -1 1077944384 6175 0 0 0 87 1 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780689938416 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7186] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7186/stat : 7186 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780688886112 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7187] ppid=7171 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7173/task/7187/stat : 7187 (java) S 7171 7171 30500 0 -1 1077944384 863 0 0 0 1 3 0 0 20 0 15 0 46407316 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780687834160 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
Current children cumulated CPU time (s) 111.91
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.97 2.03 2.00 3/216 7271
/proc/meminfo: memFree=29838384/32770624 swapFree=0/289132
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
[pid=7173] ppid=7171 vsize=13980732 CPUtime=172.53 cores=1,3,5,7
/proc/7173/stat : 7173 (java) S 7171 7171 30500 0 -1 1077944320 65199 0 0 0 17201 52 0 0 20 0 15 0 46407307 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 140734902985488 139781217996535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
/proc/7173/statm: 3495183 286118 3243 1 0 3483476 0
[pid=7173/tid=7174] ppid=7171 vsize=13980732 CPUtime=162.01 cores=1,3,5,7
/proc/7173/task/7174/stat : 7174 (java) R 7171 7171 30500 0 -1 4202560 16102 0 0 0 16184 17 0 0 20 0 15 0 46407307 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139781222232816 139780865165249 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7175] ppid=7171 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/7173/task/7175/stat : 7175 (java) S 7171 7171 30500 0 -1 1077944384 794 0 0 0 8 4 0 0 20 0 15 0 46407308 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780817971728 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7176] ppid=7171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7173/task/7176/stat : 7176 (java) S 7171 7171 30500 0 -1 1077944384 1431 0 0 0 7 4 0 0 20 0 15 0 46407308 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780816919184 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7177] ppid=7171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7173/task/7177/stat : 7177 (java) S 7171 7171 30500 0 -1 1077944384 601 0 0 0 7 4 0 0 20 0 15 0 46407308 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780815866128 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7178] ppid=7171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7173/task/7178/stat : 7178 (java) S 7171 7171 30500 0 -1 1077944384 680 0 0 0 7 4 0 0 20 0 15 0 46407308 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780814813584 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7179] ppid=7171 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/7173/task/7179/stat : 7179 (java) S 7171 7171 30500 0 -1 1077944384 1340 0 0 0 3 5 0 0 20 0 15 0 46407309 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780696255216 139781218007682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7180] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7180/stat : 7180 (java) S 7171 7171 30500 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780695201504 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7181] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7181/stat : 7181 (java) S 7171 7171 30500 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46407310 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780694148352 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7182] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7182/stat : 7182 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780693096912 139781218015131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7183] ppid=7171 vsize=13980732 CPUtime=4.64 cores=1,3,5,7
/proc/7173/task/7183/stat : 7183 (java) S 7171 7171 30500 0 -1 1077944384 17191 0 0 0 462 2 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780692044016 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7184] ppid=7171 vsize=13980732 CPUtime=4.28 cores=1,3,5,7
/proc/7173/task/7184/stat : 7184 (java) S 7171 7171 30500 0 -1 1077944384 18413 0 0 0 426 2 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780690991472 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7185] ppid=7171 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/7173/task/7185/stat : 7185 (java) S 7171 7171 30500 0 -1 1077944384 6394 0 0 0 89 1 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780689938416 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7186] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7186/stat : 7186 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780688886112 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7187] ppid=7171 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/7173/task/7187/stat : 7187 (java) S 7171 7171 30500 0 -1 1077944384 900 0 0 0 2 5 0 0 20 0 15 0 46407316 14316269568 286118 18446744073709551615 4194304 4196468 140734903002944 139780687834160 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
Current children cumulated CPU time (s) 172.53
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.91 2.01 1.99 3/216 7273
/proc/meminfo: memFree=29790832/32770624 swapFree=0/289168
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
[pid=7173] ppid=7171 vsize=13980732 CPUtime=233.78 cores=1,3,5,7
/proc/7173/stat : 7173 (java) S 7171 7171 30500 0 -1 1077944320 74910 0 0 0 23313 65 0 0 20 0 15 0 46407307 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 140734902985488 139781217996535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
/proc/7173/statm: 3495183 295202 3243 1 0 3483476 0
[pid=7173/tid=7174] ppid=7171 vsize=13980732 CPUtime=222 cores=1,3,5,7
/proc/7173/task/7174/stat : 7174 (java) R 7171 7171 30500 0 -1 4202560 17985 0 0 0 22182 18 0 0 20 0 15 0 46407307 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139781222233008 139780862400785 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7175] ppid=7171 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7173/task/7175/stat : 7175 (java) S 7171 7171 30500 0 -1 1077944384 875 0 0 0 9 5 0 0 20 0 15 0 46407308 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780817971728 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7176] ppid=7171 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/7173/task/7176/stat : 7176 (java) S 7171 7171 30500 0 -1 1077944384 1473 0 0 0 8 5 0 0 20 0 15 0 46407308 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780816919184 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7177] ppid=7171 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/7173/task/7177/stat : 7177 (java) S 7171 7171 30500 0 -1 1077944384 853 0 0 0 8 5 0 0 20 0 15 0 46407308 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780815866128 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7178] ppid=7171 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/7173/task/7178/stat : 7178 (java) S 7171 7171 30500 0 -1 1077944384 754 0 0 0 8 5 0 0 20 0 15 0 46407308 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780814813584 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7179] ppid=7171 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7173/task/7179/stat : 7179 (java) S 7171 7171 30500 0 -1 1077944384 1512 0 0 0 4 10 0 0 20 0 15 0 46407309 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780696255216 139781218007682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7180] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7180/stat : 7180 (java) S 7171 7171 30500 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780695201504 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7181] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7181/stat : 7181 (java) S 7171 7171 30500 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46407310 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780694148352 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7182] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7182/stat : 7182 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780693096912 139781218015131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7183] ppid=7171 vsize=13980732 CPUtime=5.13 cores=1,3,5,7
/proc/7173/task/7183/stat : 7183 (java) S 7171 7171 30500 0 -1 1077944384 19934 0 0 0 510 3 0 0 20 0 15 0 46407312 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780692044016 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7184] ppid=7171 vsize=13980732 CPUtime=4.83 cores=1,3,5,7
/proc/7173/task/7184/stat : 7184 (java) S 7171 7171 30500 0 -1 1077944384 21958 0 0 0 481 2 0 0 20 0 15 0 46407312 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780690991472 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7185] ppid=7171 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/7173/task/7185/stat : 7185 (java) S 7171 7171 30500 0 -1 1077944384 7306 0 0 0 93 2 0 0 20 0 15 0 46407312 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780689938416 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7186] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7186/stat : 7186 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780688886112 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7187] ppid=7171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7173/task/7187/stat : 7187 (java) S 7171 7171 30500 0 -1 1077944384 907 0 0 0 4 7 0 0 20 0 15 0 46407316 14316269568 295202 18446744073709551615 4194304 4196468 140734903002944 139780687834160 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
Current children cumulated CPU time (s) 233.78
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.93 2.01 1.99 4/216 7274
/proc/meminfo: memFree=29785248/32770624 swapFree=0/289196
[pid=7171] ppid=7168 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7171/stat : 7171 (xcsp3-exec) S 7168 7171 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46407297 9740288 345 18446744073709551615 4194304 5098028 140722069427920 140722069426024 140421250679420 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 22667264 140722069430689 140722069430893 140722069430893 140722069434347 0
/proc/7171/statm: 2378 345 289 221 0 87 0
[pid=7173] ppid=7171 vsize=13980732 CPUtime=251.59 cores=1,3,5,7
/proc/7173/stat : 7173 (java) S 7171 7171 30500 0 -1 1077944320 75845 0 0 0 25093 66 0 0 20 0 15 0 46407307 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 140734902985488 139781217996535 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
/proc/7173/statm: 3495183 295204 3243 1 0 3483476 0
[pid=7173/tid=7174] ppid=7171 vsize=13980732 CPUtime=239.7 cores=1,3,5,7
/proc/7173/task/7174/stat : 7174 (java) R 7171 7171 30500 0 -1 4202560 18785 0 0 0 23952 18 0 0 20 0 15 0 46407307 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139781222235592 139780860572964 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7175] ppid=7171 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7173/task/7175/stat : 7175 (java) S 7171 7171 30500 0 -1 1077944384 875 0 0 0 9 5 0 0 20 0 15 0 46407308 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780817971728 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7176] ppid=7171 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/7173/task/7176/stat : 7176 (java) S 7171 7171 30500 0 -1 1077944384 1473 0 0 0 8 5 0 0 20 0 15 0 46407308 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780816919184 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7177] ppid=7171 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/7173/task/7177/stat : 7177 (java) S 7171 7171 30500 0 -1 1077944384 853 0 0 0 8 5 0 0 20 0 15 0 46407308 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780815866128 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7178] ppid=7171 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/7173/task/7178/stat : 7178 (java) S 7171 7171 30500 0 -1 1077944384 754 0 0 0 8 5 0 0 20 0 15 0 46407308 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780814813584 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7179] ppid=7171 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7173/task/7179/stat : 7179 (java) S 7171 7171 30500 0 -1 1077944384 1517 0 0 0 4 10 0 0 20 0 15 0 46407309 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780696255216 139781218007682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7180] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7180/stat : 7180 (java) S 7171 7171 30500 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46407309 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780695201504 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7181] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7181/stat : 7181 (java) S 7171 7171 30500 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 46407310 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780694148352 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7182] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7182/stat : 7182 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780693096912 139781218015131 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7183] ppid=7171 vsize=13980732 CPUtime=5.17 cores=1,3,5,7
/proc/7173/task/7183/stat : 7183 (java) S 7171 7171 30500 0 -1 1077944384 19946 0 0 0 514 3 0 0 20 0 15 0 46407312 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780692044016 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7184] ppid=7171 vsize=13980732 CPUtime=4.88 cores=1,3,5,7
/proc/7173/task/7184/stat : 7184 (java) S 7171 7171 30500 0 -1 1077944384 21974 0 0 0 486 2 0 0 20 0 15 0 46407312 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780690991472 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7185] ppid=7171 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/7173/task/7185/stat : 7185 (java) S 7171 7171 30500 0 -1 1077944384 7385 0 0 0 93 2 0 0 20 0 15 0 46407312 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780689938416 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7186] ppid=7171 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7173/task/7186/stat : 7186 (java) S 7171 7171 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46407312 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780688886112 139781218006741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
[pid=7173/tid=7187] ppid=7171 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/7173/task/7187/stat : 7187 (java) S 7171 7171 30500 0 -1 1077944384 930 0 0 0 4 7 0 0 20 0 15 0 46407316 14316269568 295204 18446744073709551615 4194304 4196468 140734903002944 139780687834160 139781218007682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 6569984 140734903005658 140734903005833 140734903005833 140734903009231 0
Current children cumulated CPU time (s) 251.59
Current children cumulated vsize (KiB) 13990244
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 7173 sig 9
??? kill 7171 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7171 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=893
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=893
# CPU time returned by wait4() is 0.001786
# while last known CPU time is 251.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 251.59
CPU user time (s): 250.93
CPU system time (s): 0.66
CPU usage (%): 104.825
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000893
system time used= 0.000893
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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 0.999685 second user time and 1.62816 second system time
The end