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-4254275-1501611811/watcher-4254275-1501611811 -o /tmp/evaluation-result-4254275-1501611811/solver-4254275-1501611811 -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 1674040056 HOME/instance-4254275-1501611811.xml
pid=5639
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.07 1.63 0.86 2/180 5642
/proc/meminfo: memFree=31894932/32770624 swapFree=0/266724
[pid=5642] ppid=5639 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (runsolver) D 5639 5642 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 8686857 24240128 106 18446744073709551615 4194304 4338465 140725274183984 140725274181624 140270868189911 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 26988544 140725274185821 140725274186310 140725274186310 140725274189770 0
/proc/5642/statm: 5918 106 53 36 0 2156 0
[startup+0.103446 s]
/proc/loadavg: 2.07 1.63 0.86 2/180 5642
/proc/meminfo: memFree=31894932/32770624 swapFree=0/266724
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200306 s]
/proc/loadavg: 2.07 1.63 0.86 2/180 5642
/proc/meminfo: memFree=31894932/32770624 swapFree=0/266724
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300352 s]
/proc/loadavg: 2.07 1.63 0.86 2/180 5642
/proc/meminfo: memFree=31894932/32770624 swapFree=0/266724
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701072 s]
/proc/loadavg: 2.07 1.63 0.86 2/180 5642
/proc/meminfo: memFree=31894932/32770624 swapFree=0/266724
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50149 s]
/proc/loadavg: 2.07 1.63 0.86 7/216 5687
/proc/meminfo: memFree=31717648/32770624 swapFree=0/266732
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
[pid=5646] ppid=5642 vsize=13980732 CPUtime=3.52 cores=0,2,4,6
/proc/5646/stat : 5646 (java) S 5642 5642 5234 0 -1 1077944320 32038 0 0 0 345 7 0 0 20 0 15 0 8686865 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140731738098336 140469455204087 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
/proc/5646/statm: 3495183 27805 3174 1 0 3483484 0
[pid=5646/tid=5648] ppid=5642 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/5646/task/5648/stat : 5648 (java) R 5642 5642 5234 0 -1 4202560 9373 0 0 0 129 4 0 0 20 0 15 0 8686866 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140469459440992 140469069708617 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5649] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5649/stat : 5649 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140469389638032 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5650] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5650/stat : 5650 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140469054650640 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5651] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5651/stat : 5651 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140469053598352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5652] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5652/stat : 5652 (java) S 5642 5642 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140469052545552 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5653] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5653/stat : 5653 (java) S 5642 5642 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140469000964720 140469455215234 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5654] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5654/stat : 5654 (java) S 5642 5642 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140468999910688 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5655] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5655/stat : 5655 (java) S 5642 5642 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140468998858352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5657] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5657/stat : 5657 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140468997806672 140469455222683 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5658] ppid=5642 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/5646/task/5658/stat : 5658 (java) R 5642 5642 5234 0 -1 4202560 11797 0 0 0 89 1 0 0 20 0 15 0 8686871 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140468996743440 140469440311816 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5659] ppid=5642 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/5646/task/5659/stat : 5659 (java) R 5642 5642 5234 0 -1 4202560 7666 0 0 0 86 0 0 0 20 0 15 0 8686871 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140468995686744 140469434449935 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5660] ppid=5642 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/5646/task/5660/stat : 5660 (java) S 5642 5642 5234 0 -1 1077944384 1894 0 0 0 39 0 0 0 20 0 15 0 8686871 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140468994648432 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5661] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5661/stat : 5661 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140468993595872 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5672] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5672/stat : 5672 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686879 14316269568 27805 18446744073709551615 4194304 4196468 140731738115792 140468992543664 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 2.07 1.63 0.86 7/216 5687
/proc/meminfo: memFree=31654768/32770624 swapFree=0/266732
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
[pid=5646] ppid=5642 vsize=13980732 CPUtime=7.52 cores=0,2,4,6
/proc/5646/stat : 5646 (java) S 5642 5642 5234 0 -1 1077944320 37477 0 0 0 744 8 0 0 20 0 15 0 8686865 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140731738098336 140469455204087 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
/proc/5646/statm: 3495183 32802 3188 1 0 3483484 0
[pid=5646/tid=5648] ppid=5642 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/5646/task/5648/stat : 5648 (java) R 5642 5642 5234 0 -1 4202560 9683 0 0 0 288 4 0 0 20 0 15 0 8686866 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140469459441856 140469075720995 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5649] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5649/stat : 5649 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140469389638032 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5650] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5650/stat : 5650 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140469054650640 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5651] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5651/stat : 5651 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140469053598352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5652] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5652/stat : 5652 (java) S 5642 5642 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140469052545552 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5653] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5653/stat : 5653 (java) S 5642 5642 5234 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140469000964720 140469455215234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5654] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5654/stat : 5654 (java) S 5642 5642 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140468999910688 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5655] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5655/stat : 5655 (java) S 5642 5642 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140468998858352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5657] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5657/stat : 5657 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140468997806672 140469455222683 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5658] ppid=5642 vsize=13980732 CPUtime=2.1 cores=0,2,4,6
/proc/5646/task/5658/stat : 5658 (java) R 5642 5642 5234 0 -1 4202560 14494 0 0 0 209 1 0 0 20 0 15 0 8686871 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140468996753520 140469434624278 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5659] ppid=5642 vsize=13980732 CPUtime=2.01 cores=0,2,4,6
/proc/5646/task/5659/stat : 5659 (java) R 5642 5642 5234 0 -1 4202560 9827 0 0 0 201 0 0 0 20 0 15 0 8686871 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140468995700720 140469433065664 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5660] ppid=5642 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/5646/task/5660/stat : 5660 (java) S 5642 5642 5234 0 -1 1077944384 2116 0 0 0 44 0 0 0 20 0 15 0 8686871 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140468994648432 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5661] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5661/stat : 5661 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140468993595872 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5672] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5672/stat : 5672 (java) S 5642 5642 5234 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 8686879 14316269568 32802 18446744073709551615 4194304 4196468 140731738115792 140468992543664 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 13990244
[startup+6.30069 s]
/proc/loadavg: 1.99 1.62 0.86 3/216 5687
/proc/meminfo: memFree=31589492/32770624 swapFree=0/266740
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
[pid=5646] ppid=5642 vsize=13980732 CPUtime=11.03 cores=0,2,4,6
/proc/5646/stat : 5646 (java) S 5642 5642 5234 0 -1 1077944320 41276 0 0 0 1094 9 0 0 20 0 15 0 8686865 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140731738098336 140469455204087 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
/proc/5646/statm: 3495183 39286 3193 1 0 3483484 0
[pid=5646/tid=5648] ppid=5642 vsize=13980732 CPUtime=6.13 cores=0,2,4,6
/proc/5646/task/5648/stat : 5648 (java) R 5642 5642 5234 0 -1 4202560 10172 0 0 0 608 5 0 0 20 0 15 0 8686866 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140469459439776 140469074275397 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5649] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5649/stat : 5649 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140469389638032 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5650] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5650/stat : 5650 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140469054650640 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5651] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5651/stat : 5651 (java) S 5642 5642 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140469053598352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5652] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5652/stat : 5652 (java) S 5642 5642 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140469052545552 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5653] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5653/stat : 5653 (java) S 5642 5642 5234 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140469000964720 140469455215234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5654] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5654/stat : 5654 (java) S 5642 5642 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140468999910688 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5655] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5655/stat : 5655 (java) S 5642 5642 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140468998858352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5657] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5657/stat : 5657 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140468997806672 140469455222683 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5658] ppid=5642 vsize=13980732 CPUtime=2.22 cores=0,2,4,6
/proc/5646/task/5658/stat : 5658 (java) S 5642 5642 5234 0 -1 1077944384 15160 0 0 0 221 1 0 0 20 0 15 0 8686871 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140468996753520 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5659] ppid=5642 vsize=13980732 CPUtime=2.18 cores=0,2,4,6
/proc/5646/task/5659/stat : 5659 (java) S 5642 5642 5234 0 -1 1077944384 10850 0 0 0 217 1 0 0 20 0 15 0 8686871 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140468995700720 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5660] ppid=5642 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/5646/task/5660/stat : 5660 (java) S 5642 5642 5234 0 -1 1077944384 2361 0 0 0 46 0 0 0 20 0 15 0 8686871 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140468994648432 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5661] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5661/stat : 5661 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140468993595872 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5672] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5672/stat : 5672 (java) S 5642 5642 5234 0 -1 1077944384 1121 0 0 0 0 0 0 0 20 0 15 0 8686879 14316269568 39286 18446744073709551615 4194304 4196468 140731738115792 140468992543664 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
Current children cumulated CPU time (s) 11.03
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.99 1.63 0.86 3/216 5688
/proc/meminfo: memFree=31464312/32770624 swapFree=0/266752
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
[pid=5646] ppid=5642 vsize=13980732 CPUtime=17.71 cores=0,2,4,6
/proc/5646/stat : 5646 (java) S 5642 5642 5234 0 -1 1077944320 47755 0 0 0 1760 11 0 0 20 0 15 0 8686865 14316269568 57334 18446744073709551615 4194304 4196468 140731738115792 140731738098336 140469455204087 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
/proc/5646/statm: 3495183 57334 3216 1 0 3483484 0
[pid=5646/tid=5648] ppid=5642 vsize=13980732 CPUtime=12.51 cores=0,2,4,6
/proc/5646/task/5648/stat : 5648 (java) R 5642 5642 5234 0 -1 4202560 10832 0 0 0 1246 5 0 0 20 0 15 0 8686866 14316269568 57334 18446744073709551615 4194304 4196468 140731738115792 140469459442880 140469075884657 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5649] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5649/stat : 5649 (java) S 5642 5642 5234 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 57334 18446744073709551615 4194304 4196468 140731738115792 140469389638032 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5650] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5650/stat : 5650 (java) S 5642 5642 5234 0 -1 1077944384 633 0 0 0 0 0 0 0 20 0 15 0 8686866 14316269568 57334 18446744073709551615 4194304 4196468 140731738115792 140469054650640 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
################
# More data... #
################
/proc/5646/stat : 5646 (java) S 5642 5642 5234 0 -1 1077944320 73005 0 0 0 10919 16 0 0 20 0 15 0 8686865 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140731738098336 140469455204087 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
/proc/5646/statm: 3495183 59175 3233 1 0 3483484 0
[pid=5646/tid=5648] ppid=5642 vsize=13980732 CPUtime=102.1 cores=0,2,4,6
/proc/5646/task/5648/stat : 5648 (java) R 5642 5642 5234 0 -1 4202560 13640 0 0 0 10204 6 0 0 20 0 15 0 8686866 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140469459441560 140469074374416 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5649] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5649/stat : 5649 (java) S 5642 5642 5234 0 -1 1077944384 683 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140469389638032 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5650] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5650/stat : 5650 (java) S 5642 5642 5234 0 -1 1077944384 2074 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140469054650640 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5651] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5651/stat : 5651 (java) S 5642 5642 5234 0 -1 1077944384 953 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140469053598352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5652] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5652/stat : 5652 (java) S 5642 5642 5234 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140469052545552 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5653] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5653/stat : 5653 (java) S 5642 5642 5234 0 -1 1077944384 1121 0 0 0 1 0 0 0 20 0 15 0 8686868 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140469000964720 140469455215234 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5654] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5654/stat : 5654 (java) S 5642 5642 5234 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140468999910752 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5655] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5655/stat : 5655 (java) S 5642 5642 5234 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140468998858368 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5657] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5657/stat : 5657 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140468997806672 140469455222683 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5658] ppid=5642 vsize=13980732 CPUtime=3.15 cores=0,2,4,6
/proc/5646/task/5658/stat : 5658 (java) S 5642 5642 5234 0 -1 1077944384 25907 0 0 0 314 1 0 0 20 0 15 0 8686871 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140468996753520 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5659] ppid=5642 vsize=13980732 CPUtime=3.35 cores=0,2,4,6
/proc/5646/task/5659/stat : 5659 (java) S 5642 5642 5234 0 -1 1077944384 19325 0 0 0 333 2 0 0 20 0 15 0 8686871 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140468995700720 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5660] ppid=5642 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/5646/task/5660/stat : 5660 (java) S 5642 5642 5234 0 -1 1077944384 6099 0 0 0 57 1 0 0 20 0 15 0 8686871 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140468994648432 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5661] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5661/stat : 5661 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140468993595872 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5672] ppid=5642 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5646/task/5672/stat : 5672 (java) S 5642 5642 5234 0 -1 1077944384 1238 0 0 0 0 2 0 0 20 0 15 0 8686879 14316269568 59175 18446744073709551615 4194304 4196468 140731738115792 140468992543664 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
Current children cumulated CPU time (s) 109.35
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.89 1.72 1.01 3/216 5699
/proc/meminfo: memFree=31447908/32770624 swapFree=0/266828
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
[pid=5646] ppid=5642 vsize=13980732 CPUtime=169.43 cores=0,2,4,6
/proc/5646/stat : 5646 (java) S 5642 5642 5234 0 -1 1077944320 73820 0 0 0 16926 17 0 0 20 0 15 0 8686865 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140731738098336 140469455204087 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
/proc/5646/statm: 3495183 62412 3233 1 0 3483484 0
[pid=5646/tid=5648] ppid=5642 vsize=13980732 CPUtime=162.09 cores=0,2,4,6
/proc/5646/task/5648/stat : 5648 (java) R 5642 5642 5234 0 -1 4202560 13933 0 0 0 16203 6 0 0 20 0 15 0 8686866 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140469459443568 140469075565260 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5649] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5649/stat : 5649 (java) S 5642 5642 5234 0 -1 1077944384 703 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140469389638032 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5650] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5650/stat : 5650 (java) S 5642 5642 5234 0 -1 1077944384 2081 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140469054650640 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5651] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5651/stat : 5651 (java) S 5642 5642 5234 0 -1 1077944384 1001 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140469053598352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5652] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5652/stat : 5652 (java) S 5642 5642 5234 0 -1 1077944384 816 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140469052545552 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5653] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5653/stat : 5653 (java) S 5642 5642 5234 0 -1 1077944384 1258 0 0 0 1 0 0 0 20 0 15 0 8686868 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140469000964720 140469455215234 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5654] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5654/stat : 5654 (java) S 5642 5642 5234 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140468999910752 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5655] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5655/stat : 5655 (java) S 5642 5642 5234 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140468998858368 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5657] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5657/stat : 5657 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140468997806672 140469455222683 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5658] ppid=5642 vsize=13980732 CPUtime=3.15 cores=0,2,4,6
/proc/5646/task/5658/stat : 5658 (java) S 5642 5642 5234 0 -1 1077944384 25915 0 0 0 314 1 0 0 20 0 15 0 8686871 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140468996753520 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5659] ppid=5642 vsize=13980732 CPUtime=3.4 cores=0,2,4,6
/proc/5646/task/5659/stat : 5659 (java) S 5642 5642 5234 0 -1 1077944384 19362 0 0 0 338 2 0 0 20 0 15 0 8686871 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140468995700720 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5660] ppid=5642 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/5646/task/5660/stat : 5660 (java) S 5642 5642 5234 0 -1 1077944384 6102 0 0 0 57 1 0 0 20 0 15 0 8686871 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140468994648432 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5661] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5661/stat : 5661 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140468993595872 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5672] ppid=5642 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5646/task/5672/stat : 5672 (java) S 5642 5642 5234 0 -1 1077944384 1240 0 0 0 1 3 0 0 20 0 15 0 8686879 14316269568 62412 18446744073709551615 4194304 4196468 140731738115792 140468992543664 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
Current children cumulated CPU time (s) 169.43
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.90 1.76 1.07 3/215 5701
/proc/meminfo: memFree=31478700/32770624 swapFree=0/266848
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
[pid=5646] ppid=5642 vsize=13980732 CPUtime=229.49 cores=0,2,4,6
/proc/5646/stat : 5646 (java) S 5642 5642 5234 0 -1 1077944320 74687 0 0 0 22931 18 0 0 20 0 15 0 8686865 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140731738098336 140469455204087 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
/proc/5646/statm: 3495183 58190 3233 1 0 3483484 0
[pid=5646/tid=5648] ppid=5642 vsize=13980732 CPUtime=222.08 cores=0,2,4,6
/proc/5646/task/5648/stat : 5648 (java) R 5642 5642 5234 0 -1 4202560 14264 0 0 0 22202 6 0 0 20 0 15 0 8686866 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140469459443360 140469074896117 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5649] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5649/stat : 5649 (java) S 5642 5642 5234 0 -1 1077944384 709 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140469389638032 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5650] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5650/stat : 5650 (java) S 5642 5642 5234 0 -1 1077944384 2082 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140469054650640 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5651] ppid=5642 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5646/task/5651/stat : 5651 (java) S 5642 5642 5234 0 -1 1077944384 1008 0 0 0 2 0 0 0 20 0 15 0 8686866 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140469053598352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5652] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5652/stat : 5652 (java) S 5642 5642 5234 0 -1 1077944384 820 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140469052545552 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5653] ppid=5642 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5646/task/5653/stat : 5653 (java) S 5642 5642 5234 0 -1 1077944384 1294 0 0 0 2 0 0 0 20 0 15 0 8686868 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140469000964720 140469455215234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5654] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5654/stat : 5654 (java) S 5642 5642 5234 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140468999910752 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5655] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5655/stat : 5655 (java) S 5642 5642 5234 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140468998858368 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5657] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5657/stat : 5657 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140468997806672 140469455222683 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5658] ppid=5642 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/5646/task/5658/stat : 5658 (java) S 5642 5642 5234 0 -1 1077944384 26033 0 0 0 316 2 0 0 20 0 15 0 8686871 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140468996753520 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5659] ppid=5642 vsize=13980732 CPUtime=3.41 cores=0,2,4,6
/proc/5646/task/5659/stat : 5659 (java) S 5642 5642 5234 0 -1 1077944384 19372 0 0 0 339 2 0 0 20 0 15 0 8686871 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140468995700720 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5660] ppid=5642 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/5646/task/5660/stat : 5660 (java) S 5642 5642 5234 0 -1 1077944384 6442 0 0 0 57 1 0 0 20 0 15 0 8686871 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140468994648432 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5661] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5661/stat : 5661 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140468993595872 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5672] ppid=5642 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5646/task/5672/stat : 5672 (java) S 5642 5642 5234 0 -1 1077944384 1254 0 0 0 2 4 0 0 20 0 15 0 8686879 14316269568 58190 18446744073709551615 4194304 4196468 140731738115792 140468992543664 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
Current children cumulated CPU time (s) 229.49
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.80 1.74 1.08 3/215 5701
/proc/meminfo: memFree=31486784/32770624 swapFree=0/266852
[pid=5642] ppid=5639 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5642/stat : 5642 (xcsp3-exec) S 5639 5642 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 8686857 9740288 345 18446744073709551615 4194304 5098028 140730970185696 140730970183800 140645849752188 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 30453760 140730970190235 140730970190439 140730970190439 140730970193899 0
/proc/5642/statm: 2378 345 289 221 0 87 0
[pid=5646] ppid=5642 vsize=13980732 CPUtime=247.19 cores=0,2,4,6
/proc/5646/stat : 5646 (java) S 5642 5642 5234 0 -1 1077944320 74690 0 0 0 24701 18 0 0 20 0 15 0 8686865 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140731738098336 140469455204087 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
/proc/5646/statm: 3495183 56779 3233 1 0 3483484 0
[pid=5646/tid=5648] ppid=5642 vsize=13980732 CPUtime=239.78 cores=0,2,4,6
/proc/5646/task/5648/stat : 5648 (java) R 5642 5642 5234 0 -1 4202560 14266 0 0 0 23972 6 0 0 20 0 15 0 8686866 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140469459443360 140469075720267 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5649] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5649/stat : 5649 (java) S 5642 5642 5234 0 -1 1077944384 709 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140469389638032 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5650] ppid=5642 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5646/task/5650/stat : 5650 (java) S 5642 5642 5234 0 -1 1077944384 2082 0 0 0 2 0 0 0 20 0 15 0 8686866 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140469054650640 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5651] ppid=5642 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5646/task/5651/stat : 5651 (java) S 5642 5642 5234 0 -1 1077944384 1009 0 0 0 2 0 0 0 20 0 15 0 8686866 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140469053598352 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5652] ppid=5642 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5646/task/5652/stat : 5652 (java) S 5642 5642 5234 0 -1 1077944384 820 0 0 0 1 0 0 0 20 0 15 0 8686866 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140469052545552 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5653] ppid=5642 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5646/task/5653/stat : 5653 (java) S 5642 5642 5234 0 -1 1077944384 1294 0 0 0 2 0 0 0 20 0 15 0 8686868 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140469000964720 140469455215234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5654] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5654/stat : 5654 (java) S 5642 5642 5234 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140468999910752 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5655] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5655/stat : 5655 (java) S 5642 5642 5234 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 8686868 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140468998858368 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5657] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5657/stat : 5657 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140468997806672 140469455222683 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5658] ppid=5642 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/5646/task/5658/stat : 5658 (java) S 5642 5642 5234 0 -1 1077944384 26033 0 0 0 316 2 0 0 20 0 15 0 8686871 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140468996753520 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5659] ppid=5642 vsize=13980732 CPUtime=3.41 cores=0,2,4,6
/proc/5646/task/5659/stat : 5659 (java) S 5642 5642 5234 0 -1 1077944384 19372 0 0 0 339 2 0 0 20 0 15 0 8686871 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140468995700720 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5660] ppid=5642 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/5646/task/5660/stat : 5660 (java) S 5642 5642 5234 0 -1 1077944384 6442 0 0 0 58 1 0 0 20 0 15 0 8686871 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140468994648432 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5661] ppid=5642 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5646/task/5661/stat : 5661 (java) S 5642 5642 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8686871 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140468993595872 140469455214293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
[pid=5646/tid=5672] ppid=5642 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5646/task/5672/stat : 5672 (java) S 5642 5642 5234 0 -1 1077944384 1254 0 0 0 2 4 0 0 20 0 15 0 8686879 14316269568 56779 18446744073709551615 4194304 4196468 140731738115792 140468992543664 140469455215234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20185088 140731738120660 140731738120835 140731738120835 140731738124239 0
Current children cumulated CPU time (s) 247.19
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Solver just ended.
Sleeping 2 seconds
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5646 sig 9
??? kill 5642 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.01
CPU time (s): 247.212
CPU user time (s): 247.021
CPU system time (s): 0.191257
CPU usage (%): 103.001
Max. virtual memory (cumulated for all children) (KiB): 13992936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.021
system time used= 0.191257
maximum resident set size= 253716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8345
involuntary context switches= 122
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04938 second user time and 1.39108 second system time
The end