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-4248691-1502094373/watcher-4248691-1502094373 -o /tmp/evaluation-result-4248691-1502094373/solver-4248691-1502094373 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1435867319 HOME/instance-4248691-1502094373.xml
pid=24062
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: 8.49 8.43 7.97 5/204 24065
/proc/meminfo: memFree=27978596/32770624 swapFree=0/374968
[pid=24065] ppid=24062 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (runsolver) D 24062 24065 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 109090460 24240128 106 18446744073709551615 4194304 4338465 140723176175344 140723176172984 139911841510103 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 28852224 140723176181846 140723176182345 140723176182345 140723176185802 0
/proc/24065/statm: 5918 106 53 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 8.49 8.43 7.97 5/204 24065
/proc/meminfo: memFree=27978596/32770624 swapFree=0/374968
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200232 s]
/proc/loadavg: 8.49 8.43 7.97 5/204 24065
/proc/meminfo: memFree=27978596/32770624 swapFree=0/374968
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302667 s]
/proc/loadavg: 8.49 8.43 7.97 5/204 24065
/proc/meminfo: memFree=27978596/32770624 swapFree=0/374968
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700225 s]
/proc/loadavg: 8.49 8.43 7.97 5/204 24065
/proc/meminfo: memFree=27978596/32770624 swapFree=0/374968
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50115 s]
/proc/loadavg: 8.49 8.43 7.97 12/220 24081
/proc/meminfo: memFree=27792088/32770624 swapFree=0/374992
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
[pid=24067] ppid=24065 vsize=12919328 CPUtime=4.04 cores=1,3,5,7
/proc/24067/stat : 24067 (java) S 24065 24065 2911 0 -1 1077944320 16953 0 0 0 393 11 0 0 20 0 15 0 109090467 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140726969258832 140314774736631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
/proc/24067/statm: 3229832 57303 3207 1 0 3218124 0
[pid=24067/tid=24068] ppid=24065 vsize=12919328 CPUtime=1.32 cores=1,3,5,7
/proc/24067/task/24068/stat : 24068 (java) R 24065 24065 2911 0 -1 4202560 8811 0 0 0 127 5 0 0 20 0 15 0 109090468 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140314778971808 140314388103401 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24069] ppid=24065 vsize=12919328 CPUtime=0.02 cores=1,3,5,7
/proc/24067/task/24069/stat : 24069 (java) S 24065 24065 2911 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 15 0 109090468 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140314711218960 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24070] ppid=24065 vsize=12919328 CPUtime=0.03 cores=1,3,5,7
/proc/24067/task/24070/stat : 24070 (java) S 24065 24065 2911 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 15 0 109090468 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140314710166416 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24071] ppid=24065 vsize=12919328 CPUtime=0.02 cores=1,3,5,7
/proc/24067/task/24071/stat : 24071 (java) S 24065 24065 2911 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 15 0 109090468 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140314709113872 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24072] ppid=24065 vsize=12919328 CPUtime=0.03 cores=1,3,5,7
/proc/24067/task/24072/stat : 24072 (java) S 24065 24065 2911 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 15 0 109090468 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140314708061328 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24073] ppid=24065 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24073/stat : 24073 (java) S 24065 24065 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 109090470 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313729345520 140314774747778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24074] ppid=24065 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24074/stat : 24074 (java) S 24065 24065 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 109090470 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313728291808 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24075] ppid=24065 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24075/stat : 24075 (java) S 24065 24065 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 109090470 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313727239168 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24076] ppid=24065 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24076/stat : 24076 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109090473 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313726187728 140314774755227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24077] ppid=24065 vsize=12919328 CPUtime=1 cores=1,3,5,7
/proc/24067/task/24077/stat : 24077 (java) R 24065 24065 2911 0 -1 4202560 2242 0 0 0 100 0 0 0 20 0 15 0 109090473 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313725125456 140314758233419 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24078] ppid=24065 vsize=12919328 CPUtime=1.02 cores=1,3,5,7
/proc/24067/task/24078/stat : 24078 (java) R 24065 24065 2911 0 -1 4202560 1916 0 0 0 102 0 0 0 20 0 15 0 109090473 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313724079168 140314754908717 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24079] ppid=24065 vsize=12919328 CPUtime=0.51 cores=1,3,5,7
/proc/24067/task/24079/stat : 24079 (java) S 24065 24065 2911 0 -1 1077944384 2399 0 0 0 51 0 0 0 20 0 15 0 109090473 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313723030256 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24080] ppid=24065 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24080/stat : 24080 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 109090473 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313721977952 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24081] ppid=24065 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24081/stat : 24081 (java) S 24065 24065 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 109090476 13229391872 57303 18446744073709551615 4194304 4196468 140726969276288 140313720924464 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 12928840
[startup+3.10216 s]
/proc/loadavg: 8.49 8.43 7.97 11/224 24089
/proc/meminfo: memFree=27756908/32770624 swapFree=0/374992
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
[pid=24067] ppid=24065 vsize=13186612 CPUtime=10.18 cores=1,3,5,7
/proc/24067/stat : 24067 (java) S 24065 24065 2911 0 -1 1077944320 20499 0 0 0 1004 14 0 0 20 0 19 0 109090467 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140726969258832 140314774736631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
/proc/24067/statm: 3296653 74743 3248 1 0 3284945 0
[pid=24067/tid=24068] ppid=24065 vsize=13186612 CPUtime=1.39 cores=1,3,5,7
/proc/24067/task/24068/stat : 24068 (java) S 24065 24065 2911 0 -1 1077944384 8870 0 0 0 134 5 0 0 20 0 19 0 109090468 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140314778977408 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24069] ppid=24065 vsize=13186612 CPUtime=0.02 cores=1,3,5,7
/proc/24067/task/24069/stat : 24069 (java) S 24065 24065 2911 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 19 0 109090468 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140314711218960 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24070] ppid=24065 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/24067/task/24070/stat : 24070 (java) S 24065 24065 2911 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 19 0 109090468 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140314710166416 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24071] ppid=24065 vsize=13186612 CPUtime=0.02 cores=1,3,5,7
/proc/24067/task/24071/stat : 24071 (java) S 24065 24065 2911 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 19 0 109090468 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140314709113872 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24072] ppid=24065 vsize=13186612 CPUtime=0.03 cores=1,3,5,7
/proc/24067/task/24072/stat : 24072 (java) S 24065 24065 2911 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 19 0 109090468 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140314708061328 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24073] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24073/stat : 24073 (java) S 24065 24065 2911 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313729345520 140314774747778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24074] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24074/stat : 24074 (java) S 24065 24065 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313728291808 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24075] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24075/stat : 24075 (java) S 24065 24065 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313727239168 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24076] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24076/stat : 24076 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313726187728 140314774755227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24077] ppid=24065 vsize=13186612 CPUtime=2.13 cores=1,3,5,7
/proc/24067/task/24077/stat : 24077 (java) R 24065 24065 2911 0 -1 4202560 2886 0 0 0 213 0 0 0 20 0 19 0 109090473 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313725135640 140314756254944 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24078] ppid=24065 vsize=13186612 CPUtime=2.05 cores=1,3,5,7
/proc/24067/task/24078/stat : 24078 (java) S 24065 24065 2911 0 -1 1077944384 3779 0 0 0 204 1 0 0 20 0 19 0 109090473 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313724082800 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24079] ppid=24065 vsize=13186612 CPUtime=0.75 cores=1,3,5,7
/proc/24067/task/24079/stat : 24079 (java) S 24065 24065 2911 0 -1 1077944384 2847 0 0 0 74 1 0 0 20 0 19 0 109090473 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313723030256 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24080] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24080/stat : 24080 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313721977952 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24081] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24081/stat : 24081 (java) S 24065 24065 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 109090476 13503090688 74743 18446744073709551615 4194304 4196468 140726969276288 140313720924464 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 13196124
[startup+6.30079 s]
/proc/loadavg: 8.37 8.41 7.97 7/224 24105
/proc/meminfo: memFree=27588804/32770624 swapFree=0/374992
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
[pid=24067] ppid=24065 vsize=13186612 CPUtime=17.71 cores=1,3,5,7
/proc/24067/stat : 24067 (java) S 24065 24065 2911 0 -1 1077944320 25458 0 0 0 1748 23 0 0 20 0 19 0 109090467 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140726969258832 140314774736631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
/proc/24067/statm: 3296653 100333 3262 1 0 3284945 0
[pid=24067/tid=24068] ppid=24065 vsize=13186612 CPUtime=1.39 cores=1,3,5,7
/proc/24067/task/24068/stat : 24068 (java) S 24065 24065 2911 0 -1 1077944384 9041 0 0 0 134 5 0 0 20 0 19 0 109090468 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140314778977408 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24069] ppid=24065 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/24067/task/24069/stat : 24069 (java) S 24065 24065 2911 0 -1 1077944384 257 0 0 0 4 2 0 0 20 0 19 0 109090468 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140314711218960 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24070] ppid=24065 vsize=13186612 CPUtime=0.07 cores=1,3,5,7
/proc/24067/task/24070/stat : 24070 (java) S 24065 24065 2911 0 -1 1077944384 227 0 0 0 4 3 0 0 20 0 19 0 109090468 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140314710166416 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24071] ppid=24065 vsize=13186612 CPUtime=0.06 cores=1,3,5,7
/proc/24067/task/24071/stat : 24071 (java) S 24065 24065 2911 0 -1 1077944384 160 0 0 0 4 2 0 0 20 0 19 0 109090468 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140314709113872 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24072] ppid=24065 vsize=13186612 CPUtime=0.07 cores=1,3,5,7
/proc/24067/task/24072/stat : 24072 (java) S 24065 24065 2911 0 -1 1077944384 152 0 0 0 5 2 0 0 20 0 19 0 109090468 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140314708061328 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24073] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24073/stat : 24073 (java) S 24065 24065 2911 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313729345520 140314774747778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24074] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24074/stat : 24074 (java) S 24065 24065 2911 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313728291808 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24075] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24075/stat : 24075 (java) S 24065 24065 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313727239168 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24076] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24076/stat : 24076 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313726187728 140314774755227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24077] ppid=24065 vsize=13186612 CPUtime=2.31 cores=1,3,5,7
/proc/24067/task/24077/stat : 24077 (java) S 24065 24065 2911 0 -1 1077944384 3766 0 0 0 231 0 0 0 20 0 19 0 109090473 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313725135344 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24078] ppid=24065 vsize=13186612 CPUtime=2.24 cores=1,3,5,7
/proc/24067/task/24078/stat : 24078 (java) S 24065 24065 2911 0 -1 1077944384 4556 0 0 0 223 1 0 0 20 0 19 0 109090473 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313724082800 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24079] ppid=24065 vsize=13186612 CPUtime=0.77 cores=1,3,5,7
/proc/24067/task/24079/stat : 24079 (java) S 24065 24065 2911 0 -1 1077944384 3366 0 0 0 76 1 0 0 20 0 19 0 109090473 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313723030256 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24080] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24080/stat : 24080 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313721977952 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24081] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24081/stat : 24081 (java) S 24065 24065 2911 0 -1 1077944384 660 0 0 0 0 0 0 0 20 0 19 0 109090476 13503090688 100333 18446744073709551615 4194304 4196468 140726969276288 140313720924464 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
Current children cumulated CPU time (s) 17.71
Current children cumulated vsize (KiB) 13196124
[startup+12.7012 s]
/proc/loadavg: 8.18 8.37 7.96 6/224 24121
/proc/meminfo: memFree=27322880/32770624 swapFree=0/374984
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
[pid=24067] ppid=24065 vsize=13186612 CPUtime=38.31 cores=1,3,5,7
/proc/24067/stat : 24067 (java) S 24065 24065 2911 0 -1 1077944320 32030 0 0 0 3799 32 0 0 20 0 19 0 109090467 13503090688 167114 18446744073709551615 4194304 4196468 140726969276288 140726969258832 140314774736631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
/proc/24067/statm: 3296653 167114 3264 1 0 3284945 0
[pid=24067/tid=24068] ppid=24065 vsize=13186612 CPUtime=1.4 cores=1,3,5,7
/proc/24067/task/24068/stat : 24068 (java) S 24065 24065 2911 0 -1 1077944384 9226 0 0 0 134 6 0 0 20 0 19 0 109090468 13503090688 167114 18446744073709551615 4194304 4196468 140726969276288 140314778977408 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24069] ppid=24065 vsize=13186612 CPUtime=0.11 cores=1,3,5,7
/proc/24067/task/24069/stat : 24069 (java) S 24065 24065 2911 0 -1 1077944384 303 0 0 0 8 3 0 0 20 0 19 0 109090468 13503090688 167114 18446744073709551615 4194304 4196468 140726969276288 140314711218960 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24070] ppid=24065 vsize=13186612 CPUtime=0.12 cores=1,3,5,7
/proc/24067/task/24070/stat : 24070 (java) S 24065 24065 2911 0 -1 1077944384 260 0 0 0 8 4 0 0 20 0 19 0 109090468 13503090688 167114 18446744073709551615 4194304 4196468 140726969276288 140314710166416 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
################
# More data... #
################
/proc/24065/statm: 2378 344 289 221 0 87 0
[pid=24067] ppid=24065 vsize=13186612 CPUtime=2204.83 cores=1,3,5,7
/proc/24067/stat : 24067 (java) S 24065 24065 2911 0 -1 1077944320 209294 0 0 0 220256 227 0 0 20 0 19 0 109090467 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140726969258832 140314774736631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
/proc/24067/statm: 3296653 694908 3279 1 0 3284945 0
[pid=24067/tid=24068] ppid=24065 vsize=13186612 CPUtime=1.42 cores=1,3,5,7
/proc/24067/task/24068/stat : 24068 (java) S 24065 24065 2911 0 -1 1077944384 11632 0 0 0 136 6 0 0 20 0 19 0 109090468 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140314778977408 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24069] ppid=24065 vsize=13186612 CPUtime=1.28 cores=1,3,5,7
/proc/24067/task/24069/stat : 24069 (java) S 24065 24065 2911 0 -1 1077944384 4568 0 0 0 115 13 0 0 20 0 19 0 109090468 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140314711218960 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24070] ppid=24065 vsize=13186612 CPUtime=1.29 cores=1,3,5,7
/proc/24067/task/24070/stat : 24070 (java) S 24065 24065 2911 0 -1 1077944384 4357 0 0 0 116 13 0 0 20 0 19 0 109090468 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140314710166416 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24071] ppid=24065 vsize=13186612 CPUtime=1.29 cores=1,3,5,7
/proc/24067/task/24071/stat : 24071 (java) S 24065 24065 2911 0 -1 1077944384 4668 0 0 0 117 12 0 0 20 0 19 0 109090468 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140314709113872 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24072] ppid=24065 vsize=13186612 CPUtime=1.28 cores=1,3,5,7
/proc/24067/task/24072/stat : 24072 (java) S 24065 24065 2911 0 -1 1077944384 5844 0 0 0 116 12 0 0 20 0 19 0 109090468 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140314708061328 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24073] ppid=24065 vsize=13186612 CPUtime=1.46 cores=1,3,5,7
/proc/24067/task/24073/stat : 24073 (java) S 24065 24065 2911 0 -1 1077944384 19078 0 0 0 47 99 0 0 20 0 19 0 109090470 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313729345520 140314774747778 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24074] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24074/stat : 24074 (java) S 24065 24065 2911 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313728291808 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24075] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24075/stat : 24075 (java) S 24065 24065 2911 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313727239168 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24076] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24076/stat : 24076 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313726187728 140314774755227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24077] ppid=24065 vsize=13186612 CPUtime=4.11 cores=1,3,5,7
/proc/24067/task/24077/stat : 24077 (java) S 24065 24065 2911 0 -1 1077944384 33604 0 0 0 409 2 0 0 20 0 19 0 109090473 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313725135344 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24078] ppid=24065 vsize=13186612 CPUtime=3.94 cores=1,3,5,7
/proc/24067/task/24078/stat : 24078 (java) S 24065 24065 2911 0 -1 1077944384 33096 0 0 0 392 2 0 0 20 0 19 0 109090473 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313724082800 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24079] ppid=24065 vsize=13186612 CPUtime=0.96 cores=1,3,5,7
/proc/24067/task/24079/stat : 24079 (java) S 24065 24065 2911 0 -1 1077944384 16541 0 0 0 94 2 0 0 20 0 19 0 109090473 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313723030256 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24080] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24080/stat : 24080 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313721977952 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24081] ppid=24065 vsize=13186612 CPUtime=0.29 cores=1,3,5,7
/proc/24067/task/24081/stat : 24081 (java) S 24065 24065 2911 0 -1 1077944384 3967 0 0 0 12 17 0 0 20 0 19 0 109090476 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313720924464 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24172] ppid=24065 vsize=13186612 CPUtime=478.22 cores=1,3,5,7
/proc/24067/task/24172/stat : 24172 (java) R 24065 24065 2911 0 -1 4202560 11111 0 0 0 47820 2 0 0 20 0 19 0 109100367 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313710806592 140314391655842 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24173] ppid=24065 vsize=13186612 CPUtime=479.79 cores=1,3,5,7
/proc/24067/task/24173/stat : 24173 (java) R 24065 24065 2911 0 -1 4202560 9377 0 0 0 47975 4 0 0 20 0 19 0 109100367 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313709752016 140314387801466 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24174] ppid=24065 vsize=13186612 CPUtime=478.9 cores=1,3,5,7
/proc/24067/task/24174/stat : 24174 (java) R 24065 24065 2911 0 -1 4202560 5961 0 0 0 47888 2 0 0 20 0 19 0 109100367 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313708699120 140314392420617 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24175] ppid=24065 vsize=13186612 CPUtime=479.74 cores=1,3,5,7
/proc/24067/task/24175/stat : 24175 (java) R 24065 24065 2911 0 -1 4202560 4633 0 0 0 47973 1 0 0 20 0 19 0 109100367 13503090688 694908 18446744073709551615 4194304 4196468 140726969276288 140313712910632 140314392422004 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
Current children cumulated CPU time (s) 2204.83
Current children cumulated vsize (KiB) 13196124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+631.901 s]
/proc/loadavg: 7.77 7.98 7.94 10/225 24341
/proc/meminfo: memFree=25125172/32770624 swapFree=0/375184
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
[pid=24067] ppid=24065 vsize=13186612 CPUtime=2400.28 cores=1,3,5,7
/proc/24067/stat : 24067 (java) S 24065 24065 2911 0 -1 1077944320 222921 0 0 0 239740 288 0 0 20 0 19 0 109090467 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140726969258832 140314774736631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
/proc/24067/statm: 3296653 678062 3280 1 0 3284945 0
[pid=24067/tid=24068] ppid=24065 vsize=13186612 CPUtime=1.42 cores=1,3,5,7
/proc/24067/task/24068/stat : 24068 (java) S 24065 24065 2911 0 -1 1077944384 11632 0 0 0 136 6 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314778977408 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24069] ppid=24065 vsize=13186612 CPUtime=1.6 cores=1,3,5,7
/proc/24067/task/24069/stat : 24069 (java) S 24065 24065 2911 0 -1 1077944384 4905 0 0 0 147 13 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314711218960 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24070] ppid=24065 vsize=13186612 CPUtime=1.61 cores=1,3,5,7
/proc/24067/task/24070/stat : 24070 (java) S 24065 24065 2911 0 -1 1077944384 5606 0 0 0 148 13 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314710166416 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24071] ppid=24065 vsize=13186612 CPUtime=1.61 cores=1,3,5,7
/proc/24067/task/24071/stat : 24071 (java) S 24065 24065 2911 0 -1 1077944384 5146 0 0 0 148 13 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314709113872 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24072] ppid=24065 vsize=13186612 CPUtime=1.61 cores=1,3,5,7
/proc/24067/task/24072/stat : 24072 (java) S 24065 24065 2911 0 -1 1077944384 6468 0 0 0 148 13 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314708061328 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24073] ppid=24065 vsize=13186612 CPUtime=2.31 cores=1,3,5,7
/proc/24067/task/24073/stat : 24073 (java) S 24065 24065 2911 0 -1 1077944384 26319 0 0 0 72 159 0 0 20 0 19 0 109090470 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313729345520 140314774747778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24074] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24074/stat : 24074 (java) S 24065 24065 2911 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313728291808 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24075] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24075/stat : 24075 (java) S 24065 24065 2911 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313727239168 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24076] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24076/stat : 24076 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313726187728 140314774755227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24077] ppid=24065 vsize=13186612 CPUtime=4.13 cores=1,3,5,7
/proc/24067/task/24077/stat : 24077 (java) S 24065 24065 2911 0 -1 1077944384 35010 0 0 0 411 2 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313725135344 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24078] ppid=24065 vsize=13186612 CPUtime=3.95 cores=1,3,5,7
/proc/24067/task/24078/stat : 24078 (java) S 24065 24065 2911 0 -1 1077944384 33101 0 0 0 393 2 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313724082800 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24079] ppid=24065 vsize=13186612 CPUtime=0.96 cores=1,3,5,7
/proc/24067/task/24079/stat : 24079 (java) S 24065 24065 2911 0 -1 1077944384 16653 0 0 0 94 2 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313723030256 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24080] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24080/stat : 24080 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313721977952 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24081] ppid=24065 vsize=13186612 CPUtime=0.31 cores=1,3,5,7
/proc/24067/task/24081/stat : 24081 (java) S 24065 24065 2911 0 -1 1077944384 4008 0 0 0 13 18 0 0 20 0 19 0 109090476 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313720924464 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24172] ppid=24065 vsize=13186612 CPUtime=526.33 cores=1,3,5,7
/proc/24067/task/24172/stat : 24172 (java) R 24065 24065 2911 0 -1 4202560 12166 0 0 0 52630 3 0 0 20 0 19 0 109100367 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313710806592 140314391980311 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24173] ppid=24065 vsize=13186612 CPUtime=528.67 cores=1,3,5,7
/proc/24067/task/24173/stat : 24173 (java) R 24065 24065 2911 0 -1 4202560 9653 0 0 0 52862 5 0 0 20 0 19 0 109100367 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313709752032 140314387801714 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24174] ppid=24065 vsize=13186612 CPUtime=527.01 cores=1,3,5,7
/proc/24067/task/24174/stat : 24174 (java) R 24065 24065 2911 0 -1 4202560 6424 0 0 0 52699 2 0 0 20 0 19 0 109100367 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313708699656 140314389674640 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24175] ppid=24065 vsize=13186612 CPUtime=527.91 cores=1,3,5,7
/proc/24067/task/24175/stat : 24175 (java) R 24065 24065 2911 0 -1 4202560 4973 0 0 0 52789 2 0 0 20 0 19 0 109100367 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313712910496 140314389674645 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
Current children cumulated CPU time (s) 2400.28
Current children cumulated vsize (KiB) 13196124
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 24067 sig 9
??? kill 24065 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+631.901 s]
/proc/loadavg: 7.77 7.98 7.94 10/225 24341
/proc/meminfo: memFree=25125172/32770624 swapFree=0/375184
[pid=24065] ppid=24062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/24065/stat : 24065 (xcsp3-exec) S 24062 24065 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 109090460 9740288 344 18446744073709551615 4194304 5098028 140722697817216 140722697815320 140581670929020 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 10289152 140722697818520 140722697818730 140722697818730 140722697822187 0
/proc/24065/statm: 2378 344 289 221 0 87 0
[pid=24067] ppid=24065 vsize=13186612 CPUtime=2400.28 cores=1,3,5,7
/proc/24067/stat : 24067 (java) S 24065 24065 2911 0 -1 1077944320 222921 0 0 0 239740 288 0 0 20 0 19 0 109090467 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140726969258832 140314774736631 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
/proc/24067/statm: 3296653 678062 3280 1 0 3284945 0
[pid=24067/tid=24068] ppid=24065 vsize=13186612 CPUtime=1.42 cores=1,3,5,7
/proc/24067/task/24068/stat : 24068 (java) S 24065 24065 2911 0 -1 1077944384 11632 0 0 0 136 6 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314778977408 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24069] ppid=24065 vsize=13186612 CPUtime=1.6 cores=1,3,5,7
/proc/24067/task/24069/stat : 24069 (java) S 24065 24065 2911 0 -1 1077944384 4905 0 0 0 147 13 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314711218960 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24070] ppid=24065 vsize=13186612 CPUtime=1.61 cores=1,3,5,7
/proc/24067/task/24070/stat : 24070 (java) S 24065 24065 2911 0 -1 1077944384 5606 0 0 0 148 13 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314710166416 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24071] ppid=24065 vsize=13186612 CPUtime=1.61 cores=1,3,5,7
/proc/24067/task/24071/stat : 24071 (java) S 24065 24065 2911 0 -1 1077944384 5146 0 0 0 148 13 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314709113872 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24072] ppid=24065 vsize=13186612 CPUtime=1.61 cores=1,3,5,7
/proc/24067/task/24072/stat : 24072 (java) S 24065 24065 2911 0 -1 1077944384 6468 0 0 0 148 13 0 0 20 0 19 0 109090468 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140314708061328 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24073] ppid=24065 vsize=13186612 CPUtime=2.31 cores=1,3,5,7
/proc/24067/task/24073/stat : 24073 (java) S 24065 24065 2911 0 -1 1077944384 26319 0 0 0 72 159 0 0 20 0 19 0 109090470 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313729345520 140314774747778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24074] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24074/stat : 24074 (java) S 24065 24065 2911 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313728291808 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24075] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24075/stat : 24075 (java) S 24065 24065 2911 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 109090470 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313727239168 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24076] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24076/stat : 24076 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313726187728 140314774755227 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24077] ppid=24065 vsize=13186612 CPUtime=4.13 cores=1,3,5,7
/proc/24067/task/24077/stat : 24077 (java) S 24065 24065 2911 0 -1 1077944384 35010 0 0 0 411 2 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313725135344 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24078] ppid=24065 vsize=13186612 CPUtime=3.95 cores=1,3,5,7
/proc/24067/task/24078/stat : 24078 (java) S 24065 24065 2911 0 -1 1077944384 33101 0 0 0 393 2 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313724082800 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24079] ppid=24065 vsize=13186612 CPUtime=0.96 cores=1,3,5,7
/proc/24067/task/24079/stat : 24079 (java) S 24065 24065 2911 0 -1 1077944384 16653 0 0 0 94 2 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313723030256 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24080] ppid=24065 vsize=13186612 CPUtime=0 cores=1,3,5,7
/proc/24067/task/24080/stat : 24080 (java) S 24065 24065 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 109090473 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313721977952 140314774746837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24081] ppid=24065 vsize=13186612 CPUtime=0.31 cores=1,3,5,7
/proc/24067/task/24081/stat : 24081 (java) S 24065 24065 2911 0 -1 1077944384 4008 0 0 0 13 18 0 0 20 0 19 0 109090476 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313720924464 140314774747778 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24172] ppid=24065 vsize=13186612 CPUtime=526.33 cores=1,3,5,7
/proc/24067/task/24172/stat : 24172 (java) R 24065 24065 2911 0 -1 4202560 12166 0 0 0 52630 3 0 0 20 0 19 0 109100367 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313710806592 140314391980311 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24173] ppid=24065 vsize=13186612 CPUtime=528.67 cores=1,3,5,7
/proc/24067/task/24173/stat : 24173 (java) R 24065 24065 2911 0 -1 4202560 9653 0 0 0 52862 5 0 0 20 0 19 0 109100367 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313709752032 140314387801714 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24174] ppid=24065 vsize=13186612 CPUtime=527.01 cores=1,3,5,7
/proc/24067/task/24174/stat : 24174 (java) R 24065 24065 2911 0 -1 4202560 6424 0 0 0 52699 2 0 0 20 0 19 0 109100367 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313708699656 140314389674640 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
[pid=24067/tid=24175] ppid=24065 vsize=13186612 CPUtime=527.91 cores=1,3,5,7
/proc/24067/task/24175/stat : 24175 (java) R 24065 24065 2911 0 -1 4202560 4973 0 0 0 52789 2 0 0 20 0 19 0 109100367 13503090688 678062 18446744073709551615 4194304 4196468 140726969276288 140313712910496 140314389674645 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17698816 140726969283030 140726969283206 140726969283206 140726969286607 0
Current children cumulated CPU time (s) 2400.28
Current children cumulated vsize (KiB) 13196124
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24065 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=934
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=934
# CPU time returned by wait4() is 0.001868
# while last known CPU time is 2400.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 631.93
CPU time (s): 2400.28
CPU user time (s): 2397.4
CPU system time (s): 2.88
CPU usage (%): 379.833
Max. virtual memory (cumulated for all children) (KiB): 13196124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000934
system time used= 0.000934
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.20045 second user time and 4.90051 second system time
The end