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-4254272-1501612053/watcher-4254272-1501612053 -o /tmp/evaluation-result-4254272-1501612053/solver-4254272-1501612053 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 567333871 HOME/instance-4254272-1501612053.xml
pid=5807
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: 1.80 1.74 1.08 2/180 5810
/proc/meminfo: memFree=31885856/32770624 swapFree=0/267096
[pid=5810] ppid=5807 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (runsolver) D 5807 5810 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8711024 24240128 108 18446744073709551615 4194304 4338465 140728905244448 140728905242088 140026243355351 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 16642048 140728905248862 140728905249350 140728905249350 140728905252810 0
/proc/5810/statm: 5918 108 54 36 0 2156 0
[startup+0.100172 s]
/proc/loadavg: 1.80 1.74 1.08 2/180 5810
/proc/meminfo: memFree=31885856/32770624 swapFree=0/267096
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200242 s]
/proc/loadavg: 1.80 1.74 1.08 2/180 5810
/proc/meminfo: memFree=31885856/32770624 swapFree=0/267096
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300272 s]
/proc/loadavg: 1.80 1.74 1.08 2/180 5810
/proc/meminfo: memFree=31885856/32770624 swapFree=0/267096
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703879 s]
/proc/loadavg: 1.80 1.74 1.08 2/180 5810
/proc/meminfo: memFree=31885856/32770624 swapFree=0/267096
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.80 1.74 1.08 6/215 5858
/proc/meminfo: memFree=31734064/32770624 swapFree=0/266920
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
[pid=5812] ppid=5810 vsize=13980732 CPUtime=3.57 cores=0,2,4,6
/proc/5812/stat : 5812 (java) S 5810 5810 5234 0 -1 1077944320 39148 0 0 0 350 7 0 0 20 0 15 0 8711029 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140720768491360 140260154617591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
/proc/5812/statm: 3495183 29330 3179 1 0 3483484 0
[pid=5812/tid=5814] ppid=5810 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/5812/task/5814/stat : 5814 (java) R 5810 5810 5234 0 -1 4202560 9802 0 0 0 131 3 0 0 20 0 15 0 8711030 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140260158853976 140259761416785 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5816] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5816/stat : 5816 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140260089051792 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5817] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5817/stat : 5817 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140260087998992 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5818] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5818/stat : 5818 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140260086946192 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5819] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5819/stat : 5819 (java) S 5810 5810 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140260085893392 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5820] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5820/stat : 5820 (java) S 5810 5810 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140259498765168 140260154628738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5821] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5821/stat : 5821 (java) S 5810 5810 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140259497711136 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5822] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5822/stat : 5822 (java) S 5810 5810 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140259496658288 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5823] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5823/stat : 5823 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140259495606608 140260154636187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5824] ppid=5810 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/5812/task/5824/stat : 5824 (java) R 5810 5810 5234 0 -1 4202560 14896 0 0 0 91 1 0 0 20 0 15 0 8711035 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140259494540192 140260131851191 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5825] ppid=5810 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/5812/task/5825/stat : 5825 (java) R 5810 5810 5234 0 -1 4202560 11118 0 0 0 88 1 0 0 20 0 15 0 8711035 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140259493487184 140260139727157 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5826] ppid=5810 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/5812/task/5826/stat : 5826 (java) S 5810 5810 5234 0 -1 1077944384 2018 0 0 0 38 0 0 0 20 0 15 0 8711035 14316269568 29330 18446744073709551615 4194304 4196468 140720768508816 140259492448368 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5827] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5827/stat : 5827 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 29335 18446744073709551615 4194304 4196468 140720768508816 140259491395808 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5828] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5828/stat : 5828 (java) S 5810 5810 5234 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 8711044 14316269568 29335 18446744073709551615 4194304 4196468 140720768508816 140259490344112 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 2.05 1.80 1.10 8/215 5858
/proc/meminfo: memFree=31657724/32770624 swapFree=0/266920
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
[pid=5812] ppid=5810 vsize=13980732 CPUtime=7.61 cores=0,2,4,6
/proc/5812/stat : 5812 (java) S 5810 5810 5234 0 -1 1077944320 41044 0 0 0 753 8 0 0 20 0 15 0 8711029 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140720768491360 140260154617591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
/proc/5812/statm: 3495183 34006 3186 1 0 3483484 0
[pid=5812/tid=5814] ppid=5810 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/5812/task/5814/stat : 5814 (java) R 5810 5810 5234 0 -1 4202560 9974 0 0 0 290 3 0 0 20 0 15 0 8711030 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140260158853616 140259762887616 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5816] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5816/stat : 5816 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140260089051792 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5817] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5817/stat : 5817 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140260087998992 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5818] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5818/stat : 5818 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140260086946192 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5819] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5819/stat : 5819 (java) S 5810 5810 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140260085893392 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5820] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5820/stat : 5820 (java) S 5810 5810 5234 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259498765168 140260154628738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5821] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5821/stat : 5821 (java) S 5810 5810 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259497711136 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5822] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5822/stat : 5822 (java) S 5810 5810 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259496658288 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5823] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5823/stat : 5823 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259495606608 140260154636187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5824] ppid=5810 vsize=13980732 CPUtime=2.12 cores=0,2,4,6
/proc/5812/task/5824/stat : 5824 (java) S 5810 5810 5234 0 -1 1077944384 15627 0 0 0 211 1 0 0 20 0 15 0 8711035 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259494553968 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5825] ppid=5810 vsize=13980732 CPUtime=2.08 cores=0,2,4,6
/proc/5812/task/5825/stat : 5825 (java) S 5810 5810 5234 0 -1 1077944384 11874 0 0 0 207 1 0 0 20 0 15 0 8711035 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259493501168 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5826] ppid=5810 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/5812/task/5826/stat : 5826 (java) S 5810 5810 5234 0 -1 1077944384 2217 0 0 0 44 0 0 0 20 0 15 0 8711035 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259492448368 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5827] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5827/stat : 5827 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259491395808 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5828] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5828/stat : 5828 (java) S 5810 5810 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 8711044 14316269568 34006 18446744073709551615 4194304 4196468 140720768508816 140259490344112 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.05 1.80 1.10 4/215 5858
/proc/meminfo: memFree=31602456/32770624 swapFree=0/266932
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
[pid=5812] ppid=5810 vsize=13980732 CPUtime=11 cores=0,2,4,6
/proc/5812/stat : 5812 (java) S 5810 5810 5234 0 -1 1077944320 46128 0 0 0 1091 9 0 0 20 0 15 0 8711029 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140720768491360 140260154617591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
/proc/5812/statm: 3495183 41541 3190 1 0 3483484 0
[pid=5812/tid=5814] ppid=5810 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/5812/task/5814/stat : 5814 (java) R 5810 5810 5234 0 -1 4202560 10469 0 0 0 610 4 0 0 20 0 15 0 8711030 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140260158853344 140259762007449 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5816] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5816/stat : 5816 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140260089051792 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5817] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5817/stat : 5817 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140260087998992 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5818] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5818/stat : 5818 (java) S 5810 5810 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140260086946192 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5819] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5819/stat : 5819 (java) S 5810 5810 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140260085893392 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5820] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5820/stat : 5820 (java) S 5810 5810 5234 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259498765168 140260154628738 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5821] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5821/stat : 5821 (java) S 5810 5810 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259497711136 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5822] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5822/stat : 5822 (java) S 5810 5810 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259496658288 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5823] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5823/stat : 5823 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259495606608 140260154636187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5824] ppid=5810 vsize=13980732 CPUtime=2.2 cores=0,2,4,6
/proc/5812/task/5824/stat : 5824 (java) S 5810 5810 5234 0 -1 1077944384 16994 0 0 0 218 2 0 0 20 0 15 0 8711035 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259494553968 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5825] ppid=5810 vsize=13980732 CPUtime=2.17 cores=0,2,4,6
/proc/5812/task/5825/stat : 5825 (java) S 5810 5810 5234 0 -1 1077944384 13558 0 0 0 216 1 0 0 20 0 15 0 8711035 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259493501168 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5826] ppid=5810 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/5812/task/5826/stat : 5826 (java) S 5810 5810 5234 0 -1 1077944384 2621 0 0 0 45 0 0 0 20 0 15 0 8711035 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259492448368 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5827] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5827/stat : 5827 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259491395808 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5828] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5828/stat : 5828 (java) S 5810 5810 5234 0 -1 1077944384 902 0 0 0 0 0 0 0 20 0 15 0 8711044 14316269568 41541 18446744073709551615 4194304 4196468 140720768508816 140259490344112 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
Current children cumulated CPU time (s) 11
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.05 1.80 1.10 3/215 5859
/proc/meminfo: memFree=31549828/32770624 swapFree=0/266940
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
[pid=5812] ppid=5810 vsize=13980732 CPUtime=18.21 cores=0,2,4,6
/proc/5812/stat : 5812 (java) S 5810 5810 5234 0 -1 1077944320 55290 0 0 0 1810 11 0 0 20 0 15 0 8711029 14316269568 55118 18446744073709551615 4194304 4196468 140720768508816 140720768491360 140260154617591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
/proc/5812/statm: 3495183 55118 3215 1 0 3483484 0
[pid=5812/tid=5814] ppid=5810 vsize=13980732 CPUtime=12.53 cores=0,2,4,6
/proc/5812/task/5814/stat : 5814 (java) R 5810 5810 5234 0 -1 4202560 11407 0 0 0 1248 5 0 0 20 0 15 0 8711030 14316269568 55118 18446744073709551615 4194304 4196468 140720768508816 140260158854264 140259764055668 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5816] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5816/stat : 5816 (java) S 5810 5810 5234 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 55118 18446744073709551615 4194304 4196468 140720768508816 140260089051792 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5817] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5817/stat : 5817 (java) S 5810 5810 5234 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 8711030 14316269568 55118 18446744073709551615 4194304 4196468 140720768508816 140260087998992 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
################
# More data... #
################
[pid=5812/tid=5821] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5821/stat : 5821 (java) S 5810 5810 5234 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 56688 18446744073709551615 4194304 4196468 140720768508816 140259497711200 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5822] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5822/stat : 5822 (java) S 5810 5810 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 56688 18446744073709551615 4194304 4196468 140720768508816 140259496658288 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5823] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5823/stat : 5823 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 56688 18446744073709551615 4194304 4196468 140720768508816 140259495606608 140260154636187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5824] ppid=5810 vsize=13980732 CPUtime=3.11 cores=0,2,4,6
/proc/5812/task/5824/stat : 5824 (java) S 5810 5810 5234 0 -1 1077944384 24788 0 0 0 309 2 0 0 20 0 15 0 8711035 14316269568 56688 18446744073709551615 4194304 4196468 140720768508816 140259494553968 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5825] ppid=5810 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/5812/task/5825/stat : 5825 (java) S 5810 5810 5234 0 -1 1077944384 21897 0 0 0 307 1 0 0 20 0 15 0 8711035 14316269568 56688 18446744073709551615 4194304 4196468 140720768508816 140259493501168 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5826] ppid=5810 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/5812/task/5826/stat : 5826 (java) S 5810 5810 5234 0 -1 1077944384 6623 0 0 0 57 1 0 0 20 0 15 0 8711035 14316269568 56688 18446744073709551615 4194304 4196468 140720768508816 140259492448368 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5827] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5827/stat : 5827 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 56688 18446744073709551615 4194304 4196468 140720768508816 140259491395808 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5828] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5828/stat : 5828 (java) S 5810 5810 5234 0 -1 1077944384 1578 0 0 0 1 1 0 0 20 0 15 0 8711044 14316269568 56688 18446744073709551615 4194304 4196468 140720768508816 140259490344112 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
Current children cumulated CPU time (s) 109.05
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.97 1.85 1.22 3/216 5864
/proc/meminfo: memFree=31442480/32770624 swapFree=0/267016
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
[pid=5812] ppid=5810 vsize=13980732 CPUtime=169.1 cores=0,2,4,6
/proc/5812/stat : 5812 (java) S 5810 5810 5234 0 -1 1077944320 76787 0 0 0 16894 16 0 0 20 0 15 0 8711029 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140720768491360 140260154617591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
/proc/5812/statm: 3495183 56684 3230 1 0 3483484 0
[pid=5812/tid=5814] ppid=5810 vsize=13980732 CPUtime=162.09 cores=0,2,4,6
/proc/5812/task/5814/stat : 5814 (java) R 5810 5810 5234 0 -1 4202560 14727 0 0 0 16203 6 0 0 20 0 15 0 8711030 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140260158853936 140259762657708 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5816] ppid=5810 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5812/task/5816/stat : 5816 (java) S 5810 5810 5234 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 8711030 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140260089051792 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5817] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5817/stat : 5817 (java) S 5810 5810 5234 0 -1 1077944384 1342 0 0 0 2 0 0 0 20 0 15 0 8711030 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140260087998992 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5818] ppid=5810 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5812/task/5818/stat : 5818 (java) S 5810 5810 5234 0 -1 1077944384 1135 0 0 0 1 0 0 0 20 0 15 0 8711030 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140260086946192 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5819] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5819/stat : 5819 (java) S 5810 5810 5234 0 -1 1077944384 1133 0 0 0 2 0 0 0 20 0 15 0 8711030 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140260085893392 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5820] ppid=5810 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5812/task/5820/stat : 5820 (java) S 5810 5810 5234 0 -1 1077944384 1312 0 0 0 1 0 0 0 20 0 15 0 8711032 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259498765168 140260154628738 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5821] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5821/stat : 5821 (java) S 5810 5810 5234 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259497711200 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5822] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5822/stat : 5822 (java) S 5810 5810 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259496658288 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5823] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5823/stat : 5823 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259495606608 140260154636187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5824] ppid=5810 vsize=13980732 CPUtime=3.13 cores=0,2,4,6
/proc/5812/task/5824/stat : 5824 (java) S 5810 5810 5234 0 -1 1077944384 25119 0 0 0 311 2 0 0 20 0 15 0 8711035 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259494553968 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5825] ppid=5810 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/5812/task/5825/stat : 5825 (java) S 5810 5810 5234 0 -1 1077944384 21899 0 0 0 307 1 0 0 20 0 15 0 8711035 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259493501168 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5826] ppid=5810 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/5812/task/5826/stat : 5826 (java) S 5810 5810 5234 0 -1 1077944384 6664 0 0 0 57 1 0 0 20 0 15 0 8711035 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259492448368 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5827] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5827/stat : 5827 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259491395808 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5828] ppid=5810 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5812/task/5828/stat : 5828 (java) S 5810 5810 5234 0 -1 1077944384 1600 0 0 0 2 2 0 0 20 0 15 0 8711044 14316269568 56684 18446744073709551615 4194304 4196468 140720768508816 140259490344112 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
Current children cumulated CPU time (s) 169.1
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.03 1.89 1.28 3/215 5866
/proc/meminfo: memFree=31456304/32770624 swapFree=0/267040
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
[pid=5812] ppid=5810 vsize=13980732 CPUtime=229.13 cores=0,2,4,6
/proc/5812/stat : 5812 (java) S 5810 5810 5234 0 -1 1077944320 78064 0 0 0 22896 17 0 0 20 0 15 0 8711029 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140720768491360 140260154617591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
/proc/5812/statm: 3495183 52966 3230 1 0 3483484 0
[pid=5812/tid=5814] ppid=5810 vsize=13980732 CPUtime=222.09 cores=0,2,4,6
/proc/5812/task/5814/stat : 5814 (java) R 5810 5810 5234 0 -1 4202560 15111 0 0 0 22203 6 0 0 20 0 15 0 8711030 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140260158857144 140259762657466 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5816] ppid=5810 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5812/task/5816/stat : 5816 (java) S 5810 5810 5234 0 -1 1077944384 739 0 0 0 1 0 0 0 20 0 15 0 8711030 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140260089051792 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5817] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5817/stat : 5817 (java) S 5810 5810 5234 0 -1 1077944384 1377 0 0 0 2 0 0 0 20 0 15 0 8711030 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140260087998992 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5818] ppid=5810 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5812/task/5818/stat : 5818 (java) S 5810 5810 5234 0 -1 1077944384 1152 0 0 0 1 0 0 0 20 0 15 0 8711030 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140260086946192 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5819] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5819/stat : 5819 (java) S 5810 5810 5234 0 -1 1077944384 1163 0 0 0 2 0 0 0 20 0 15 0 8711030 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140260085893392 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5820] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5820/stat : 5820 (java) S 5810 5810 5234 0 -1 1077944384 1480 0 0 0 2 0 0 0 20 0 15 0 8711032 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259498765168 140260154628738 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5821] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5821/stat : 5821 (java) S 5810 5810 5234 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259497711200 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5822] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5822/stat : 5822 (java) S 5810 5810 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259496658288 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5823] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5823/stat : 5823 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259495606608 140260154636187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5824] ppid=5810 vsize=13980732 CPUtime=3.13 cores=0,2,4,6
/proc/5812/task/5824/stat : 5824 (java) S 5810 5810 5234 0 -1 1077944384 25121 0 0 0 311 2 0 0 20 0 15 0 8711035 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259494553968 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5825] ppid=5810 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/5812/task/5825/stat : 5825 (java) S 5810 5810 5234 0 -1 1077944384 21902 0 0 0 307 1 0 0 20 0 15 0 8711035 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259493501168 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5826] ppid=5810 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/5812/task/5826/stat : 5826 (java) S 5810 5810 5234 0 -1 1077944384 7018 0 0 0 57 1 0 0 20 0 15 0 8711035 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259492448368 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5827] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5827/stat : 5827 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259491395808 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5828] ppid=5810 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5812/task/5828/stat : 5828 (java) S 5810 5810 5234 0 -1 1077944384 1615 0 0 0 3 3 0 0 20 0 15 0 8711044 14316269568 52966 18446744073709551615 4194304 4196468 140720768508816 140259490344112 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
Current children cumulated CPU time (s) 229.13
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 1.89 1.29 3/215 5866
/proc/meminfo: memFree=31460212/32770624 swapFree=0/267044
[pid=5810] ppid=5807 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5810/stat : 5810 (xcsp3-exec) S 5807 5810 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8711024 9740288 345 18446744073709551615 4194304 5098028 140734668142672 140734668140776 139739473687164 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 4 0 0 7196144 7232144 30347264 140734668149148 140734668149351 140734668149351 140734668152811 0
/proc/5810/statm: 2378 345 289 221 0 87 0
[pid=5812] ppid=5810 vsize=13980732 CPUtime=246.83 cores=0,2,4,6
/proc/5812/stat : 5812 (java) S 5810 5810 5234 0 -1 1077944320 78079 0 0 0 24666 17 0 0 20 0 15 0 8711029 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140720768491360 140260154617591 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
/proc/5812/statm: 3495183 51940 3230 1 0 3483484 0
[pid=5812/tid=5814] ppid=5810 vsize=13980732 CPUtime=239.78 cores=0,2,4,6
/proc/5812/task/5814/stat : 5814 (java) R 5810 5810 5234 0 -1 4202560 15122 0 0 0 23972 6 0 0 20 0 15 0 8711030 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140260158856816 140259762658076 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5816] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5816/stat : 5816 (java) S 5810 5810 5234 0 -1 1077944384 742 0 0 0 2 0 0 0 20 0 15 0 8711030 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140260089051792 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5817] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5817/stat : 5817 (java) S 5810 5810 5234 0 -1 1077944384 1377 0 0 0 2 0 0 0 20 0 15 0 8711030 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140260087998992 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5818] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5818/stat : 5818 (java) S 5810 5810 5234 0 -1 1077944384 1152 0 0 0 2 0 0 0 20 0 15 0 8711030 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140260086946192 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5819] ppid=5810 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5812/task/5819/stat : 5819 (java) S 5810 5810 5234 0 -1 1077944384 1163 0 0 0 2 0 0 0 20 0 15 0 8711030 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140260085893392 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5820] ppid=5810 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5812/task/5820/stat : 5820 (java) S 5810 5810 5234 0 -1 1077944384 1480 0 0 0 2 1 0 0 20 0 15 0 8711032 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259498765168 140260154628738 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5821] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5821/stat : 5821 (java) S 5810 5810 5234 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259497711200 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5822] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5822/stat : 5822 (java) S 5810 5810 5234 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 8711032 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259496658288 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5823] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5823/stat : 5823 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259495606608 140260154636187 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5824] ppid=5810 vsize=13980732 CPUtime=3.13 cores=0,2,4,6
/proc/5812/task/5824/stat : 5824 (java) S 5810 5810 5234 0 -1 1077944384 25121 0 0 0 311 2 0 0 20 0 15 0 8711035 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259494553968 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5825] ppid=5810 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/5812/task/5825/stat : 5825 (java) S 5810 5810 5234 0 -1 1077944384 21902 0 0 0 307 1 0 0 20 0 15 0 8711035 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259493501168 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5826] ppid=5810 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/5812/task/5826/stat : 5826 (java) S 5810 5810 5234 0 -1 1077944384 7018 0 0 0 57 1 0 0 20 0 15 0 8711035 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259492448368 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5827] ppid=5810 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5812/task/5827/stat : 5827 (java) S 5810 5810 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8711035 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259491395808 140260154627797 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
[pid=5812/tid=5828] ppid=5810 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5812/task/5828/stat : 5828 (java) S 5810 5810 5234 0 -1 1077944384 1616 0 0 0 3 4 0 0 20 0 15 0 8711044 14316269568 51940 18446744073709551615 4194304 4196468 140720768508816 140259490344112 140260154628738 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34861056 140720768512468 140720768512643 140720768512643 140720768516047 0
Current children cumulated CPU time (s) 246.83
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5812 sig 9
??? kill 5810 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5810 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=973
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=973
# CPU time returned by wait4() is 0.001946
# while last known CPU time is 246.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 246.83
CPU user time (s): 246.66
CPU system time (s): 0.17
CPU usage (%): 102.841
Max. virtual memory (cumulated for all children) (KiB): 13992676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000973
system time used= 0.000973
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24615 second user time and 1.2048 second system time
The end