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-4253977-1501613550/watcher-4253977-1501613550 -o /tmp/evaluation-result-4253977-1501613550/solver-4253977-1501613550 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5288 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 513326965 HOME/instance-4253977-1501613550.xml
pid=6939
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.00 1.76 3/199 6942
/proc/meminfo: memFree=29434336/32770624 swapFree=0/181228
[pid=6942] ppid=6939 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (runsolver) D 6939 6942 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9170380 24240128 106 18446744073709551615 4194304 4338465 140731780004848 140731780002488 140344787878615 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 32489472 140731780005982 140731780006470 140731780006470 140731780009930 0
/proc/6942/statm: 5918 106 53 36 0 2156 0
[startup+0.100176 s]
/proc/loadavg: 2.08 2.00 1.76 3/199 6942
/proc/meminfo: memFree=29434336/32770624 swapFree=0/181228
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200343 s]
/proc/loadavg: 2.08 2.00 1.76 3/199 6942
/proc/meminfo: memFree=29434336/32770624 swapFree=0/181228
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30301 s]
/proc/loadavg: 2.08 2.00 1.76 3/199 6942
/proc/meminfo: memFree=29434336/32770624 swapFree=0/181228
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701127 s]
/proc/loadavg: 2.08 2.00 1.76 3/199 6942
/proc/meminfo: memFree=29434336/32770624 swapFree=0/181228
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 2.08 2.00 1.76 5/215 6958
/proc/meminfo: memFree=29361088/32770624 swapFree=0/181224
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
[pid=6944] ppid=6942 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6942 5228 0 -1 1077944320 21770 0 0 0 327 6 0 0 20 0 15 0 9170386 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140735210262528 140165591322359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
/proc/6944/statm: 3495183 22048 3174 1 0 3483484 0
[pid=6944/tid=6945] ppid=6942 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 5228 0 -1 4202560 8775 0 0 0 134 4 0 0 20 0 15 0 9170386 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165595558472 140165204678788 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6946] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165525757072 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6947] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165524704272 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6948] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165523651472 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6949] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165522598672 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6950] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9170388 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165069257072 140165591333506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6951] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165068203040 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6952] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165067150192 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6953] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165066098512 140165591340955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6954] ppid=6942 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) R 6942 6942 5228 0 -1 4202560 4937 0 0 0 85 1 0 0 20 0 15 0 9170392 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165065046896 140165574860828 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6955] ppid=6942 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 5228 0 -1 1077944384 4956 0 0 0 71 0 0 0 20 0 15 0 9170392 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165063994096 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6956] ppid=6942 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 5228 0 -1 1077944384 1794 0 0 0 35 0 0 0 20 0 15 0 9170392 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165062941296 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6957] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165061888736 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6958] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170396 14316269568 22048 18446744073709551615 4194304 4196468 140735210279984 140165060836016 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 2.08 2.00 1.76 3/215 6958
/proc/meminfo: memFree=29359724/32770624 swapFree=0/181224
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
[pid=6944] ppid=6942 vsize=13980732 CPUtime=5.09 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6942 5228 0 -1 1077944320 22599 0 0 0 502 7 0 0 20 0 15 0 9170386 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140735210262528 140165591322359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
/proc/6944/statm: 3495183 22133 3174 1 0 3483484 0
[pid=6944/tid=6945] ppid=6942 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 5228 0 -1 4202560 8987 0 0 0 294 4 0 0 20 0 15 0 9170386 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165595558160 140165204625184 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6946] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165525757072 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6947] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165524704272 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6948] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165523651472 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6949] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165522598672 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6950] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9170388 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165069257072 140165591333506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6951] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165068203040 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6952] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165067150192 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6953] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165066098512 140165591340955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6954] ppid=6942 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 5228 0 -1 1077944384 5114 0 0 0 96 1 0 0 20 0 15 0 9170392 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165065046896 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6955] ppid=6942 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 5228 0 -1 1077944384 4965 0 0 0 73 0 0 0 20 0 15 0 9170392 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165063994096 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6956] ppid=6942 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 5228 0 -1 1077944384 2167 0 0 0 38 0 0 0 20 0 15 0 9170392 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165062941296 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6957] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165061888736 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6958] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 5228 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9170396 14316269568 22133 18446744073709551615 4194304 4196468 140735210279984 140165060836016 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 1.99 1.99 1.76 3/215 6958
/proc/meminfo: memFree=29361072/32770624 swapFree=0/181236
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
[pid=6944] ppid=6942 vsize=13980732 CPUtime=8.49 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6942 5228 0 -1 1077944320 27319 0 0 0 842 7 0 0 20 0 15 0 9170386 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140735210262528 140165591322359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
/proc/6944/statm: 3495183 21441 3178 1 0 3483484 0
[pid=6944/tid=6945] ppid=6942 vsize=13980732 CPUtime=6.17 cores=0,2,4,6
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 5228 0 -1 4202560 9870 0 0 0 613 4 0 0 20 0 15 0 9170386 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165595558160 140165205480110 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6946] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165525757072 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6947] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165524704272 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6948] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165523651472 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6949] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165522598672 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6950] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 5228 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 9170388 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165069257072 140165591333506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6951] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165068203040 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6952] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165067150192 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6953] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165066098512 140165591340955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6954] ppid=6942 vsize=13980732 CPUtime=1.1 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 5228 0 -1 1077944384 7174 0 0 0 109 1 0 0 20 0 15 0 9170392 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165065046896 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6955] ppid=6942 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 5228 0 -1 1077944384 5344 0 0 0 76 0 0 0 20 0 15 0 9170392 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165063994096 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6956] ppid=6942 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 5228 0 -1 1077944384 2901 0 0 0 41 0 0 0 20 0 15 0 9170392 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165062941296 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6957] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165061888736 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6958] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 5228 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 9170396 14316269568 21441 18446744073709551615 4194304 4196468 140735210279984 140165060836016 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.99 1.99 1.76 3/214 6958
/proc/meminfo: memFree=29359132/32770624 swapFree=0/181236
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
[pid=6944] ppid=6942 vsize=13980732 CPUtime=15.18 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6942 5228 0 -1 1077944320 31161 0 0 0 1511 7 0 0 20 0 15 0 9170386 14316269568 22017 18446744073709551615 4194304 4196468 140735210279984 140735210262528 140165591322359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
/proc/6944/statm: 3495183 22017 3183 1 0 3483484 0
[pid=6944/tid=6945] ppid=6942 vsize=13980732 CPUtime=12.57 cores=0,2,4,6
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 5228 0 -1 4202560 10570 0 0 0 1253 4 0 0 20 0 15 0 9170386 14316269568 22017 18446744073709551615 4194304 4196468 140735210279984 140165595558920 140165205917028 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6946] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22017 18446744073709551615 4194304 4196468 140735210279984 140165525757072 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6947] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 22017 18446744073709551615 4194304 4196468 140735210279984 140165524704272 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
################
# More data... #
################
/proc/6944/stat : 6944 (java) S 6942 6942 5228 0 -1 1077944320 45094 0 0 0 10547 9 0 0 20 0 15 0 9170386 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140735210262528 140165591322359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
/proc/6944/statm: 3495183 41138 3193 1 0 3483484 0
[pid=6944/tid=6945] ppid=6942 vsize=13980732 CPUtime=102.18 cores=0,2,4,6
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 5228 0 -1 4202560 12994 0 0 0 10213 5 0 0 20 0 15 0 9170386 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165595561912 140165205480119 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6946] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165525757072 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6947] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165524704272 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6948] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165523651472 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6949] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165522598672 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6950] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 5228 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 15 0 9170388 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165069257072 140165591333506 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6951] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165068203040 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6952] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165067150192 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6953] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165066098512 140165591340955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6954] ppid=6942 vsize=13980732 CPUtime=1.55 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 5228 0 -1 1077944384 12643 0 0 0 153 2 0 0 20 0 15 0 9170392 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165065046896 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6955] ppid=6942 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 5228 0 -1 1077944384 11731 0 0 0 130 1 0 0 20 0 15 0 9170392 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165063994096 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6956] ppid=6942 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 5228 0 -1 1077944384 5174 0 0 0 46 0 0 0 20 0 15 0 9170392 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165062941296 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6957] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165061888736 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6958] ppid=6942 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 5228 0 -1 1077944384 757 0 0 0 1 1 0 0 20 0 15 0 9170396 14316269568 41138 18446744073709551615 4194304 4196468 140735210279984 140165060836016 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
Current children cumulated CPU time (s) 105.56
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.79 3/216 7048
/proc/meminfo: memFree=31561976/32770624 swapFree=0/181316
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
[pid=6944] ppid=6942 vsize=13980732 CPUtime=165.73 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6942 5228 0 -1 1077944320 49931 0 0 0 16563 10 0 0 20 0 15 0 9170386 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140735210262528 140165591322359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
/proc/6944/statm: 3495183 50440 3214 1 0 3483484 0
[pid=6944/tid=6945] ppid=6942 vsize=13980732 CPUtime=162.18 cores=0,2,4,6
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 5228 0 -1 4202560 13189 0 0 0 16213 5 0 0 20 0 15 0 9170386 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165595561160 140165205480160 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6946] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 5228 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165525757072 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6947] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 5228 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165524704272 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6948] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 5228 0 -1 1077944384 526 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165523651472 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6949] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 5228 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165522598672 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6950] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 5228 0 -1 1077944384 717 0 0 0 0 0 0 0 20 0 15 0 9170388 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165069257072 140165591333506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6951] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 5228 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165068203040 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6952] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165067150192 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6953] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165066098512 140165591340955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6954] ppid=6942 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 5228 0 -1 1077944384 13864 0 0 0 161 2 0 0 20 0 15 0 9170392 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165065046896 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6955] ppid=6942 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 5228 0 -1 1077944384 12619 0 0 0 134 1 0 0 20 0 15 0 9170392 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165063994096 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6956] ppid=6942 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 5228 0 -1 1077944384 6267 0 0 0 47 0 0 0 20 0 15 0 9170392 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165062941296 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6957] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165061888736 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6958] ppid=6942 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 5228 0 -1 1077944384 799 0 0 0 2 2 0 0 20 0 15 0 9170396 14316269568 50440 18446744073709551615 4194304 4196468 140735210279984 140165060836016 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
Current children cumulated CPU time (s) 165.73
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.99 1.98 1.80 3/216 7050
/proc/meminfo: memFree=31545700/32770624 swapFree=0/181344
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
[pid=6944] ppid=6942 vsize=13980732 CPUtime=225.78 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6942 5228 0 -1 1077944320 49979 0 0 0 22567 11 0 0 20 0 15 0 9170386 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140735210262528 140165591322359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
/proc/6944/statm: 3495183 54432 3218 1 0 3483484 0
[pid=6944/tid=6945] ppid=6942 vsize=13980732 CPUtime=222.19 cores=0,2,4,6
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 5228 0 -1 4202560 13202 0 0 0 22214 5 0 0 20 0 15 0 9170386 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165595559864 140165205480257 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6946] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 5228 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165525757072 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6947] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 5228 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165524704272 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6948] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 5228 0 -1 1077944384 526 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165523651472 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6949] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 5228 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165522598672 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6950] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 5228 0 -1 1077944384 717 0 0 0 0 0 0 0 20 0 15 0 9170388 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165069257072 140165591333506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6951] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 5228 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165068203040 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6952] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165067150192 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6953] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165066098512 140165591340955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6954] ppid=6942 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 5228 0 -1 1077944384 13884 0 0 0 163 2 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165065046896 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6955] ppid=6942 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 5228 0 -1 1077944384 12622 0 0 0 134 1 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165063994096 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6956] ppid=6942 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 5228 0 -1 1077944384 6279 0 0 0 48 0 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165062941296 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6957] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165061888736 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6958] ppid=6942 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 5228 0 -1 1077944384 799 0 0 0 3 3 0 0 20 0 15 0 9170396 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165060836016 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
Current children cumulated CPU time (s) 225.78
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.00 1.99 1.81 3/216 7051
/proc/meminfo: memFree=31545708/32770624 swapFree=0/181368
[pid=6942] ppid=6939 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6942/stat : 6942 (xcsp3-exec) S 6939 6942 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9170380 9740288 345 18446744073709551615 4194304 5098028 140731967233808 140731967231912 139708407296636 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 14512128 140731967238556 140731967238759 140731967238759 140731967242219 0
/proc/6942/statm: 2378 345 289 221 0 87 0
[pid=6944] ppid=6942 vsize=13980732 CPUtime=243.49 cores=0,2,4,6
/proc/6944/stat : 6944 (java) S 6942 6942 5228 0 -1 1077944320 50191 0 0 0 24338 11 0 0 20 0 15 0 9170386 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140735210262528 140165591322359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
/proc/6944/statm: 3495183 54432 3218 1 0 3483484 0
[pid=6944/tid=6945] ppid=6942 vsize=13980732 CPUtime=239.88 cores=0,2,4,6
/proc/6944/task/6945/stat : 6945 (java) R 6942 6942 5228 0 -1 4202560 13403 0 0 0 23983 5 0 0 20 0 15 0 9170386 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165595561176 140165205480395 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6946] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6946/stat : 6946 (java) S 6942 6942 5228 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165525757072 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6947] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6947/stat : 6947 (java) S 6942 6942 5228 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165524704272 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6948] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6948/stat : 6948 (java) S 6942 6942 5228 0 -1 1077944384 526 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165523651472 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6949] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6949/stat : 6949 (java) S 6942 6942 5228 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 9170387 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165522598672 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6950] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6950/stat : 6950 (java) S 6942 6942 5228 0 -1 1077944384 718 0 0 0 0 0 0 0 20 0 15 0 9170388 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165069257072 140165591333506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6951] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6951/stat : 6951 (java) S 6942 6942 5228 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165068203040 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6952] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6952/stat : 6952 (java) S 6942 6942 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9170389 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165067150192 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6953] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6953/stat : 6953 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165066098512 140165591340955 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6954] ppid=6942 vsize=13980732 CPUtime=1.65 cores=0,2,4,6
/proc/6944/task/6954/stat : 6954 (java) S 6942 6942 5228 0 -1 1077944384 13887 0 0 0 163 2 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165065046896 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6955] ppid=6942 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/6944/task/6955/stat : 6955 (java) S 6942 6942 5228 0 -1 1077944384 12624 0 0 0 134 1 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165063994096 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6956] ppid=6942 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/6944/task/6956/stat : 6956 (java) S 6942 6942 5228 0 -1 1077944384 6282 0 0 0 48 0 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165062941296 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6957] ppid=6942 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6944/task/6957/stat : 6957 (java) S 6942 6942 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9170392 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165061888736 140165591332565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
[pid=6944/tid=6958] ppid=6942 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6944/task/6958/stat : 6958 (java) S 6942 6942 5228 0 -1 1077944384 801 0 0 0 3 3 0 0 20 0 15 0 9170396 14316269568 54432 18446744073709551615 4194304 4196468 140735210279984 140165060836016 140165591333506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16584704 140735210283476 140735210283651 140735210283651 140735210287055 0
Current children cumulated CPU time (s) 243.49
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Solver just ended.
Sleeping 2 seconds
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6944 sig 9
??? kill 6942 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.01
CPU time (s): 243.511
CPU user time (s): 243.393
CPU system time (s): 0.11807
CPU usage (%): 101.459
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.393
system time used= 0.11807
maximum resident set size= 218252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7790
involuntary context switches= 163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22105 second user time and 1.23144 second system time
The end