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-4254254-1501611443/watcher-4254254-1501611443 -o /tmp/evaluation-result-4254254-1501611443/solver-4254254-1501611443 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3274 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 792332508 HOME/instance-4254254-1501611443.xml
pid=3502
running on 4 cores: 1,3,5,7
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.96 1.11 0.48 2/186 3505
/proc/meminfo: memFree=32116848/32770624 swapFree=0/148804
[pid=3505] ppid=3502 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (runsolver) D 3502 3505 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3054947 24240128 108 18446744073709551615 4194304 4338465 140736389934976 140736389932616 140412538553047 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 20099072 140736389939295 140736389939783 140736389939783 140736389943242 0
/proc/3505/statm: 5918 108 54 36 0 2156 0
[startup+0.101374 s]
/proc/loadavg: 1.96 1.11 0.48 2/186 3505
/proc/meminfo: memFree=32116848/32770624 swapFree=0/148804
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200261 s]
/proc/loadavg: 1.96 1.11 0.48 2/186 3505
/proc/meminfo: memFree=32116848/32770624 swapFree=0/148804
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300259 s]
/proc/loadavg: 1.96 1.11 0.48 2/186 3505
/proc/meminfo: memFree=32116848/32770624 swapFree=0/148804
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.710083 s]
/proc/loadavg: 1.96 1.11 0.48 2/186 3505
/proc/meminfo: memFree=32116848/32770624 swapFree=0/148804
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.96 1.11 0.48 7/217 3536
/proc/meminfo: memFree=31946216/32770624 swapFree=0/148788
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
[pid=3508] ppid=3505 vsize=13980732 CPUtime=3.69 cores=1,3,5,7
/proc/3508/stat : 3508 (java) S 3505 3505 3187 0 -1 1077944320 31442 0 0 0 363 6 0 0 20 0 15 0 3054952 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 140736182499968 139912974962423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
/proc/3508/statm: 3495183 25829 3171 1 0 3483484 0
[pid=3508/tid=3509] ppid=3505 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/3508/task/3509/stat : 3509 (java) R 3505 3505 3187 0 -1 4202560 9288 0 0 0 136 4 0 0 20 0 15 0 3054952 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912979199256 139912606603850 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3511] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3511/stat : 3511 (java) S 3505 3505 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912931928720 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3513] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3513/stat : 3513 (java) S 3505 3505 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912930875920 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3515] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3515/stat : 3515 (java) S 3505 3505 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912929823120 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3516] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3516/stat : 3516 (java) S 3505 3505 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912928770320 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3519] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3519/stat : 3519 (java) S 3505 3505 3187 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 3054954 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912520682352 139912974973570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3521] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3521/stat : 3521 (java) S 3505 3505 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912451974688 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3523] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3523/stat : 3523 (java) S 3505 3505 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912450921840 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3525] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3525/stat : 3525 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054957 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912449870160 139912974981019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3526] ppid=3505 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/3508/task/3526/stat : 3526 (java) R 3505 3505 3187 0 -1 4202560 9119 0 0 0 96 1 0 0 20 0 15 0 3054957 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912448803496 139912955711888 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3528] ppid=3505 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/3508/task/3528/stat : 3528 (java) R 3505 3505 3187 0 -1 4202560 9236 0 0 0 96 0 0 0 20 0 15 0 3054957 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912447750600 139912952557201 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3530] ppid=3505 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/3508/task/3530/stat : 3530 (java) S 3505 3505 3187 0 -1 1077944384 2489 0 0 0 35 0 0 0 20 0 15 0 3054957 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912446711920 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3533] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3533/stat : 3533 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054958 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912445659360 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3535] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3535/stat : 3535 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054962 14316269568 25829 18446744073709551615 4194304 4196468 140736182517424 139912444607664 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 13990244
[startup+3.10066 s]
/proc/loadavg: 2.20 1.17 0.51 7/217 3536
/proc/meminfo: memFree=31895252/32770624 swapFree=0/148732
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
[pid=3508] ppid=3505 vsize=13980732 CPUtime=7.74 cores=1,3,5,7
/proc/3508/stat : 3508 (java) S 3505 3505 3187 0 -1 1077944320 39151 0 0 0 766 8 0 0 20 0 15 0 3054952 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 140736182499968 139912974962423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
/proc/3508/statm: 3495183 31218 3189 1 0 3483484 0
[pid=3508/tid=3509] ppid=3505 vsize=13980732 CPUtime=3 cores=1,3,5,7
/proc/3508/task/3509/stat : 3509 (java) R 3505 3505 3187 0 -1 4202560 9599 0 0 0 296 4 0 0 20 0 15 0 3054952 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912979198240 139912606896591 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3511] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3511/stat : 3511 (java) S 3505 3505 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912931928720 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3513] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3513/stat : 3513 (java) S 3505 3505 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912930875920 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3515] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3515/stat : 3515 (java) S 3505 3505 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912929823120 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3516] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3516/stat : 3516 (java) S 3505 3505 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912928770320 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3519] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3519/stat : 3519 (java) S 3505 3505 3187 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 3054954 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912520682352 139912974973570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3521] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3521/stat : 3521 (java) S 3505 3505 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912451974688 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3523] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3523/stat : 3523 (java) S 3505 3505 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912450921840 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3525] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3525/stat : 3525 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054957 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912449870160 139912974981019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3526] ppid=3505 vsize=13980732 CPUtime=2.14 cores=1,3,5,7
/proc/3508/task/3526/stat : 3526 (java) S 3505 3505 3187 0 -1 1077944384 13729 0 0 0 213 1 0 0 20 0 15 0 3054957 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912448817520 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3528] ppid=3505 vsize=13980732 CPUtime=2.2 cores=1,3,5,7
/proc/3508/task/3528/stat : 3528 (java) S 3505 3505 3187 0 -1 1077944384 11916 0 0 0 219 1 0 0 20 0 15 0 3054957 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912447764720 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3530] ppid=3505 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/3508/task/3530/stat : 3530 (java) S 3505 3505 3187 0 -1 1077944384 2558 0 0 0 36 0 0 0 20 0 15 0 3054957 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912446711920 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3533] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3533/stat : 3533 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054958 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912445659360 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3535] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3535/stat : 3535 (java) S 3505 3505 3187 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 3054962 14316269568 31218 18446744073709551615 4194304 4196468 140736182517424 139912444607664 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 13990244
[startup+6.30064 s]
/proc/loadavg: 2.20 1.17 0.51 3/217 3536
/proc/meminfo: memFree=31890648/32770624 swapFree=0/148744
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
[pid=3508] ppid=3505 vsize=13980732 CPUtime=11.46 cores=1,3,5,7
/proc/3508/stat : 3508 (java) S 3505 3505 3187 0 -1 1077944320 46870 0 0 0 1137 9 0 0 20 0 15 0 3054952 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 140736182499968 139912974962423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
/proc/3508/statm: 3495183 31448 3195 1 0 3483484 0
[pid=3508/tid=3509] ppid=3505 vsize=13980732 CPUtime=6.19 cores=1,3,5,7
/proc/3508/task/3509/stat : 3509 (java) R 3505 3505 3187 0 -1 4202560 10845 0 0 0 615 4 0 0 20 0 15 0 3054952 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912979198784 139912608571773 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3511] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3511/stat : 3511 (java) S 3505 3505 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912931928720 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3513] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3513/stat : 3513 (java) S 3505 3505 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912930875920 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3515] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3515/stat : 3515 (java) S 3505 3505 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912929823120 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3516] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3516/stat : 3516 (java) S 3505 3505 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912928770320 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3519] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3519/stat : 3519 (java) S 3505 3505 3187 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 15 0 3054954 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912520682352 139912974973570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3521] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3521/stat : 3521 (java) S 3505 3505 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912451974688 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3523] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3523/stat : 3523 (java) S 3505 3505 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912450921840 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3525] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3525/stat : 3525 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054957 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912449870160 139912974981019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3526] ppid=3505 vsize=13980732 CPUtime=2.35 cores=1,3,5,7
/proc/3508/task/3526/stat : 3526 (java) S 3505 3505 3187 0 -1 1077944384 15853 0 0 0 233 2 0 0 20 0 15 0 3054957 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912448817520 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3528] ppid=3505 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/3508/task/3528/stat : 3528 (java) S 3505 3505 3187 0 -1 1077944384 14149 0 0 0 244 1 0 0 20 0 15 0 3054957 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912447764720 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3530] ppid=3505 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/3508/task/3530/stat : 3530 (java) S 3505 3505 3187 0 -1 1077944384 3485 0 0 0 42 1 0 0 20 0 15 0 3054957 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912446711920 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3533] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3533/stat : 3533 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054958 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912445659360 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3535] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3535/stat : 3535 (java) S 3505 3505 3187 0 -1 1077944384 955 0 0 0 0 0 0 0 20 0 15 0 3054962 14316269568 31448 18446744073709551615 4194304 4196468 140736182517424 139912444607664 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.17 1.20 0.52 3/217 3536
/proc/meminfo: memFree=31863296/32770624 swapFree=0/148752
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
[pid=3508] ppid=3505 vsize=13980732 CPUtime=18.12 cores=1,3,5,7
/proc/3508/stat : 3508 (java) S 3505 3505 3187 0 -1 1077944320 50369 0 0 0 1802 10 0 0 20 0 15 0 3054952 14316269568 37688 18446744073709551615 4194304 4196468 140736182517424 140736182499968 139912974962423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
/proc/3508/statm: 3495183 37688 3198 1 0 3483484 0
[pid=3508/tid=3509] ppid=3505 vsize=13980732 CPUtime=12.59 cores=1,3,5,7
/proc/3508/task/3509/stat : 3509 (java) R 3505 3505 3187 0 -1 4202560 11382 0 0 0 1255 4 0 0 20 0 15 0 3054952 14316269568 37688 18446744073709551615 4194304 4196468 140736182517424 139912979199624 139912607996742 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3511] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3511/stat : 3511 (java) S 3505 3505 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 37688 18446744073709551615 4194304 4196468 140736182517424 139912931928720 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3513] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3513/stat : 3513 (java) S 3505 3505 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 37688 18446744073709551615 4194304 4196468 140736182517424 139912930875920 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
################
# More data... #
################
/proc/3508/stat : 3508 (java) S 3505 3505 3187 0 -1 1077944320 66174 0 0 0 10829 13 0 0 20 0 15 0 3054952 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 140736182499968 139912974962423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
/proc/3508/statm: 3495183 57491 3233 1 0 3483484 0
[pid=3508/tid=3509] ppid=3505 vsize=13980732 CPUtime=102.2 cores=1,3,5,7
/proc/3508/task/3509/stat : 3509 (java) R 3505 3505 3187 0 -1 4202560 13504 0 0 0 10214 6 0 0 20 0 15 0 3054952 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912979201904 139912607996169 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3511] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3511/stat : 3511 (java) S 3505 3505 3187 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912931928720 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3513] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3513/stat : 3513 (java) S 3505 3505 3187 0 -1 1077944384 781 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912930875920 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3515] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3515/stat : 3515 (java) S 3505 3505 3187 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912929823120 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3516] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3516/stat : 3516 (java) S 3505 3505 3187 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912928770320 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3519] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3519/stat : 3519 (java) S 3505 3505 3187 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 15 0 3054954 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912520682352 139912974973570 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3521] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3521/stat : 3521 (java) S 3505 3505 3187 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912451974688 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3523] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3523/stat : 3523 (java) S 3505 3505 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912450921840 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3525] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3525/stat : 3525 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054957 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912449870160 139912974981019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3526] ppid=3505 vsize=13980732 CPUtime=2.92 cores=1,3,5,7
/proc/3508/task/3526/stat : 3526 (java) S 3505 3505 3187 0 -1 1077944384 23484 0 0 0 289 3 0 0 20 0 15 0 3054957 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912448817520 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3528] ppid=3505 vsize=13980732 CPUtime=2.74 cores=1,3,5,7
/proc/3508/task/3528/stat : 3528 (java) S 3505 3505 3187 0 -1 1077944384 18215 0 0 0 273 1 0 0 20 0 15 0 3054957 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912447764720 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3530] ppid=3505 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/3508/task/3530/stat : 3530 (java) S 3505 3505 3187 0 -1 1077944384 5203 0 0 0 46 1 0 0 20 0 15 0 3054957 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912446711920 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3533] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3533/stat : 3533 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054958 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912445659360 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3535] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3535/stat : 3535 (java) S 3505 3505 3187 0 -1 1077944384 1446 0 0 0 0 1 0 0 20 0 15 0 3054962 14316269568 57491 18446744073709551615 4194304 4196468 140736182517424 139912444607664 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
Current children cumulated CPU time (s) 108.42
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 1.51 0.74 3/214 3540
/proc/meminfo: memFree=31662440/32770624 swapFree=0/148840
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
[pid=3508] ppid=3505 vsize=13980732 CPUtime=168.5 cores=1,3,5,7
/proc/3508/stat : 3508 (java) S 3505 3505 3187 0 -1 1077944320 68667 0 0 0 16836 14 0 0 20 0 15 0 3054952 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 140736182499968 139912974962423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
/proc/3508/statm: 3495183 60446 3233 1 0 3483484 0
[pid=3508/tid=3509] ppid=3505 vsize=13980732 CPUtime=162.19 cores=1,3,5,7
/proc/3508/task/3509/stat : 3509 (java) R 3505 3505 3187 0 -1 4202560 14228 0 0 0 16213 6 0 0 20 0 15 0 3054952 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912979199736 139912607556812 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3511] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3511/stat : 3511 (java) S 3505 3505 3187 0 -1 1077944384 576 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912931928720 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3513] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3513/stat : 3513 (java) S 3505 3505 3187 0 -1 1077944384 1045 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912930875920 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3515] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3515/stat : 3515 (java) S 3505 3505 3187 0 -1 1077944384 1147 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912929823120 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3516] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3516/stat : 3516 (java) S 3505 3505 3187 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 15 0 3054953 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912928770320 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3519] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3519/stat : 3519 (java) S 3505 3505 3187 0 -1 1077944384 1044 0 0 0 0 0 0 0 20 0 15 0 3054954 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912520682352 139912974973570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3521] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3521/stat : 3521 (java) S 3505 3505 3187 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912451974688 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3523] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3523/stat : 3523 (java) S 3505 3505 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912450921840 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3525] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3525/stat : 3525 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054957 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912449870160 139912974981019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3526] ppid=3505 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/3508/task/3526/stat : 3526 (java) S 3505 3505 3187 0 -1 1077944384 23641 0 0 0 293 3 0 0 20 0 15 0 3054957 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912448817520 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3528] ppid=3505 vsize=13980732 CPUtime=2.77 cores=1,3,5,7
/proc/3508/task/3528/stat : 3528 (java) S 3505 3505 3187 0 -1 1077944384 18391 0 0 0 276 1 0 0 20 0 15 0 3054957 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912447764720 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3530] ppid=3505 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/3508/task/3530/stat : 3530 (java) S 3505 3505 3187 0 -1 1077944384 5294 0 0 0 47 1 0 0 20 0 15 0 3054957 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912446711920 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3533] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3533/stat : 3533 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054958 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912445659360 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3535] ppid=3505 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/3508/task/3535/stat : 3535 (java) S 3505 3505 3187 0 -1 1077944384 1520 0 0 0 1 2 0 0 20 0 15 0 3054962 14316269568 60446 18446744073709551615 4194304 4196468 140736182517424 139912444607664 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
Current children cumulated CPU time (s) 168.5
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 2.00 1.60 0.82 3/214 3542
/proc/meminfo: memFree=31661976/32770624 swapFree=0/148868
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
[pid=3508] ppid=3505 vsize=13980732 CPUtime=228.55 cores=1,3,5,7
/proc/3508/stat : 3508 (java) S 3505 3505 3187 0 -1 1077944320 69826 0 0 0 22839 16 0 0 20 0 15 0 3054952 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 140736182499968 139912974962423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
/proc/3508/statm: 3495183 60313 3233 1 0 3483484 0
[pid=3508/tid=3509] ppid=3505 vsize=13980732 CPUtime=222.19 cores=1,3,5,7
/proc/3508/task/3509/stat : 3509 (java) R 3505 3505 3187 0 -1 4202560 14729 0 0 0 22213 6 0 0 20 0 15 0 3054952 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912979201616 139912608571988 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3511] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3511/stat : 3511 (java) S 3505 3505 3187 0 -1 1077944384 753 0 0 0 1 0 0 0 20 0 15 0 3054953 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912931928720 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3513] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3513/stat : 3513 (java) S 3505 3505 3187 0 -1 1077944384 1068 0 0 0 1 0 0 0 20 0 15 0 3054953 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912930875920 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3515] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3515/stat : 3515 (java) S 3505 3505 3187 0 -1 1077944384 1209 0 0 0 1 0 0 0 20 0 15 0 3054953 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912929823120 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3516] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3516/stat : 3516 (java) S 3505 3505 3187 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 3054953 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912928770320 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3519] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3519/stat : 3519 (java) S 3505 3505 3187 0 -1 1077944384 1175 0 0 0 1 0 0 0 20 0 15 0 3054954 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912520682352 139912974973570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3521] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3521/stat : 3521 (java) S 3505 3505 3187 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912451974688 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3523] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3523/stat : 3523 (java) S 3505 3505 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912450921840 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3525] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3525/stat : 3525 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054957 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912449870160 139912974981019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3526] ppid=3505 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/3508/task/3526/stat : 3526 (java) S 3505 3505 3187 0 -1 1077944384 23644 0 0 0 293 3 0 0 20 0 15 0 3054957 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912448817520 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3528] ppid=3505 vsize=13980732 CPUtime=2.77 cores=1,3,5,7
/proc/3508/task/3528/stat : 3528 (java) S 3505 3505 3187 0 -1 1077944384 18404 0 0 0 276 1 0 0 20 0 15 0 3054957 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912447764720 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3530] ppid=3505 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/3508/task/3530/stat : 3530 (java) S 3505 3505 3187 0 -1 1077944384 5431 0 0 0 47 1 0 0 20 0 15 0 3054957 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912446711920 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3533] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3533/stat : 3533 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054958 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912445659360 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3535] ppid=3505 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/3508/task/3535/stat : 3535 (java) S 3505 3505 3187 0 -1 1077944384 1539 0 0 0 1 3 0 0 20 0 15 0 3054962 14316269568 60313 18446744073709551615 4194304 4196468 140736182517424 139912444607664 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
Current children cumulated CPU time (s) 228.55
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.00 1.62 0.84 3/215 3544
/proc/meminfo: memFree=31661088/32770624 swapFree=0/148872
[pid=3505] ppid=3502 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/3505/stat : 3505 (xcsp3-exec) S 3502 3505 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3054947 9740288 345 18446744073709551615 4194304 5098028 140732380763968 140732380762072 140410475799164 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 4 0 0 7196144 7232144 15503360 140732380770717 140732380770920 140732380770920 140732380774379 0
/proc/3505/statm: 2378 345 289 221 0 87 0
[pid=3508] ppid=3505 vsize=13980732 CPUtime=246.25 cores=1,3,5,7
/proc/3508/stat : 3508 (java) S 3505 3505 3187 0 -1 1077944320 69920 0 0 0 24609 16 0 0 20 0 15 0 3054952 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 140736182499968 139912974962423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
/proc/3508/statm: 3495183 60568 3233 1 0 3483484 0
[pid=3508/tid=3509] ppid=3505 vsize=13980732 CPUtime=239.88 cores=1,3,5,7
/proc/3508/task/3509/stat : 3509 (java) R 3505 3505 3187 0 -1 4202560 14753 0 0 0 23982 6 0 0 20 0 15 0 3054952 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912979200824 139912608571896 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3511] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3511/stat : 3511 (java) S 3505 3505 3187 0 -1 1077944384 756 0 0 0 1 0 0 0 20 0 15 0 3054953 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912931928720 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3513] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3513/stat : 3513 (java) S 3505 3505 3187 0 -1 1077944384 1072 0 0 0 1 0 0 0 20 0 15 0 3054953 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912930875920 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3515] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3515/stat : 3515 (java) S 3505 3505 3187 0 -1 1077944384 1215 0 0 0 1 0 0 0 20 0 15 0 3054953 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912929823120 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3516] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3516/stat : 3516 (java) S 3505 3505 3187 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 15 0 3054953 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912928770320 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3519] ppid=3505 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/3508/task/3519/stat : 3519 (java) S 3505 3505 3187 0 -1 1077944384 1206 0 0 0 1 0 0 0 20 0 15 0 3054954 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912520682352 139912974973570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3521] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3521/stat : 3521 (java) S 3505 3505 3187 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912451974688 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3523] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3523/stat : 3523 (java) S 3505 3505 3187 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 3054955 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912450921840 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3525] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3525/stat : 3525 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054957 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912449870160 139912974981019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3526] ppid=3505 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/3508/task/3526/stat : 3526 (java) S 3505 3505 3187 0 -1 1077944384 23644 0 0 0 293 3 0 0 20 0 15 0 3054957 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912448817520 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3528] ppid=3505 vsize=13980732 CPUtime=2.77 cores=1,3,5,7
/proc/3508/task/3528/stat : 3528 (java) S 3505 3505 3187 0 -1 1077944384 18404 0 0 0 276 1 0 0 20 0 15 0 3054957 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912447764720 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3530] ppid=3505 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/3508/task/3530/stat : 3530 (java) S 3505 3505 3187 0 -1 1077944384 5455 0 0 0 47 1 0 0 20 0 15 0 3054957 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912446711920 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3533] ppid=3505 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/3508/task/3533/stat : 3533 (java) S 3505 3505 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3054958 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912445659360 139912974972629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
[pid=3508/tid=3535] ppid=3505 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/3508/task/3535/stat : 3535 (java) S 3505 3505 3187 0 -1 1077944384 1539 0 0 0 1 3 0 0 20 0 15 0 3054962 14316269568 60568 18446744073709551615 4194304 4196468 140736182517424 139912444607664 139912974973570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24133632 140736182526421 140736182526596 140736182526596 140736182529999 0
Current children cumulated CPU time (s) 246.25
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 3508 sig 9
??? kill 3505 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): 246.275
CPU user time (s): 246.105
CPU system time (s): 0.170135
CPU usage (%): 102.61
Max. virtual memory (cumulated for all children) (KiB): 13992840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.105
system time used= 0.170135
maximum resident set size= 245348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70623
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= 7911
involuntary context switches= 150
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05695 second user time and 1.28981 second system time
The end