runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15313 MiB free)
memory of node 1: 16384 MiB (15314 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284092-1503223717/watcher-4284092-1503223717 -o /tmp/evaluation-result-4284092-1503223717/solver-4284092-1503223717 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1913104385 HOME/instance-4284092-1503223717.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9967, runsolver pid=9964
[startup+0.100067 s]*
/proc/loadavg: 1.85 1.67 1.61 3/208 9979
/proc/meminfo: memFree=31353460/32770624 swapFree=67108860/67108860
[pid=9967] ppid=9964 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9967/stat : 9967 (xcsp3-exec) S 9964 9967 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 20780782 9740288 344 18446744073709551615 4194304 5098028 140734287444832 140734287442936 140491530146428 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 20742144 140734287450489 140734287450694 140734287450694 140734287454187 0
/proc/9967/statm: 2378 344 289 221 0 87 0
[pid=9969] ppid=9967 vsize=13907304 memory=21040 CPUtime=0.05 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9967 17292 0 -1 1077944320 4644 0 0 0 4 1 0 0 20 0 14 0 20780787 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140727257905232 140449514458871 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
/proc/9969/statm: 3476826 5260 2578 1 0 3466323 0
[pid=9969/tid=9970] ppid=9967 vsize=13907304 memory=1404226546251833994 CPUtime=0.04 cores=0,2,4,6
/proc/9969/task/9970/stat : 9970 (java) D 9967 9967 17292 0 -1 4202560 2822 0 0 0 4 0 0 0 20 0 14 0 20780787 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449518696352 140449514480893 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9971] ppid=9967 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20780788 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449471425552 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9972] ppid=9967 vsize=13907304 memory=140612372620928 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20780788 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449470373008 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9973] ppid=9967 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20780788 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449469319952 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9974] ppid=9967 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9967 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 20780788 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449468267408 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9975] ppid=9967 vsize=13907304 memory=140612372620928 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9967 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 20780789 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449060124912 140449514470018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9976] ppid=9967 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9967 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 20780790 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449059071136 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9977] ppid=9967 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9967 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 20780790 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449058018032 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9978] ppid=9967 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 20780792 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449056966608 140449514477467 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9979] ppid=9967 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9967 17292 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 20780792 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140449055914736 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9980] ppid=9967 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20780792 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140448987343728 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9981] ppid=9967 vsize=13907304 memory=140612372620928 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9967 17292 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 14 0 20780792 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140448986290672 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9982] ppid=9967 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 20780793 14241079296 5260 18446744073709551615 4194304 4196468 140727257922688 140448985238368 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22416 KiB
[startup+0.210543 s]*
/proc/loadavg: 1.85 1.67 1.61 4/212 9983
/proc/meminfo: memFree=31343980/32770624 swapFree=67108860/67108860
[pid=9967] ppid=9964 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9967/stat : 9967 (xcsp3-exec) S 9964 9967 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 20780782 9740288 344 18446744073709551615 4194304 5098028 140734287444832 140734287442936 140491530146428 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 20742144 140734287450489 140734287450694 140734287450694 140734287454187 0
/proc/9967/statm: 2378 344 289 221 0 87 0
[pid=9969] ppid=9967 vsize=13974352 memory=31484 CPUtime=0.21 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9967 17292 0 -1 1077944320 6284 0 0 0 19 2 0 0 20 0 15 0 20780787 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140727257905232 140449514458871 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
/proc/9969/statm: 3493588 7871 2965 1 0 3482964 0
[pid=9969/tid=9970] ppid=9967 vsize=13974352 memory=7022364594140610616 CPUtime=0.12 cores=0,2,4,6
/proc/9969/task/9970/stat : 9970 (java) R 9967 9967 17292 0 -1 4202560 3517 0 0 0 12 0 0 0 20 0 15 0 20780787 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449518693584 140449514480797 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9971] ppid=9967 vsize=13974352 memory=4294977909 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449471425552 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9972] ppid=9967 vsize=13974352 memory=140612372846040 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449470373008 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9973] ppid=9967 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449469319952 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9974] ppid=9967 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9967 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20780788 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449468267408 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9975] ppid=9967 vsize=13974352 memory=140612372620928 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9967 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20780789 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449060124912 140449514470018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9976] ppid=9967 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9967 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20780790 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449059071136 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9977] ppid=9967 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9967 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20780790 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449058018032 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9978] ppid=9967 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780792 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449056966608 140449514477467 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9979] ppid=9967 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9967 17292 0 -1 1077944384 694 0 0 0 1 0 0 0 20 0 15 0 20780792 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140449055914736 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9980] ppid=9967 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9967 17292 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 20780792 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140448987343728 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9981] ppid=9967 vsize=13974352 memory=140612372620928 CPUtime=0.04 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) R 9967 9967 17292 0 -1 4202560 697 0 0 0 4 0 0 0 20 0 15 0 20780792 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140448986290672 140449493427704 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9982] ppid=9967 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780793 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140448985238368 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9983] ppid=9967 vsize=13974352 memory=140612372620928 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780796 14309736448 7871 18446744073709551615 4194304 4196468 140727257922688 140448984185392 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32860 KiB
[startup+0.317553 s]*
/proc/loadavg: 1.85 1.67 1.61 4/212 9983
/proc/meminfo: memFree=31333852/32770624 swapFree=67108860/67108860
[pid=9967] ppid=9964 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9967/stat : 9967 (xcsp3-exec) S 9964 9967 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 20780782 9740288 344 18446744073709551615 4194304 5098028 140734287444832 140734287442936 140491530146428 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 20742144 140734287450489 140734287450694 140734287450694 140734287454187 0
/proc/9967/statm: 2378 344 289 221 0 87 0
[pid=9969] ppid=9967 vsize=13978608 memory=42724 CPUtime=0.38 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9967 17292 0 -1 1077944320 9874 0 0 0 34 4 0 0 20 0 15 0 20780787 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140727257905232 140449514458871 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
/proc/9969/statm: 3494652 10681 3027 1 0 3482964 0
[pid=9969/tid=9970] ppid=9967 vsize=13978608 memory=6933928925625698159 CPUtime=0.23 cores=0,2,4,6
/proc/9969/task/9970/stat : 9970 (java) R 9967 9967 17292 0 -1 4202560 6961 0 0 0 21 2 0 0 20 0 15 0 20780787 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449518683440 140449498539358 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9971] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449471425552 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9972] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449470373008 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9973] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449469319952 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9974] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9967 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20780788 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449468267408 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9975] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9967 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20780789 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449060124912 140449514470018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9976] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9967 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20780790 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449059071136 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9977] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9967 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20780790 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449058018032 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9978] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780792 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449056966608 140449514477467 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9979] ppid=9967 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) R 9967 9967 17292 0 -1 4202560 698 0 0 0 2 0 0 0 20 0 15 0 20780792 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140449055914736 140449514470806 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9980] ppid=9967 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) R 9967 9967 17292 0 -1 4202560 178 0 0 0 2 0 0 0 20 0 15 0 20780792 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140448987343728 140449507443913 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9981] ppid=9967 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) R 9967 9967 17292 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 20780792 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140448986290672 140449514480218 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9982] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780793 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140448985238368 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9983] ppid=9967 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780796 14314094592 10681 18446744073709551615 4194304 4196468 140727257922688 140448984185392 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 44100 KiB
[startup+0.701596 s]
/proc/loadavg: 1.85 1.67 1.61 5/212 9983
/proc/meminfo: memFree=31313336/32770624 swapFree=67108860/67108860
[pid=9967] ppid=9964 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9967/stat : 9967 (xcsp3-exec) S 9964 9967 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 20780782 9740288 344 18446744073709551615 4194304 5098028 140734287444832 140734287442936 140491530146428 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 20742144 140734287450489 140734287450694 140734287450694 140734287454187 0
/proc/9967/statm: 2378 344 289 221 0 87 0
[pid=9969] ppid=9967 vsize=13978684 memory=115752 CPUtime=1.49 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9967 17292 0 -1 1077944320 13407 0 0 0 143 6 0 0 20 0 15 0 20780787 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140727257905232 140449514458871 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
/proc/9969/statm: 3494671 28938 3163 1 0 3482964 0
[pid=9969/tid=9970] ppid=9967 vsize=13978684 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/9969/task/9970/stat : 9970 (java) R 9967 9967 17292 0 -1 4202560 7839 0 0 0 57 3 0 0 20 0 15 0 20780787 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449518694224 140449141483757 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9971] ppid=9967 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449471425552 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9972] ppid=9967 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449470373008 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9973] ppid=9967 vsize=13978684 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780788 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449469319952 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9974] ppid=9967 vsize=13978684 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9967 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20780788 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449468267408 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9975] ppid=9967 vsize=13978684 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9967 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 20780789 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449060124912 140449514470018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9976] ppid=9967 vsize=13978684 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9967 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20780790 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449059071136 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9977] ppid=9967 vsize=13978684 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9967 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20780790 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449058018032 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9978] ppid=9967 vsize=13978684 memory=8708 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780792 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449056966608 140449514477467 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9979] ppid=9967 vsize=13978684 memory=792 CPUtime=0.29 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) R 9967 9967 17292 0 -1 4202560 1659 0 0 0 29 0 0 0 20 0 15 0 20780792 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140449055907224 140449499348296 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9980] ppid=9967 vsize=13978684 memory=1200 CPUtime=0.29 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) R 9967 9967 17292 0 -1 4202560 1040 0 0 0 29 0 0 0 20 0 15 0 20780792 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140448987335648 140449492316160 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9981] ppid=9967 vsize=13978684 memory=15876 CPUtime=0.26 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9967 17292 0 -1 1077944384 1562 0 0 0 26 0 0 0 20 0 15 0 20780792 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140448986290672 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9982] ppid=9967 vsize=13978684 memory=8880 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780793 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140448985238368 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9983] ppid=9967 vsize=13978684 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9967 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20780796 14314172416 28938 18446744073709551615 4194304 4196468 140727257922688 140448984185392 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 117128 KiB
[startup+1.50082 s]
/proc/loadavg: 1.85 1.67 1.61 8/212 9983
/proc/meminfo: memFree=31196856/32770624 swapFree=67108860/67108860
[pid=9967] ppid=9964 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9967/stat : 9967 (xcsp3-exec) S 9964 9967 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 20780782 9740288 344 18446744073709551615 4194304 5098028 140734287444832 140734287442936 140491530146428 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 20742144 140734287450489 140734287450694 140734287450694 140734287454187 0
/proc/9967/statm: 2378 344 289 221 0 87 0
[pid=9969] ppid=9967 vsize=13980732 memory=242440 CPUtime=4.23 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9967 17292 0 -1 1077944320 16476 0 0 0 412 11 0 0 20 0 15 0 20780787 14316269568 60610 18446744073709551615 4194304 4196468 140727257922688 140727257905232 140449514458871 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
################
# More data... #
################
/proc/9969/task/9977/stat : 9977 (java) S 9967 9967 17292 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 20780790 14316269568 941610 18446744073709551615 4194304 4196468 140727257922688 140449058018048 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9978] ppid=9967 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780792 14316269568 941610 18446744073709551615 4194304 4196468 140727257922688 140449056966608 140449514477467 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9979] ppid=9967 vsize=13980732 memory=4124 CPUtime=8.44 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9967 17292 0 -1 1077944384 70318 0 0 0 838 6 0 0 20 0 15 0 20780792 14316269568 941610 18446744073709551615 4194304 4196468 140727257922688 140449055914736 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9980] ppid=9967 vsize=13980732 memory=14460 CPUtime=7.82 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9967 17292 0 -1 1077944384 64295 0 0 0 775 7 0 0 20 0 15 0 20780792 14316269568 941610 18446744073709551615 4194304 4196468 140727257922688 140448987343728 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9981] ppid=9967 vsize=13980732 memory=1376 CPUtime=1.2 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9967 17292 0 -1 1077944384 18072 0 0 0 117 3 0 0 20 0 15 0 20780792 14316269568 941610 18446744073709551615 4194304 4196468 140727257922688 140448986290672 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9982] ppid=9967 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780793 14316269568 941610 18446744073709551615 4194304 4196468 140727257922688 140448985238368 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9983] ppid=9967 vsize=13980732 memory=1376 CPUtime=1.33 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9967 17292 0 -1 1077944384 3368 0 0 0 68 65 0 0 20 0 15 0 20780796 14316269568 941610 18446744073709551615 4194304 4196468 140727257922688 140448984185392 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
Current children cumulated CPU time: 2402.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3767816 KiB
[startup+2442.3 s]
/proc/loadavg: 1.95 1.91 1.94 3/211 10228
/proc/meminfo: memFree=24507984/32770624 swapFree=67108860/67108860
[pid=9967] ppid=9964 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9967/stat : 9967 (xcsp3-exec) S 9964 9967 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 20780782 9740288 344 18446744073709551615 4194304 5098028 140734287444832 140734287442936 140491530146428 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 20742144 140734287450489 140734287450694 140734287450694 140734287454187 0
/proc/9967/statm: 2378 344 289 221 0 87 0
[pid=9969] ppid=9967 vsize=13980732 memory=3766484 CPUtime=2462.31 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9967 17292 0 -1 1077944320 304490 0 0 0 246045 186 0 0 20 0 15 0 20780787 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140727257905232 140449514458871 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
/proc/9969/statm: 3495183 941621 3249 1 0 3483476 0
[pid=9969/tid=9970] ppid=9967 vsize=13980732 memory=1376 CPUtime=2441.46 cores=0,2,4,6
/proc/9969/task/9970/stat : 9970 (java) R 9967 9967 17292 0 -1 4202560 118238 0 0 0 244080 66 0 0 20 0 15 0 20780787 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449518698496 140449145668943 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9971] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0.45 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) S 9967 9967 17292 0 -1 1077944384 4246 0 0 0 34 11 0 0 20 0 15 0 20780788 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449471425552 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9972] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0.45 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9967 17292 0 -1 1077944384 5650 0 0 0 34 11 0 0 20 0 15 0 20780788 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449470373008 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9973] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0.45 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9967 17292 0 -1 1077944384 6142 0 0 0 34 11 0 0 20 0 15 0 20780788 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449469319952 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9974] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0.47 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9967 17292 0 -1 1077944384 4384 0 0 0 36 11 0 0 20 0 15 0 20780788 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449468267408 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9975] ppid=9967 vsize=13980732 memory=1376 CPUtime=0.12 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9967 17292 0 -1 1077944384 8389 0 0 0 6 6 0 0 20 0 15 0 20780789 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449060124912 140449514470018 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9976] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9967 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 20780790 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449059071200 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9977] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9967 17292 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 20780790 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449058018048 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9978] ppid=9967 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780792 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449056966608 140449514477467 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9979] ppid=9967 vsize=13980732 memory=1376 CPUtime=8.44 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9967 17292 0 -1 1077944384 70322 0 0 0 838 6 0 0 20 0 15 0 20780792 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140449055914736 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9980] ppid=9967 vsize=13980732 memory=3766484 CPUtime=7.82 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9967 17292 0 -1 1077944384 64299 0 0 0 775 7 0 0 20 0 15 0 20780792 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140448987343728 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9981] ppid=9967 vsize=13980732 memory=45 CPUtime=1.2 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9967 17292 0 -1 1077944384 18078 0 0 0 117 3 0 0 20 0 15 0 20780792 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140448986290672 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9982] ppid=9967 vsize=13980732 memory=45 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780793 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140448985238368 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9983] ppid=9967 vsize=13980732 memory=1376 CPUtime=1.36 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9967 17292 0 -1 1077944384 3406 0 0 0 70 66 0 0 20 0 15 0 20780796 14316269568 941621 18446744073709551615 4194304 4196468 140727257922688 140448984185392 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
Current children cumulated CPU time: 2462.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3767860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.9 s]
/proc/loadavg: 1.91 1.91 1.94 3/211 10230
/proc/meminfo: memFree=24524168/32770624 swapFree=67108860/67108860
[pid=9967] ppid=9964 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9967/stat : 9967 (xcsp3-exec) S 9964 9967 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 20780782 9740288 344 18446744073709551615 4194304 5098028 140734287444832 140734287442936 140491530146428 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 20742144 140734287450489 140734287450694 140734287450694 140734287454187 0
/proc/9967/statm: 2378 344 289 221 0 87 0
[pid=9969] ppid=9967 vsize=13980732 memory=3761724 CPUtime=2520.09 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9967 17292 0 -1 1077944320 307903 0 0 0 251820 189 0 0 20 0 15 0 20780787 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140727257905232 140449514458871 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
/proc/9969/statm: 3495183 940431 3249 1 0 3483476 0
[pid=9969/tid=9970] ppid=9967 vsize=13980732 memory=3761724 CPUtime=2499 cores=0,2,4,6
/proc/9969/task/9970/stat : 9970 (java) R 9967 9967 17292 0 -1 4202560 120768 0 0 0 249834 66 0 0 20 0 15 0 20780787 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449518698256 140449146118513 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9971] ppid=9967 vsize=13980732 memory=3761724 CPUtime=0.5 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) S 9967 9967 17292 0 -1 1077944384 4366 0 0 0 39 11 0 0 20 0 15 0 20780788 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449471425552 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9972] ppid=9967 vsize=13980732 memory=1376 CPUtime=0.49 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9967 17292 0 -1 1077944384 5771 0 0 0 38 11 0 0 20 0 15 0 20780788 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449470373008 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9973] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0.5 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9967 17292 0 -1 1077944384 6490 0 0 0 38 12 0 0 20 0 15 0 20780788 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449469319952 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9974] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0.52 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9967 17292 0 -1 1077944384 4445 0 0 0 41 11 0 0 20 0 15 0 20780788 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449468267408 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9975] ppid=9967 vsize=13980732 memory=3761724 CPUtime=0.12 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9967 17292 0 -1 1077944384 8570 0 0 0 6 6 0 0 20 0 15 0 20780789 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449060124912 140449514470018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9976] ppid=9967 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9967 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 20780790 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449059071200 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9977] ppid=9967 vsize=13980732 memory=3761724 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9967 17292 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 20780790 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449058018048 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9978] ppid=9967 vsize=13980732 memory=3761724 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780792 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449056966608 140449514477467 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9979] ppid=9967 vsize=13980732 memory=3761724 CPUtime=8.44 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9967 17292 0 -1 1077944384 70326 0 0 0 838 6 0 0 20 0 15 0 20780792 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449055914736 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9980] ppid=9967 vsize=13980732 memory=3761724 CPUtime=7.82 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9967 17292 0 -1 1077944384 64303 0 0 0 775 7 0 0 20 0 15 0 20780792 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140448987343728 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9981] ppid=9967 vsize=13980732 memory=1376 CPUtime=1.2 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9967 17292 0 -1 1077944384 18084 0 0 0 117 3 0 0 20 0 15 0 20780792 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140448986290672 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9982] ppid=9967 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780793 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140448985238368 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9983] ppid=9967 vsize=13980732 memory=1376 CPUtime=1.4 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9967 17292 0 -1 1077944384 3444 0 0 0 72 68 0 0 20 0 15 0 20780796 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140448984185392 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3763100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.91 s]
# the end of solver process 9967 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000906 s, system=0.001292 s
[startup+2499.92 s]
# the end of solver process 9969 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.21 s, system=1.91656 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.9 s]
/proc/loadavg: 1.91 1.91 1.94 3/211 10230
/proc/meminfo: memFree=24524168/32770624 swapFree=67108860/67108860
[pid=9967] ppid=9964 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9967/stat : 9967 (xcsp3-exec) S 9964 9967 17292 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 20780782 9740288 344 18446744073709551615 4194304 5098028 140734287444832 140734287442936 140491530146428 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 4 0 0 7196144 7232144 20742144 140734287450489 140734287450694 140734287450694 140734287454187 0
/proc/9967/statm: 2378 344 289 221 0 87 0
[pid=9969] ppid=9967 vsize=13980732 memory=3761724 CPUtime=2520.09 cores=0,2,4,6
/proc/9969/stat : 9969 (java) S 9967 9967 17292 0 -1 1077944320 307903 0 0 0 251820 189 0 0 20 0 15 0 20780787 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140727257905232 140449514458871 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
/proc/9969/statm: 3495183 940431 3249 1 0 3483476 0
[pid=9969/tid=9970] ppid=9967 vsize=13980732 memory=3761724 CPUtime=2499 cores=0,2,4,6
/proc/9969/task/9970/stat : 9970 (java) R 9967 9967 17292 0 -1 4202560 120768 0 0 0 249834 66 0 0 20 0 15 0 20780787 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449518698256 140449146118513 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9971] ppid=9967 vsize=13980732 memory=3761724 CPUtime=0.5 cores=0,2,4,6
/proc/9969/task/9971/stat : 9971 (java) S 9967 9967 17292 0 -1 1077944384 4366 0 0 0 39 11 0 0 20 0 15 0 20780788 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449471425552 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9972] ppid=9967 vsize=13980732 memory=1376 CPUtime=0.49 cores=0,2,4,6
/proc/9969/task/9972/stat : 9972 (java) S 9967 9967 17292 0 -1 1077944384 5771 0 0 0 38 11 0 0 20 0 15 0 20780788 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449470373008 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9973] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0.5 cores=0,2,4,6
/proc/9969/task/9973/stat : 9973 (java) S 9967 9967 17292 0 -1 1077944384 6490 0 0 0 38 12 0 0 20 0 15 0 20780788 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449469319952 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9974] ppid=9967 vsize=13980732 memory=3766484 CPUtime=0.52 cores=0,2,4,6
/proc/9969/task/9974/stat : 9974 (java) S 9967 9967 17292 0 -1 1077944384 4445 0 0 0 41 11 0 0 20 0 15 0 20780788 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449468267408 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9975] ppid=9967 vsize=13980732 memory=3761724 CPUtime=0.12 cores=0,2,4,6
/proc/9969/task/9975/stat : 9975 (java) S 9967 9967 17292 0 -1 1077944384 8570 0 0 0 6 6 0 0 20 0 15 0 20780789 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449060124912 140449514470018 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9976] ppid=9967 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9976/stat : 9976 (java) S 9967 9967 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 20780790 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449059071200 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9977] ppid=9967 vsize=13980732 memory=3761724 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9977/stat : 9977 (java) S 9967 9967 17292 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 20780790 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449058018048 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9978] ppid=9967 vsize=13980732 memory=3761724 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9978/stat : 9978 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780792 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449056966608 140449514477467 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9979] ppid=9967 vsize=13980732 memory=3761724 CPUtime=8.44 cores=0,2,4,6
/proc/9969/task/9979/stat : 9979 (java) S 9967 9967 17292 0 -1 1077944384 70326 0 0 0 838 6 0 0 20 0 15 0 20780792 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140449055914736 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9980] ppid=9967 vsize=13980732 memory=3761724 CPUtime=7.82 cores=0,2,4,6
/proc/9969/task/9980/stat : 9980 (java) S 9967 9967 17292 0 -1 1077944384 64303 0 0 0 775 7 0 0 20 0 15 0 20780792 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140448987343728 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9981] ppid=9967 vsize=13980732 memory=1376 CPUtime=1.2 cores=0,2,4,6
/proc/9969/task/9981/stat : 9981 (java) S 9967 9967 17292 0 -1 1077944384 18084 0 0 0 117 3 0 0 20 0 15 0 20780792 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140448986290672 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9982] ppid=9967 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9969/task/9982/stat : 9982 (java) S 9967 9967 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20780793 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140448985238368 140449514469077 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
[pid=9969/tid=9983] ppid=9967 vsize=13980732 memory=1376 CPUtime=1.4 cores=0,2,4,6
/proc/9969/task/9983/stat : 9983 (java) S 9967 9967 17292 0 -1 1077944384 3444 0 0 0 72 68 0 0 20 0 15 0 20780796 14316269568 940431 18446744073709551615 4194304 4196468 140727257922688 140448984185392 140449514470018 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35516416 140727257928114 140727257928290 140727257928290 140727257931727 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3763100 KiB
Child status: 143
Real time (s): 2499.92
CPU time (s): 2520.13
CPU user time (s): 2518.21
CPU system time (s): 1.91656
CPU usage (%): 100.808
Max. virtual memory (cumulated for all children) (KiB): 13992520
Max. memory (cumulated for all children) (KiB): 3894156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.21
system time used= 1.91656
maximum resident set size= 3900624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59138
involuntary context switches= 2310
# summary of solver processes directly reported to runsolver:
# pid: 9967,9969
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.21
# total CPU system time (s): 1.91656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8515 second user time and 24.4783 second system time
The end