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-4248669-1502060864/watcher-4248669-1502060864 -o /tmp/evaluation-result-4248669-1502060864/solver-4248669-1502060864 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 325606568 HOME/instance-4248669-1502060864.xml
pid=12079
running on 4 cores: 1,3,5,7
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: 4.61 7.31 8.03 6/200 12082
/proc/meminfo: memFree=29076576/32770624 swapFree=0/330228
[pid=12082] ppid=12079 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (runsolver) D 12079 12082 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53901707 24240128 108 18446744073709551615 4194304 4338465 140736377421872 140736377419512 139909545530071 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 11366400 140736377426007 140736377426505 140736377426505 140736377429962 0
/proc/12082/statm: 5918 108 54 36 0 2156 0
[startup+0.100114 s]
/proc/loadavg: 4.61 7.31 8.03 6/200 12082
/proc/meminfo: memFree=29076576/32770624 swapFree=0/330228
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.285927 s]
/proc/loadavg: 4.61 7.31 8.03 6/200 12082
/proc/meminfo: memFree=29076576/32770624 swapFree=0/330228
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302889 s]
/proc/loadavg: 4.61 7.31 8.03 6/200 12082
/proc/meminfo: memFree=29076576/32770624 swapFree=0/330228
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.707568 s]
/proc/loadavg: 4.61 7.31 8.03 6/200 12082
/proc/meminfo: memFree=29076576/32770624 swapFree=0/330228
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 4.72 7.29 8.02 3/216 12098
/proc/meminfo: memFree=28764344/32770624 swapFree=0/330264
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
[pid=12084] ppid=12082 vsize=12919328 CPUtime=1.84 cores=1,3,5,7
/proc/12084/stat : 12084 (java) S 12082 12082 25100 0 -1 1077944320 12336 0 0 0 178 6 0 0 20 0 15 0 53901714 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 140730979231392 139859903647479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
/proc/12084/statm: 3229832 38449 3162 1 0 3218124 0
[pid=12084/tid=12085] ppid=12082 vsize=12919328 CPUtime=1.26 cores=1,3,5,7
/proc/12084/task/12085/stat : 12085 (java) R 12082 12082 25100 0 -1 4202560 8334 0 0 0 122 4 0 0 20 0 15 0 53901714 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859907856032 139859523213093 0 4 1 16800974 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12086] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12086/stat : 12086 (java) S 12082 12082 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53901726 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859840129680 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12087] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12087/stat : 12087 (java) S 12082 12082 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53901726 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859506203152 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12088] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12088/stat : 12088 (java) S 12082 12082 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53901726 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859505150352 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12089] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12089/stat : 12089 (java) S 12082 12082 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53901726 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859504097552 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12090] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12090/stat : 12090 (java) S 12082 12082 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859454864240 139859903658626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12091] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12091/stat : 12091 (java) S 12082 12082 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859453810208 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12092] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12092/stat : 12092 (java) S 12082 12082 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859452757360 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12093] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12093/stat : 12093 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859451705680 139859903666075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12094] ppid=12082 vsize=12919328 CPUtime=0.16 cores=1,3,5,7
/proc/12084/task/12094/stat : 12094 (java) S 12082 12082 25100 0 -1 1077944384 689 0 0 0 16 0 0 0 20 0 15 0 53901731 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859450653040 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12095] ppid=12082 vsize=12919328 CPUtime=0.14 cores=1,3,5,7
/proc/12084/task/12095/stat : 12095 (java) S 12082 12082 25100 0 -1 1077944384 768 0 0 0 14 0 0 0 20 0 15 0 53901731 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859449600240 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12096] ppid=12082 vsize=12919328 CPUtime=0.25 cores=1,3,5,7
/proc/12084/task/12096/stat : 12096 (java) S 12082 12082 25100 0 -1 1077944384 1204 0 0 0 25 0 0 0 20 0 15 0 53901731 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859448547440 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12097] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12097/stat : 12097 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859447494880 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12098] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12098/stat : 12098 (java) S 12082 12082 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53901735 13229391872 38449 18446744073709551615 4194304 4196468 140730979248848 139859446443184 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 12928840
[startup+3.10077 s]
/proc/loadavg: 4.72 7.29 8.02 3/216 12098
/proc/meminfo: memFree=28763484/32770624 swapFree=0/330264
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
[pid=12084] ppid=12082 vsize=12919328 CPUtime=3.75 cores=1,3,5,7
/proc/12084/stat : 12084 (java) S 12082 12082 25100 0 -1 1077944320 16943 0 0 0 355 20 0 0 20 0 15 0 53901714 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 140730979231392 139859903647479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
/proc/12084/statm: 3229832 68309 3190 1 0 3218124 0
[pid=12084/tid=12085] ppid=12082 vsize=12919328 CPUtime=2.79 cores=1,3,5,7
/proc/12084/task/12085/stat : 12085 (java) R 12082 12082 25100 0 -1 4202560 9982 0 0 0 274 5 0 0 20 0 15 0 53901714 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859907886032 139859520202312 0 4 1 16800974 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12086] ppid=12082 vsize=12919328 CPUtime=0.07 cores=1,3,5,7
/proc/12084/task/12086/stat : 12086 (java) S 12082 12082 25100 0 -1 1077944384 319 0 0 0 4 3 0 0 20 0 15 0 53901726 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859840129680 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12087] ppid=12082 vsize=12919328 CPUtime=0.07 cores=1,3,5,7
/proc/12084/task/12087/stat : 12087 (java) S 12082 12082 25100 0 -1 1077944384 313 0 0 0 4 3 0 0 20 0 15 0 53901726 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859506203152 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12088] ppid=12082 vsize=12919328 CPUtime=0.07 cores=1,3,5,7
/proc/12084/task/12088/stat : 12088 (java) S 12082 12082 25100 0 -1 1077944384 137 0 0 0 4 3 0 0 20 0 15 0 53901726 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859505150352 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12089] ppid=12082 vsize=12919328 CPUtime=0.06 cores=1,3,5,7
/proc/12084/task/12089/stat : 12089 (java) S 12082 12082 25100 0 -1 1077944384 72 0 0 0 4 2 0 0 20 0 15 0 53901726 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859504097552 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12090] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12090/stat : 12090 (java) S 12082 12082 25100 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859454864240 139859903658626 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12091] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12091/stat : 12091 (java) S 12082 12082 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859453810208 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12092] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12092/stat : 12092 (java) S 12082 12082 25100 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859452757360 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12093] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12093/stat : 12093 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859451705680 139859903666075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12094] ppid=12082 vsize=12919328 CPUtime=0.2 cores=1,3,5,7
/proc/12084/task/12094/stat : 12094 (java) S 12082 12082 25100 0 -1 1077944384 1228 0 0 0 20 0 0 0 20 0 15 0 53901731 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859450653040 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12095] ppid=12082 vsize=12919328 CPUtime=0.16 cores=1,3,5,7
/proc/12084/task/12095/stat : 12095 (java) S 12082 12082 25100 0 -1 1077944384 1318 0 0 0 16 0 0 0 20 0 15 0 53901731 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859449600240 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12096] ppid=12082 vsize=12919328 CPUtime=0.26 cores=1,3,5,7
/proc/12084/task/12096/stat : 12096 (java) S 12082 12082 25100 0 -1 1077944384 1880 0 0 0 26 0 0 0 20 0 15 0 53901731 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859448547440 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12097] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12097/stat : 12097 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859447494880 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12098] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12098/stat : 12098 (java) S 12082 12082 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 53901735 13229391872 68309 18446744073709551615 4194304 4196468 140730979248848 139859446443184 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 12928840
[startup+6.30078 s]
/proc/loadavg: 4.72 7.29 8.02 6/217 12100
/proc/meminfo: memFree=28564320/32770624 swapFree=0/330264
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
[pid=12084] ppid=12082 vsize=12919328 CPUtime=7.28 cores=1,3,5,7
/proc/12084/stat : 12084 (java) S 12082 12082 25100 0 -1 1077944320 17510 0 0 0 693 35 0 0 20 0 15 0 53901714 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 140730979231392 139859903647479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
/proc/12084/statm: 3229832 101648 3192 1 0 3218124 0
[pid=12084/tid=12085] ppid=12082 vsize=12919328 CPUtime=5.88 cores=1,3,5,7
/proc/12084/task/12085/stat : 12085 (java) R 12082 12082 25100 0 -1 4202560 10035 0 0 0 583 5 0 0 20 0 15 0 53901714 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859907885904 139859523304470 0 4 1 16800974 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12086] ppid=12082 vsize=12919328 CPUtime=0.17 cores=1,3,5,7
/proc/12084/task/12086/stat : 12086 (java) S 12082 12082 25100 0 -1 1077944384 418 0 0 0 10 7 0 0 20 0 15 0 53901726 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859840129680 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12087] ppid=12082 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/12084/task/12087/stat : 12087 (java) S 12082 12082 25100 0 -1 1077944384 427 0 0 0 11 7 0 0 20 0 15 0 53901726 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859506203152 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12088] ppid=12082 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/12084/task/12088/stat : 12088 (java) S 12082 12082 25100 0 -1 1077944384 228 0 0 0 11 7 0 0 20 0 15 0 53901726 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859505150352 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12089] ppid=12082 vsize=12919328 CPUtime=0.16 cores=1,3,5,7
/proc/12084/task/12089/stat : 12089 (java) S 12082 12082 25100 0 -1 1077944384 208 0 0 0 10 6 0 0 20 0 15 0 53901726 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859504097552 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12090] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12090/stat : 12090 (java) S 12082 12082 25100 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859454864240 139859903658626 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12091] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12091/stat : 12091 (java) S 12082 12082 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859453810208 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12092] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12092/stat : 12092 (java) S 12082 12082 25100 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859452757360 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12093] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12093/stat : 12093 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859451705680 139859903666075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12094] ppid=12082 vsize=12919328 CPUtime=0.2 cores=1,3,5,7
/proc/12084/task/12094/stat : 12094 (java) S 12082 12082 25100 0 -1 1077944384 1228 0 0 0 20 0 0 0 20 0 15 0 53901731 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859450653040 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12095] ppid=12082 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/12084/task/12095/stat : 12095 (java) S 12082 12082 25100 0 -1 1077944384 1344 0 0 0 18 0 0 0 20 0 15 0 53901731 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859449600240 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12096] ppid=12082 vsize=12919328 CPUtime=0.26 cores=1,3,5,7
/proc/12084/task/12096/stat : 12096 (java) S 12082 12082 25100 0 -1 1077944384 1880 0 0 0 26 0 0 0 20 0 15 0 53901731 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859448547440 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12097] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12097/stat : 12097 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859447494880 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12098] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12098/stat : 12098 (java) S 12082 12082 25100 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 53901735 13229391872 101648 18446744073709551615 4194304 4196468 140730979248848 139859446443184 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 12928840
[startup+12.7008 s]
/proc/loadavg: 4.30 7.11 7.95 3/217 12100
/proc/meminfo: memFree=27464920/32770624 swapFree=0/330280
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
[pid=12084] ppid=12082 vsize=12919328 CPUtime=15.03 cores=1,3,5,7
/proc/12084/stat : 12084 (java) S 12082 12082 25100 0 -1 1077944320 46191 0 0 0 1438 65 0 0 20 0 15 0 53901714 13229391872 200541 18446744073709551615 4194304 4196468 140730979248848 140730979231392 139859903647479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
/proc/12084/statm: 3229832 200541 3205 1 0 3218124 0
[pid=12084/tid=12085] ppid=12082 vsize=12919328 CPUtime=11.17 cores=1,3,5,7
/proc/12084/task/12085/stat : 12085 (java) R 12082 12082 25100 0 -1 4202560 10806 0 0 0 1111 6 0 0 20 0 15 0 53901714 13229391872 200541 18446744073709551615 4194304 4196468 140730979248848 139859907883160 139859523304470 0 4 1 16800974 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12086] ppid=12082 vsize=12919328 CPUtime=0.62 cores=1,3,5,7
/proc/12084/task/12086/stat : 12086 (java) S 12082 12082 25100 0 -1 1077944384 5751 0 0 0 48 14 0 0 20 0 15 0 53901726 13229391872 200541 18446744073709551615 4194304 4196468 140730979248848 139859840129680 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12087] ppid=12082 vsize=12919328 CPUtime=0.61 cores=1,3,5,7
/proc/12084/task/12087/stat : 12087 (java) S 12082 12082 25100 0 -1 1077944384 4863 0 0 0 48 13 0 0 20 0 15 0 53901726 13229391872 200541 18446744073709551615 4194304 4196468 140730979248848 139859506203152 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
################
# More data... #
################
[pid=12084] ppid=12082 vsize=12919328 CPUtime=256.82 cores=1,3,5,7
/proc/12084/stat : 12084 (java) S 12082 12082 25100 0 -1 1077944320 433256 0 0 0 24718 964 0 0 20 0 15 0 53901714 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 140730979231392 139859903647479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
/proc/12084/statm: 3229832 2447307 3216 1 0 3218124 0
[pid=12084/tid=12085] ppid=12082 vsize=12919328 CPUtime=113.81 cores=1,3,5,7
/proc/12084/task/12085/stat : 12085 (java) S 12082 12082 25100 0 -1 1077944384 15578 0 0 0 11372 9 0 0 20 0 15 0 53901714 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859907885936 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12086] ppid=12082 vsize=12919328 CPUtime=32.13 cores=1,3,5,7
/proc/12084/task/12086/stat : 12086 (java) R 12082 12082 25100 0 -1 4202560 80497 0 0 0 2984 229 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859840129488 139859896275687 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12087] ppid=12082 vsize=12919328 CPUtime=32.11 cores=1,3,5,7
/proc/12084/task/12087/stat : 12087 (java) R 12082 12082 25100 0 -1 4202560 71095 0 0 0 2989 222 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859506202960 139859896275687 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12088] ppid=12082 vsize=12919328 CPUtime=32.19 cores=1,3,5,7
/proc/12084/task/12088/stat : 12088 (java) R 12082 12082 25100 0 -1 4202560 85897 0 0 0 2987 232 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859505150160 139859896275687 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12089] ppid=12082 vsize=12919328 CPUtime=32.1 cores=1,3,5,7
/proc/12084/task/12089/stat : 12089 (java) R 12082 12082 25100 0 -1 4202560 146091 0 0 0 2951 259 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859504097440 139859896751136 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12090] ppid=12082 vsize=12919328 CPUtime=13.52 cores=1,3,5,7
/proc/12084/task/12090/stat : 12090 (java) S 12082 12082 25100 0 -1 1077944384 24059 0 0 0 1349 3 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859454862800 139859903657685 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12091] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12091/stat : 12091 (java) S 12082 12082 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859453810208 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12092] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12092/stat : 12092 (java) S 12082 12082 25100 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859452757360 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12093] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12093/stat : 12093 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859451705680 139859903666075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12094] ppid=12082 vsize=12919328 CPUtime=0.22 cores=1,3,5,7
/proc/12084/task/12094/stat : 12094 (java) S 12082 12082 25100 0 -1 1077944384 1658 0 0 0 22 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859450652800 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12095] ppid=12082 vsize=12919328 CPUtime=0.25 cores=1,3,5,7
/proc/12084/task/12095/stat : 12095 (java) S 12082 12082 25100 0 -1 1077944384 2809 0 0 0 24 1 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859449600288 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12096] ppid=12082 vsize=12919328 CPUtime=0.31 cores=1,3,5,7
/proc/12084/task/12096/stat : 12096 (java) S 12082 12082 25100 0 -1 1077944384 3939 0 0 0 31 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859448547488 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12097] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12097/stat : 12097 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859447494880 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12098] ppid=12082 vsize=12919328 CPUtime=0.09 cores=1,3,5,7
/proc/12084/task/12098/stat : 12098 (java) S 12082 12082 25100 0 -1 1077944384 276 0 0 0 4 5 0 0 20 0 15 0 53901735 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859446443184 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
Current children cumulated CPU time (s) 256.82
Current children cumulated vsize (KiB) 12928840
[startup+160.801 s]
/proc/loadavg: 3.96 5.72 7.30 9/215 12105
/proc/meminfo: memFree=11971228/32770624 swapFree=0/330380
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
[pid=12084] ppid=12082 vsize=12919328 CPUtime=259.92 cores=1,3,5,7
/proc/12084/stat : 12084 (java) S 12082 12082 25100 0 -1 1077944320 434105 0 0 0 25027 965 0 0 20 0 15 0 53901714 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 140730979231392 139859903647479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
/proc/12084/statm: 3229832 2447307 3216 1 0 3218124 0
[pid=12084/tid=12085] ppid=12082 vsize=12919328 CPUtime=113.81 cores=1,3,5,7
/proc/12084/task/12085/stat : 12085 (java) S 12082 12082 25100 0 -1 1077944384 15578 0 0 0 11372 9 0 0 20 0 15 0 53901714 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859907885936 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12086] ppid=12082 vsize=12919328 CPUtime=32.9 cores=1,3,5,7
/proc/12084/task/12086/stat : 12086 (java) R 12082 12082 25100 0 -1 4202560 80497 0 0 0 3061 229 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859840129488 139859896275687 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12087] ppid=12082 vsize=12919328 CPUtime=32.87 cores=1,3,5,7
/proc/12084/task/12087/stat : 12087 (java) R 12082 12082 25100 0 -1 4202560 71095 0 0 0 3065 222 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859506202960 139859896275687 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12088] ppid=12082 vsize=12919328 CPUtime=32.96 cores=1,3,5,7
/proc/12084/task/12088/stat : 12088 (java) R 12082 12082 25100 0 -1 4202560 85897 0 0 0 3064 232 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859505150472 139859896275687 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12089] ppid=12082 vsize=12919328 CPUtime=32.89 cores=1,3,5,7
/proc/12084/task/12089/stat : 12089 (java) R 12082 12082 25100 0 -1 4202560 146940 0 0 0 3030 259 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859504097440 139859888347269 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12090] ppid=12082 vsize=12919328 CPUtime=13.52 cores=1,3,5,7
/proc/12084/task/12090/stat : 12090 (java) S 12082 12082 25100 0 -1 1077944384 24059 0 0 0 1349 3 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859454862800 139859903657685 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12091] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12091/stat : 12091 (java) S 12082 12082 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859453810208 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12092] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12092/stat : 12092 (java) S 12082 12082 25100 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859452757360 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12093] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12093/stat : 12093 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859451705680 139859903666075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12094] ppid=12082 vsize=12919328 CPUtime=0.22 cores=1,3,5,7
/proc/12084/task/12094/stat : 12094 (java) S 12082 12082 25100 0 -1 1077944384 1658 0 0 0 22 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859450652800 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12095] ppid=12082 vsize=12919328 CPUtime=0.25 cores=1,3,5,7
/proc/12084/task/12095/stat : 12095 (java) S 12082 12082 25100 0 -1 1077944384 2809 0 0 0 24 1 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859449600288 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12096] ppid=12082 vsize=12919328 CPUtime=0.31 cores=1,3,5,7
/proc/12084/task/12096/stat : 12096 (java) S 12082 12082 25100 0 -1 1077944384 3939 0 0 0 31 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859448547488 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12097] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12097/stat : 12097 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859447494880 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12098] ppid=12082 vsize=12919328 CPUtime=0.09 cores=1,3,5,7
/proc/12084/task/12098/stat : 12098 (java) S 12082 12082 25100 0 -1 1077944384 276 0 0 0 4 5 0 0 20 0 15 0 53901735 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859446443184 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
Current children cumulated CPU time (s) 259.92
Current children cumulated vsize (KiB) 12928840
[startup+161.602 s]
/proc/loadavg: 3.96 5.72 7.30 9/215 12105
/proc/meminfo: memFree=11971228/32770624 swapFree=0/330380
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
[pid=12084] ppid=12082 vsize=12919328 CPUtime=261.77 cores=1,3,5,7
/proc/12084/stat : 12084 (java) S 12082 12082 25100 0 -1 1077944320 434105 0 0 0 25212 965 0 0 20 0 15 0 53901714 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 140730979231392 139859903647479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
/proc/12084/statm: 3229832 2447307 3216 1 0 3218124 0
[pid=12084/tid=12085] ppid=12082 vsize=12919328 CPUtime=113.81 cores=1,3,5,7
/proc/12084/task/12085/stat : 12085 (java) S 12082 12082 25100 0 -1 1077944384 15578 0 0 0 11372 9 0 0 20 0 15 0 53901714 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859907885936 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12086] ppid=12082 vsize=12919328 CPUtime=33.25 cores=1,3,5,7
/proc/12084/task/12086/stat : 12086 (java) S 12082 12082 25100 0 -1 1077944384 80497 0 0 0 3096 229 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859840129680 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12087] ppid=12082 vsize=12919328 CPUtime=33.22 cores=1,3,5,7
/proc/12084/task/12087/stat : 12087 (java) S 12082 12082 25100 0 -1 1077944384 71095 0 0 0 3100 222 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859506203152 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12088] ppid=12082 vsize=12919328 CPUtime=33.31 cores=1,3,5,7
/proc/12084/task/12088/stat : 12088 (java) S 12082 12082 25100 0 -1 1077944384 85897 0 0 0 3099 232 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859505150352 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12089] ppid=12082 vsize=12919328 CPUtime=33.26 cores=1,3,5,7
/proc/12084/task/12089/stat : 12089 (java) S 12082 12082 25100 0 -1 1077944384 146940 0 0 0 3067 259 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859504097552 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12090] ppid=12082 vsize=12919328 CPUtime=13.95 cores=1,3,5,7
/proc/12084/task/12090/stat : 12090 (java) R 12082 12082 25100 0 -1 4202560 24059 0 0 0 1392 3 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859454862688 139859888643824 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12091] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12091/stat : 12091 (java) S 12082 12082 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859453810208 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12092] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12092/stat : 12092 (java) S 12082 12082 25100 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859452757360 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12093] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12093/stat : 12093 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859451705680 139859903666075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12094] ppid=12082 vsize=12919328 CPUtime=0.22 cores=1,3,5,7
/proc/12084/task/12094/stat : 12094 (java) S 12082 12082 25100 0 -1 1077944384 1658 0 0 0 22 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859450652800 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12095] ppid=12082 vsize=12919328 CPUtime=0.25 cores=1,3,5,7
/proc/12084/task/12095/stat : 12095 (java) S 12082 12082 25100 0 -1 1077944384 2809 0 0 0 24 1 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859449600288 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12096] ppid=12082 vsize=12919328 CPUtime=0.31 cores=1,3,5,7
/proc/12084/task/12096/stat : 12096 (java) S 12082 12082 25100 0 -1 1077944384 3939 0 0 0 31 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859448547488 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12097] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12097/stat : 12097 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859447494880 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12098] ppid=12082 vsize=12919328 CPUtime=0.09 cores=1,3,5,7
/proc/12084/task/12098/stat : 12098 (java) S 12082 12082 25100 0 -1 1077944384 276 0 0 0 4 5 0 0 20 0 15 0 53901735 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859446443184 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
Current children cumulated CPU time (s) 261.77
Current children cumulated vsize (KiB) 12928840
[startup+161.807 s]
/proc/loadavg: 4.29 5.75 7.30 6/215 12105
/proc/meminfo: memFree=11971228/32770624 swapFree=0/330380
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
[pid=12084] ppid=12082 vsize=12919328 CPUtime=261.98 cores=1,3,5,7
/proc/12084/stat : 12084 (java) S 12082 12082 25100 0 -1 1077944320 434105 0 0 0 25233 965 0 0 20 0 15 0 53901714 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 140730979231392 139859903647479 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
/proc/12084/statm: 3229832 2447307 3216 1 0 3218124 0
[pid=12084/tid=12085] ppid=12082 vsize=12919328 CPUtime=113.81 cores=1,3,5,7
/proc/12084/task/12085/stat : 12085 (java) S 12082 12082 25100 0 -1 1077944384 15578 0 0 0 11372 9 0 0 20 0 15 0 53901714 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859907885936 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12086] ppid=12082 vsize=12919328 CPUtime=33.25 cores=1,3,5,7
/proc/12084/task/12086/stat : 12086 (java) S 12082 12082 25100 0 -1 1077944384 80497 0 0 0 3096 229 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859840129680 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12087] ppid=12082 vsize=12919328 CPUtime=33.22 cores=1,3,5,7
/proc/12084/task/12087/stat : 12087 (java) S 12082 12082 25100 0 -1 1077944384 71095 0 0 0 3100 222 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859506203152 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12088] ppid=12082 vsize=12919328 CPUtime=33.31 cores=1,3,5,7
/proc/12084/task/12088/stat : 12088 (java) S 12082 12082 25100 0 -1 1077944384 85897 0 0 0 3099 232 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859505150352 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12089] ppid=12082 vsize=12919328 CPUtime=33.26 cores=1,3,5,7
/proc/12084/task/12089/stat : 12089 (java) S 12082 12082 25100 0 -1 1077944384 146940 0 0 0 3067 259 0 0 20 0 15 0 53901726 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859504097552 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12090] ppid=12082 vsize=12919328 CPUtime=14.15 cores=1,3,5,7
/proc/12084/task/12090/stat : 12090 (java) R 12082 12082 25100 0 -1 4202560 24059 0 0 0 1412 3 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859454862688 139859888643972 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12091] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12091/stat : 12091 (java) S 12082 12082 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859453810208 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12092] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12092/stat : 12092 (java) S 12082 12082 25100 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 53901728 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859452757360 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12093] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12093/stat : 12093 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859451705680 139859903666075 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12094] ppid=12082 vsize=12919328 CPUtime=0.22 cores=1,3,5,7
/proc/12084/task/12094/stat : 12094 (java) S 12082 12082 25100 0 -1 1077944384 1658 0 0 0 22 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859450652800 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12095] ppid=12082 vsize=12919328 CPUtime=0.25 cores=1,3,5,7
/proc/12084/task/12095/stat : 12095 (java) S 12082 12082 25100 0 -1 1077944384 2809 0 0 0 24 1 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859449600288 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12096] ppid=12082 vsize=12919328 CPUtime=0.31 cores=1,3,5,7
/proc/12084/task/12096/stat : 12096 (java) S 12082 12082 25100 0 -1 1077944384 3939 0 0 0 31 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859448547488 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12097] ppid=12082 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/12084/task/12097/stat : 12097 (java) S 12082 12082 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53901731 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859447494880 139859903657685 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
[pid=12084/tid=12098] ppid=12082 vsize=12919328 CPUtime=0.09 cores=1,3,5,7
/proc/12084/task/12098/stat : 12098 (java) S 12082 12082 25100 0 -1 1077944384 276 0 0 0 4 5 0 0 20 0 15 0 53901735 13229391872 2447307 18446744073709551615 4194304 4196468 140730979248848 139859446443184 139859903658626 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7413760 140730979250646 140730979250822 140730979250822 140730979254223 0
Current children cumulated CPU time (s) 261.98
Current children cumulated vsize (KiB) 12928840
[startup+161.914 s]
/proc/loadavg: 4.29 5.75 7.30 6/215 12105
/proc/meminfo: memFree=11971228/32770624 swapFree=0/330380
[pid=12082] ppid=12079 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12082/stat : 12082 (xcsp3-exec) S 12079 12082 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53901707 9740288 345 18446744073709551615 4194304 5098028 140735519291216 140735519289320 140325847237244 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 36638720 140735519297945 140735519298154 140735519298154 140735519301611 0
/proc/12082/statm: 2378 345 289 221 0 87 0
[pid=12084] ppid=12082 vsize=0 CPUtime=262.09 cores=1,3,5,7
/proc/12084/stat : 12084 (java) Z 12082 12082 25100 0 -1 4227084 434216 0 0 0 25238 971 0 0 20 0 2 0 53901714 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/12084/statm: 0 0 0 0 0 0 0
[pid=12084/tid=12093] ppid=12082 vsize=0 CPUtime=0.04 cores=1,3,5,7
/proc/12084/task/12093/stat : 12093 (java) R 12082 12082 25100 0 -1 4203588 6 0 0 0 0 4 0 0 20 0 2 0 53901731 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 262.09
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 161.921
CPU time (s): 262.105
CPU user time (s): 252.386
CPU system time (s): 9.71861
CPU usage (%): 161.872
Max. virtual memory (cumulated for all children) (KiB): 12928840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.386
system time used= 9.71861
maximum resident set size= 9789612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434736
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8702
involuntary context switches= 2647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.794642 second user time and 1.10551 second system time
The end